_EN
Constraint-based Invariant Inference over Predicate Abstraction Sumit Gulwani Ramarathnam Venkatesan Microsoft Research, Redmond Saurabh Srivastava University.
Ergonomic Chair Product Design
Program Analysis as Constraint Solving Sumit Gulwani (MSR Redmond) Ramarathnam Venkatesan (MSR Redmond) Saurabh Srivastava (Univ. of Maryland) TexPoint.
F1 2014 Grid Guide
Program Analysis as Constraint Solving
Constraint-based Invariant Inference over Predicate Abstraction
Stanford School of Engineering Annual Report