The following pages link to Sumit Gulwani (Q859959):
Displaying 16 items.
- A polynomial-time algorithm for global value numbering (Q859961) (← links)
- A randomized satisfiability procedure for arithmetic and uninterpreted function symbols (Q2486581) (← links)
- Transforming spreadsheet data types using examples (Q2828277) (← links)
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning (Q2870147) (← links)
- Discovering affine equalities using random interpretation (Q2942914) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Program verification as probabilistic inference (Q3189808) (← links)
- Lifting abstract interpreters to quantified logical domains (Q3189843) (← links)
- Global value numbering using random interpretation (Q3452272) (← links)
- Constraint-Based Approach for Analysis of Hybrid Systems (Q3512493) (← links)
- Proving Conditional Termination (Q3512502) (← links)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (Q3512505) (← links)
- Constraint-Based Invariant Inference over Predicate Abstraction (Q3600470) (← links)
- Synthesizing Switching Logic Using Constraint Solving (Q3600482) (← links)
- Logical Interpretation: Static Program Analysis Using Theorem Proving (Q3608771) (← links)
- SPEED: Symbolic Complexity Bound Analysis (Q3636853) (← links)
