dblp.uni-trier.dewww.uni-trier.de

Shuvendu K. Lahiri

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)