|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 55 occurrences of 45 keywords
|
|
|
|
|
Results
Found 54 publication records. Showing 54 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama |
Automated Semantic Grading of Programs  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rishabh Singh, Sumit Gulwani |
Learning Semantic String Transformations from Examples |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Rishabh Singh, Sumit Gulwani |
Learning Semantic String Transformations from Examples. |
PVLDB |
2012 |
DBLP BibTeX RDF |
|
| 1 | Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr. |
QuickDraw: improving drawing experience for geometric diagrams. |
CHI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Taly, Sumit Gulwani, Ashish Tiwari |
Synthesizing switching logic using constraint solving. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Sumit Gulwani |
Spreadsheet table transformations from examples. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan |
Synthesis of loop-free programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
Path-based inductive synthesis for program inversion. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari |
Synthesizing geometry constructions. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani |
Automating string processing in spreadsheets using input-output examples. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith |
Bound Analysis of Imperative Programs with the Size-Change Abstraction. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour |
Proving programs robust. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Florian Zuleger |
The reachability-bound problem. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
disjunctive invariants, resource bound analysis, pattern matching, transitive closure, ranking functions |
| 1 | Sumit Gulwani |
Dimensions in program synthesis. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman |
Continuity analysis of programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
stability, robustness, uncertainty, program analysis, continuity, errors, sensitivity, perturbations, proof rules |
| 1 | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
From program verification to program synthesis. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
proof-theoretic program synthesis, verification |
| 1 | Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
A simple inductive synthesis methodology and its applications. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani |
Dimensions in program synthesis. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference |
| 1 | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari |
Oracle-guided component-based program synthesis. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
oracle-based learning, SAT, program synthesis, SMT |
| 1 | Saurabh Srivastava, Sumit Gulwani |
Program verification using templates over predicate abstraction. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers |
| 1 | Sumit Gulwani, Sagar Jain, Eric Koskinen |
Control-flow refinement and progress invariants for bound analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
control-flow refinement, progress invariants, formal verification, program verification, termination, bound analysis |
| 1 | Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv |
A combination framework for tracking partition sizes. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds |
| 1 | Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi |
SPEED: precise and efficient static estimation of program computational complexity. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis |
| 1 | Sumit Gulwani |
SPEED: Symbolic Complexity Bound Analysis. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster |
VS3: SMT Solvers for Program Verification. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Taly, Sumit Gulwani, Ashish Tiwari |
Synthesizing Switching Logic Using Constraint Solving. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
Inferring locks for atomic sections. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
atomic sections, static lock inference, concurrency |
| 1 | Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan |
Program analysis as constraint solving. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis |
| 1 | Sumit Gulwani, Bill McCloskey, Ashish Tiwari |
Lifting abstract interpreters to quantified logical domains. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter |
| 1 | Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv |
Proving Conditional Termination. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhargav S. Gulavani, Sumit Gulwani |
A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Constraint-Based Approach for Analysis of Hybrid Systems. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
Ranking Abstractions. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Madan Musuvathi |
Cover Algorithms and Their Combination. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
A polynomial-time algorithm for global value numbering. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Sumit Gulwani |
Logical Interpretation: Static Program Analysis Using Theorem Proving. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Nebojsa Jojic |
Program verification as probabilistic inference. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs |
| 1 | Sumit Gulwani, Ashish Tiwari |
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Assertion Checking Unified. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Computing Procedure Summaries for Interprocedural Analysis. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Combining abstract interpreters. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
Nelson-Oppen combination, logical product, reduced product, abstract interpreter |
| 1 | Sumit Gulwani, Ashish Tiwari |
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
Precise interprocedural analysis using random interpretation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions |
| 1 | George C. Necula, Sumit Gulwani |
Randomized Algorithms for Program Analysis and Verification. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
Global value numbering using random interpretation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions |
| 1 | Sumit Gulwani, George C. Necula |
A Polynomial-Time Algorithm for Global Value Numbering. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari, George C. Necula |
Join Algorithms for the Theory of Uninterpreted Functions. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, George C. Necula |
Discovering affine equalities using random interpretation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
affine relationships, linear equalities, random interpretation, randomized algorithm |
| 1 | Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel |
WebCaL - a domain specific language for web caching. |
Computer Communications |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #54 of 54 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")