Searching for authors named "Sumit Gulwani" – sorted by Relevance.
37 documents found, showing 1 through 10.
Next 10 →
-
Program verification as probabilistic inference
- …Program Verification as Probabilistic Inference Sumit Gulwani Microsoft Research, Redmond sumitg…
- Cited by 1 (1 self) – Add To MetaCart
-
Lifting abstract interpreters to quantified logical domains
- …Lifting Abstract Interpreters to Quantified Logical Domains Abstract Sumit Gulwani Microsoft…
- Cited by 4 (0 self) – Add To MetaCart
-
SPEED: Symbolic Complexity Bound Analysis Invited Talk
- …SPEED: Symbolic Complexity Bound Analysis Invited Talk Sumit Gulwani Microsoft Research, Redmond…
- Add To MetaCart
-
Cover Algorithms and Their Combination
- …Cover Algorithms and Their Combination Sumit Gulwani and Madan Musuvathi Microsoft Research…
- Add To MetaCart
-
Platform Independent Checkpointing of a C-Program in Execution
- …Platform Independent Checkpointing of a C-Program in Execution Sumit Gulwani, Asha Tarachandani…
- Add To MetaCart
-
Assertion checking unified
- …Assertion Checking Unified Sumit Gulwani 1 and Ashish Tiwari 2 1 Microsoft Research, Redmond, WA…
- Cited by 3 (2 self) – Add To MetaCart
-
Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions
- … Sumit Gulwani 1 and Ashish Tiwari 2 1 Microsoft Research, Redmond, WA 98052 sumitg@(email omitted); 2 SRI…
- Cited by 4 (3 self) – Add To MetaCart
-
Constraint-Based Approach for Analysis of Hybrid Systems
- …Constraint-based Approach for Analysis of Hybrid Systems ⋆ Sumit Gulwani 1 and Ashish Tiwari 2 1…
- Cited by 3 (2 self) – Add To MetaCart
-
An abstract domain for analyzing heap-manipulating low-level software
- …An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software ⋆ Sumit Gulwani 1 and Ashish…
- Cited by 5 (0 self) – Add To MetaCart
-
Computing procedure summaries for interprocedural analysis
- …Computing Procedure Summaries for Interprocedural Analysis ⋆ Sumit Gulwani 1 and Ashish Tiwari 2 1…
- Cited by 4 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
