|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 16 keywords
|
|
|
|
|
Results
Found 44 publication records. Showing 44 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal |
Underspecified harnesses and interleaved bugs.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Shaz Qadeer, David Walker |
Linear maps. |
PLPV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri |
SMT-Based Modular Analysis of Sequential Systems Code. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Shaz Qadeer |
Call Invariants. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González |
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Julien Vanegue |
ExplainHoudini: Making Houdini Inference Transparent. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue |
Towards Scalable Modular Checking of User-Defined Properties. |
VSTTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer |
Abstract Threads. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare |
Differential static analysis: opportunities, applications, and challenges. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A low-level memory model and an accompanying reachability predicate. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Shaz Qadeer |
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
| 1 | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
Intra-module Inference. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball |
Finding errors in .net with feedback-directed random testing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
random testing |
| 1 | Shuvendu K. Lahiri, Shaz Qadeer |
Back to the future: revisiting precise program verification using SMT solvers. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers |
| 1 | Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening |
Embedded software verification: challenges and solutions. |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Krishna K. Mehra |
Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
Predicate Abstraction via Symbolic Decision Procedures. |
Logical Methods in Computer Science |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Randal E. Bryant |
Predicate abstraction with indexed predicates. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction |
| 1 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A Reachability Predicate for Analyzing Low-Level Software. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball |
Feedback-Directed Random Test Generation. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
Predicate Abstraction via Symbolic Decision Procedures |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
Solving Sparse Linear Constraints. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Shaz Qadeer |
Verifying properties of well-founded linked lists. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving |
| 1 | Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras |
SMT Techniques for Fast Predicate Abstraction. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi |
Zap: Automated Theorem Proving for Software Analysis. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
An Efficient Decision Procedure for UTVPI Constraints. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Thomas Ball, Byron Cook |
Predicate Abstraction via Symbolic Decision Procedures. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Randal E. Bryant |
Predicate Abstraction with Indexed Predicates |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur |
Revisiting Positive Equality. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Sanjit A. Seshia |
The UCLID Decision Procedure. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Randal E. Bryant |
Indexed Predicate Discovery for Unbounded System Verification. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Randal E. Bryant |
Constructing Quantified Invariants via Predicate Abstraction. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant |
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
theorem proving, decision procedures, boolean satisfiability, design verification |
| 1 | Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia |
Convergence Testing in Term-Level Bounded Model Checking. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook |
A Symbolic Approach to Predicate Abstraction. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Randal E. Bryant |
Deductive Verification of Advanced Out-of-Order Microprocessors. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant |
Modeling and Verification of Out-of-Order Microprocessors in UCLID. |
FMCAD |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia |
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose |
Controlling State Explosion in Static Simulation by Selective Composition. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, M. K. Das, A. Das Gupta, I. Manna |
3D Effects in VLSI/ULSI MOSFETs: A Novel Analytical Approach to Model Threshold Voltage. |
VLSI Design |
1994 |
DBLP BibTeX RDF |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")