2009 |
31 | EE | Jeremy Condit,
Brian Hackett,
Shuvendu K. Lahiri,
Shaz Qadeer:
Unifying type checking and property checking for low-level code.
POPL 2009: 302-314 |
2008 |
30 | EE | Chao Wang,
Malay K. Ganai,
Chao Wang,
Shuvendu K. Lahiri,
Daniel Kroening:
Embedded software verification: challenges and solutions.
ICCAD 2008: 5 |
29 | EE | Carlos Pacheco,
Shuvendu K. Lahiri,
Thomas Ball:
Finding errors in .net with feedback-directed random testing.
ISSTA 2008: 87-96 |
28 | EE | Shuvendu K. Lahiri,
Shaz Qadeer:
Back to the future: revisiting precise program verification using SMT solvers.
POPL 2008: 171-182 |
2007 |
27 | EE | Carlos Pacheco,
Shuvendu K. Lahiri,
Michael D. Ernst,
Thomas Ball:
Feedback-Directed Random Test Generation.
ICSE 2007: 75-84 |
26 | EE | Shaunak Chatterjee,
Shuvendu K. Lahiri,
Shaz Qadeer,
Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software.
TACAS 2007: 19-33 |
25 | EE | Shuvendu K. Lahiri,
Randal E. Bryant:
Predicate abstraction with indexed predicates.
ACM Trans. Comput. Log. 9(1): (2007) |
24 | EE | Shuvendu K. Lahiri,
Krishna K. Mehra:
Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic.
JSAT 1(3-4): 187-207 (2007) |
23 | EE | Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures.
Logical Methods in Computer Science 3(2): (2007) |
2006 |
22 | EE | Shuvendu K. Lahiri,
Robert Nieuwenhuis,
Albert Oliveras:
SMT Techniques for Fast Predicate Abstraction.
CAV 2006: 424-437 |
21 | EE | Shuvendu K. Lahiri,
Madanlal Musuvathi:
Solving Sparse Linear Constraints.
IJCAR 2006: 468-482 |
20 | EE | Shuvendu K. Lahiri,
Shaz Qadeer:
Verifying properties of well-founded linked lists.
POPL 2006: 115-126 |
19 | EE | Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures
CoRR abs/cs/0612003: (2006) |
18 | EE | Shuvendu K. Lahiri,
Madanlal Musuvathi:
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.
Electr. Notes Theor. Comput. Sci. 144(2): 27-41 (2006) |
2005 |
17 | EE | Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook:
Predicate Abstraction via Symbolic Decision Procedures.
CAV 2005: 24-38 |
16 | EE | Shuvendu K. Lahiri,
Madanlal Musuvathi:
An Efficient Decision Procedure for UTVPI Constraints.
FroCos 2005: 168-183 |
15 | EE | Thomas Ball,
Shuvendu K. Lahiri,
Madanlal Musuvathi:
Zap: Automated Theorem Proving for Software Analysis.
LPAR 2005: 2-22 |
2004 |
14 | EE | Shuvendu K. Lahiri,
Randal E. Bryant:
Indexed Predicate Discovery for Unbounded System Verification.
CAV 2004: 135-147 |
13 | EE | Thomas Ball,
Byron Cook,
Shuvendu K. Lahiri,
Lintao Zhang:
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement.
CAV 2004: 457-461 |
12 | EE | Shuvendu K. Lahiri,
Sanjit A. Seshia:
The UCLID Decision Procedure.
CAV 2004: 475-478 |
11 | EE | Shuvendu K. Lahiri,
Randal E. Bryant,
Amit Goel,
Muralidhar Talupur:
Revisiting Positive Equality.
TACAS 2004: 1-15 |
10 | EE | Shuvendu K. Lahiri,
Randal E. Bryant:
Constructing Quantified Invariants via Predicate Abstraction.
VMCAI 2004: 267-281 |
9 | EE | Shuvendu K. Lahiri,
Randal E. Bryant:
Predicate Abstraction with Indexed Predicates
CoRR cs.LO/0407006: (2004) |
2003 |
8 | EE | Shuvendu K. Lahiri,
Randal E. Bryant,
Byron Cook:
A Symbolic Approach to Predicate Abstraction.
CAV 2003: 141-153 |
7 | EE | Shuvendu K. Lahiri,
Randal E. Bryant:
Deductive Verification of Advanced Out-of-Order Microprocessors.
CAV 2003: 341-353 |
6 | EE | Randal E. Bryant,
Shuvendu K. Lahiri,
Sanjit A. Seshia:
Convergence Testing in Term-Level Bounded Model Checking.
CHARME 2003: 348-362 |
5 | EE | Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant:
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions.
DAC 2003: 425-430 |
2002 |
4 | EE | 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: 78-92 |
3 | EE | Shuvendu K. Lahiri,
Sanjit A. Seshia,
Randal E. Bryant:
Modeling and Verification of Out-of-Order Microprocessors in UCLID.
FMCAD 2002: 142-159 |
1999 |
2 | EE | 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: 226-231 |
1994 |
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: 328-332 |