Sumit Gulwani
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Combining model checking and data-flow analysis Handbook of Model Checking | 2018-07-20 | Paper |
| Precise interprocedural analysis using random interpretation Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| Transforming spreadsheet data types using examples Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Global value numbering using random interpretation Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
| Discovering affine equalities using random interpretation Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| A combination framework for tracking partition sizes Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| SPEED: precise and efficient static estimation of program computational complexity Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| From program verification to program synthesis Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Continuity analysis of programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Program verification as probabilistic inference Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Lifting abstract interpreters to quantified logical domains Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Automating string processing in spreadsheets using input-output examples Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| Solving geometry problems using a combination of symbolic and numerical reasoning Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. Lecture Notes in Computer Science | 2010-04-20 | Paper |
| SPEED: Symbolic Complexity Bound Analysis Computer Aided Verification | 2009-06-30 | Paper |
| Logical Interpretation: Static Program Analysis Using Theorem Proving Automated Deduction – CADE-21 | 2009-03-06 | Paper |
| Constraint-Based Invariant Inference over Predicate Abstraction Lecture Notes in Computer Science | 2009-02-10 | Paper |
| Synthesizing Switching Logic Using Constraint Solving Lecture Notes in Computer Science | 2009-02-10 | Paper |
| Constraint-Based Approach for Analysis of Hybrid Systems Computer Aided Verification | 2008-07-15 | Paper |
| A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis Computer Aided Verification | 2008-07-15 | Paper |
| Proving Conditional Termination Computer Aided Verification | 2008-07-15 | Paper |
| Cover Algorithms and Their Combination Programming Languages and Systems | 2008-04-11 | Paper |
| Ranking Abstractions Programming Languages and Systems | 2008-04-11 | Paper |
| Assertion Checking Unified Lecture Notes in Computer Science | 2008-04-04 | Paper |
| An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software Computer Aided Verification | 2007-11-29 | Paper |
| Computing Procedure Summaries for Interprocedural Analysis Programming Languages and Systems | 2007-09-04 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
| A polynomial-time algorithm for global value numbering Science of Computer Programming | 2007-01-22 | Paper |
| Computer Aided Verification Lecture Notes in Computer Science | 2006-01-10 | Paper |
| Static Analysis Lecture Notes in Computer Science | 2005-08-24 | Paper |
| Static Analysis Lecture Notes in Computer Science | 2005-08-24 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science | 2005-08-12 | Paper |
| A randomized satisfiability procedure for arithmetic and uninterpreted function symbols Information and Computation | 2005-08-05 | Paper |
Research outcomes over time
This page was built for person: Sumit Gulwani
