Skip to content
@nyu-acsys

NYU ACSys

NYU Analysis of Computer Systems (Formal Methods) group

Popular repositories Loading

  1. drift drift Public

    An abstract-interpretation-based static analysis for inferring refinement types

    HTML 16 3

  2. template-proofs template-proofs Public

    Template-based proofs of concurrent search structures.

    Coq 9 2

  3. notes notes Public

    TeX

  4. flows-iris flows-iris Public

    Formalization of the flow framework in Iris

    Makefile

  5. dsolve dsolve Public

    Patched version of dsolve (liquid types)

    HTML

  6. fm-seminar-fa22 fm-seminar-fa22 Public

    Formal Methods Seminar - Fall 2022

Repositories

Showing 7 of 7 repositories
  • drift Public

    An abstract-interpretation-based static analysis for inferring refinement types

    nyu-acsys/drift’s past year of commit activity
    HTML 16 3 0 0 Updated Sep 17, 2024
  • template-proofs Public

    Template-based proofs of concurrent search structures.

    nyu-acsys/template-proofs’s past year of commit activity
    Coq 9 2 0 0 Updated Apr 23, 2024
  • fm-seminar-fa22 Public

    Formal Methods Seminar - Fall 2022

    nyu-acsys/fm-seminar-fa22’s past year of commit activity
    0 0 0 0 Updated Nov 30, 2022
  • krill Public Forked from Wolff09/plankton

    Experimental tool for computing flow footprints for the flow graph updates

    nyu-acsys/krill’s past year of commit activity
    C++ 0 MIT 1 0 0 Updated Oct 25, 2022
  • dsolve Public

    Patched version of dsolve (liquid types)

    nyu-acsys/dsolve’s past year of commit activity
    HTML 0 0 0 0 Updated Apr 9, 2020
  • flows-iris Public

    Formalization of the flow framework in Iris

    nyu-acsys/flows-iris’s past year of commit activity
    Makefile 0 0 0 0 Updated Aug 30, 2019
  • notes Public
    nyu-acsys/notes’s past year of commit activity
    TeX 0 0 0 0 Updated Feb 27, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…