Shuvendu K. Lahiri

	2012
44		Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal: Underspecified harnesses and interleaved bugs. POPL 2012: 19-30
	2011
43		Shuvendu K. Lahiri: SMT-Based Modular Analysis of Sequential Systems Code. CAV 2011: 21-27
42		Shuvendu K. Lahiri, Shaz Qadeer: Call Invariants. NASA Formal Methods 2011: 237-251
41		Shuvendu K. Lahiri, Shaz Qadeer, David Walker: Linear maps. PLPV 2011: 3-14
40		Patrice Godefroid, Shuvendu K. Lahiri, Cindy Rubio-González: Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation. SAS 2011: 112-128
39		Shuvendu K. Lahiri, Julien Vanegue: ExplainHoudini: Making Houdini Inference Transparent. VMCAI 2011: 309-323
	2010
38		Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare: Differential static analysis: opportunities, applications, and challenges. FoSER 2010: 201-204
37		Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer: Abstract Threads. VMCAI 2010: 231-246
36		Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue: Towards Scalable Modular Checking of User-Defined Properties. VSTTE 2010: 1-24
	2009
35		Shuvendu K. Lahiri, Shaz Qadeer: Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. CADE 2009: 214-229
34		Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies: Intra-module Inference. CAV 2009: 493-508
33		Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. CAV 2009: 509-524
32		Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer: Unifying type checking and property checking for low-level code. POPL 2009: 302-314
31		Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A low-level memory model and an accompanying reachability predicate. STTT 11(2): 105-116 (2009)
	2008
30		Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening: Embedded software verification: challenges and solutions. ICCAD 2008: 5
29		Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball: Finding errors in .net with feedback-directed random testing. ISSTA 2008: 87-96
28		Shuvendu K. Lahiri, Shaz Qadeer: Back to the future: revisiting precise program verification using SMT solvers. POPL 2008: 171-182
	2007
27		Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball: Feedback-Directed Random Test Generation. ICSE 2007: 75-84
26		Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33
25		Shuvendu K. Lahiri, Randal E. Bryant: Predicate abstraction with indexed predicates. ACM Trans. Comput. Log. 9(1): (2007)
24		Shuvendu K. Lahiri, Krishna K. Mehra: Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. JSAT 1(3-4): 187-207 (2007)
23		Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. Logical Methods in Computer Science 3(2): (2007)
	2006
22		Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras: SMT Techniques for Fast Predicate Abstraction. CAV 2006: 424-437
21		Shuvendu K. Lahiri, Madanlal Musuvathi: Solving Sparse Linear Constraints. IJCAR 2006: 468-482
20		Shuvendu K. Lahiri, Shaz Qadeer: Verifying properties of well-founded linked lists. POPL 2006: 115-126
19		Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures CoRR abs/cs/0612003: (2006)
18		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		Shuvendu K. Lahiri, Thomas Ball, Byron Cook: Predicate Abstraction via Symbolic Decision Procedures. CAV 2005: 24-38
16		Shuvendu K. Lahiri, Madanlal Musuvathi: An Efficient Decision Procedure for UTVPI Constraints. FroCos 2005: 168-183
15		Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi: Zap: Automated Theorem Proving for Software Analysis. LPAR 2005: 2-22
	2004
14		Shuvendu K. Lahiri, Randal E. Bryant: Indexed Predicate Discovery for Unbounded System Verification. CAV 2004: 135-147
13		Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. CAV 2004: 457-461
12		Shuvendu K. Lahiri, Sanjit A. Seshia: The UCLID Decision Procedure. CAV 2004: 475-478
11		Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur: Revisiting Positive Equality. TACAS 2004: 1-15
10		Shuvendu K. Lahiri, Randal E. Bryant: Constructing Quantified Invariants via Predicate Abstraction. VMCAI 2004: 267-281
9		Shuvendu K. Lahiri, Randal E. Bryant: Predicate Abstraction with Indexed Predicates CoRR cs.LO/0407006: (2004)
	2003
8		Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook: A Symbolic Approach to Predicate Abstraction. CAV 2003: 141-153
7		Shuvendu K. Lahiri, Randal E. Bryant: Deductive Verification of Advanced Out-of-Order Microprocessors. CAV 2003: 341-353
6		Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia: Convergence Testing in Term-Level Bounded Model Checking. CHARME 2003: 348-362
5		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		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		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		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] [36]
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] [31]
6	Jeremy Condit	[32]
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	Juan P. Galeotti	[34]
13	Malay K. Ganai	[30]
14	Patrice Godefroid	[40]
15	Amit Goel	[11]
16	A. Das Gupta	[1]
17	Brian Hackett	[32] [36]
18	C. A. R. Hoare (Tony Hoare)	[38]
19	Saurabh Joshi	[44]
20	Daniel Kroening (Daniel Kröning)	[30]
21	Akash Lal	[44]
22	Alexander Malkis	[37]
23	I. Manna	[1]
24	Krishna K. Mehra	[24]
25	Madanlal Musuvathi	[15] [16] [18] [21]
26	Robert Nieuwenhuis	[22]
27	Albert Oliveras	[22]
28	Carlos Pacheco	[27] [29]
29	Shaz Qadeer	[20] [26] [28] [31] [32] [33] [34] [35] [36] [37] [41] [42]
30	Zvonimir Rakamaric	[26] [31] [33]
31	Arnob Roy	[2]
32	Cindy Rubio-González	[40]
33	Sanjit A. Seshia	[3] [4] [5] [6] [12]
34	Muralidhar Talupur	[11]
35	Julien Vanegue	[36] [39]
36	Kapil Vaswani	[38]
37	Jan W. Voung	[34]
38	David Walker	[41]
39	Chao Wang	[30]
40	Thomas Wies	[34]
41	Lintao Zhang	[13]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page