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
SPEED	2015-07-03	Paper
A combination framework for tracking partition sizes	2015-07-03	Paper
Continuity analysis of programs	2015-06-11	Paper
From program verification to program synthesis	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
Automated Deduction – CADE-19	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
Proving Conditional Termination	2008-07-15	Paper
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis	2008-07-15	Paper
Ranking Abstractions	2008-04-11	Paper
Cover Algorithms and Their Combination	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sumit Gulwani