NYU ACSys

NYU Analysis of Computer Systems (Formal Methods) group

New York City, NY

Pinned Repositories

drift
An abstract-interpretation-based static analysis for inferring refinement types
Language:OCaml153
dsolve
Patched version of dsolve (liquid types)
Language:HTML00
flows-iris
Formalization of the flow framework in Iris
Language:Makefile00
fm-seminar-fa22
Formal Methods Seminar - Fall 2022
00
krill
Experimental tool for computing flow footprints for the flow graph updates
Language:C++00
notes
Language:TeX00
template-proofs
Template-based proofs of concurrent search structures.
Language:Coq8 2 02

NYU ACSys's Repositories

nyu-acsys/drift
An abstract-interpretation-based static analysis for inferring refinement types
Language:OCaml153
nyu-acsys/template-proofs
Template-based proofs of concurrent search structures.
Language:Coq8 2 02
nyu-acsys/dsolve
Patched version of dsolve (liquid types)
Language:HTML00
nyu-acsys/flows-iris
Formalization of the flow framework in Iris
Language:Makefile00
nyu-acsys/fm-seminar-fa22
Formal Methods Seminar - Fall 2022
00
nyu-acsys/krill
Experimental tool for computing flow footprints for the flow graph updates
Language:C++00
nyu-acsys/notes
Language:TeX00