Sumit Gulwani

Available identifiers

zbMath Open gulwani.sumitMaRDI QIDQ859959

List of research outcomes

Publication	Date of Publication	Type
Combining Model Checking and Data-Flow Analysis	2018-07-20	Paper
Precise interprocedural analysis using random interpretation	2017-07-14	Paper
Transforming spreadsheet data types using examples	2016-10-24	Paper
Global value numbering using random interpretation	2015-11-11	Paper
Discovering affine equalities using random interpretation	2015-09-11	Paper
A combination framework for tracking partition sizes	2015-07-03	Paper
SPEED	2015-07-03	Paper
From program verification to program synthesis	2015-06-11	Paper
Continuity analysis of programs	2015-06-11	Paper
Program verification as probabilistic inference	2014-09-12	Paper
Lifting abstract interpreters to quantified logical domains	2014-09-12	Paper
Automating string processing in spreadsheets using input-output examples	2014-04-10	Paper
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning	2014-01-17	Paper
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.	2010-04-20	Paper
SPEED: Symbolic Complexity Bound Analysis	2009-06-30	Paper
Logical Interpretation: Static Program Analysis Using Theorem Proving	2009-03-06	Paper
Constraint-Based Invariant Inference over Predicate Abstraction	2009-02-10	Paper
Synthesizing Switching Logic Using Constraint Solving	2009-02-10	Paper
Constraint-Based Approach for Analysis of Hybrid Systems	2008-07-15	Paper
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis	2008-07-15	Paper
Proving Conditional Termination	2008-07-15	Paper
Cover Algorithms and Their Combination	2008-04-11	Paper
Ranking Abstractions	2008-04-11	Paper
Assertion Checking Unified	2008-04-04	Paper
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software	2007-11-29	Paper
Computing Procedure Summaries for Interprocedural Analysis	2007-09-04	Paper
Programming Languages and Systems	2007-05-02	Paper
A polynomial-time algorithm for global value numbering	2007-01-22	Paper
Computer Aided Verification	2006-01-10	Paper
Static Analysis	2005-08-24	Paper
Static Analysis	2005-08-24	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols	2005-08-05	Paper

Research outcomes over time

This page was built for person: Sumit Gulwani