The following pages link to Sumit Gulwani (Q859959):
Displaying 33 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)
- Continuity analysis of programs (Q5255062) (← links)
- From program verification to program synthesis (Q5255085) (← links)
- SPEED (Q5261512) (← links)
- A combination framework for tracking partition sizes (Q5261520) (← links)
- Precise interprocedural analysis using random interpretation (Q5276156) (← links)
- Automating string processing in spreadsheets using input-output examples (Q5408553) (← links)
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software (Q5429331) (← links)
- Assertion Checking Unified (Q5452620) (← links)
- Ranking Abstractions (Q5458393) (← links)
- Cover Algorithms and Their Combination (Q5458397) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465863) (← links)
- Static Analysis (Q5466562) (← links)
- Static Analysis (Q5466570) (← links)
- Computer Aided Verification (Q5716539) (← links)
- Computing Procedure Summaries for Interprocedural Analysis (Q5756498) (← links)
- Programming Languages and Systems (Q5899021) (← links)
- Automated Deduction – CADE-19 (Q5900717) (← links)