Email:
Office: 4132 A.V.Williams, UM at College Park
Phone: 301-405-2722 (O),
202-355-8862 (M)
[ projects ]
New Techniques
in
Constraint-based
Invariant
Generation CMod - Module system for legacy C programs.
Cactus - Consistency under All Configurations Using SAT.