Shuvendu K. Lahiri

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

Coauthor Index

1	Thomas Ball	[13] [15] [17] [19] [23] [27] [29]
2	Mrinal Bose	[2]
3	Randal E. Bryant	[3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [25]
4	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[2]
5	Shaunak Chatterjee	[26]
6	Jeremy Condit	[31]
7	Byron Cook	[8] [13] [17] [19] [23]
8	M. K. Das	[1]
9	Partha Pratim Das	[2]
10	Pallab Dasgupta	[2]
11	Michael D. Ernst	[27]
12	Malay K. Ganai	[30]
13	Amit Goel	[11]
14	A. Das Gupta	[1]
15	Brian Hackett	[31]
16	Daniel Kroening (Daniel Kröning)	[30]
17	I. Manna	[1]
18	Krishna K. Mehra	[24]
19	Madanlal Musuvathi	[15] [16] [18] [21]
20	Robert Nieuwenhuis	[22]
21	Albert Oliveras	[22]
22	Carlos Pacheco	[27] [29]
23	Shaz Qadeer	[20] [26] [28] [31]
24	Zvonimir Rakamaric	[26]
25	Arnob Roy	[2]
26	Sanjit A. Seshia	[3] [4] [5] [6] [12]
27	Muralidhar Talupur	[11]
28	Chao Wang	[30]
29	Lintao Zhang	[13]

Colors in the list of coauthors