David Van Horn

icon indicating a website link ter.ps/dvanhorn

icon company @plum-umd icon location Washington, DC

Results 49 issues of David Van Horn

Characterize code corpus as safe / unsafe

Update ICFP benchmarks to Racket syntax

Verify all OAAM benchmarks

enhancement

Verify all soft type benchmarks

enhancement

Verify minimart core

enhancement

Generate random programs

Generate random programs, use to test verifier.

enhancement

Handle multiple return values

Handle control effects (raise, with-handlers, call/cc)

Inject fake contracts into code

Fix provide contract-out to delay evaluation