The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Shuvendu K. Lahiri: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shuvendu K. Lahiri, Madanlal Musuvathi
    Solving Sparse Linear Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:468-482 [Conf]
  2. Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang
    Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:457-461 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:78-92 [Conf]
  4. Shuvendu K. Lahiri, Randal E. Bryant
    Deductive Verification of Advanced Out-of-Order Microprocessors. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:341-353 [Conf]
  5. Shuvendu K. Lahiri, Randal E. Bryant
    Indexed Predicate Discovery for Unbounded System Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:135-147 [Conf]
  6. Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook
    A Symbolic Approach to Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:141-153 [Conf]
  7. Shuvendu K. Lahiri, Thomas Ball, Byron Cook
    Predicate Abstraction via Symbolic Decision Procedures. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:24-38 [Conf]
  8. Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras
    SMT Techniques for Fast Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:424-437 [Conf]
  9. Shuvendu K. Lahiri, Sanjit A. Seshia
    The UCLID Decision Procedure. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:475-478 [Conf]
  10. Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia
    Convergence Testing in Term-Level Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:348-362 [Conf]
  11. Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant
    A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:425-430 [Conf]
  12. Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant
    Modeling and Verification of Out-of-Order Microprocessors in UCLID. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:142-159 [Conf]
  13. Shuvendu K. Lahiri, Madanlal Musuvathi
    An Efficient Decision Procedure for UTVPI Constraints. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:168-183 [Conf]
  14. Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
    Feedback-Directed Random Test Generation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:75-84 [Conf]
  15. Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
    Zap: Automated Theorem Proving for Software Analysis. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:2-22 [Conf]
  16. Shuvendu K. Lahiri, Shaz Qadeer
    Verifying properties of well-founded linked lists. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:115-126 [Conf]
  17. Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur
    Revisiting Positive Equality. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:1-15 [Conf]
  18. Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose
    Controlling State Explosion in Static Simulation by Selective Composition. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 1999, pp:226-231 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 1994, pp:328-332 [Conf]
  20. Shuvendu K. Lahiri, Randal E. Bryant
    Constructing Quantified Invariants via Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:267-281 [Conf]
  21. Shuvendu K. Lahiri, Randal E. Bryant
    Predicate Abstraction with Indexed Predicates [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  22. Shuvendu K. Lahiri, Madanlal Musuvathi
    An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:27-41 [Journal]
  23. Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
    A Reachability Predicate for Analyzing Low-Level Software. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:19-33 [Conf]
  24. Shuvendu K. Lahiri, Thomas Ball, Byron Cook
    Predicate Abstraction via Symbolic Decision Procedures [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  25. Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. [Citation Graph (, )][DBLP]


  26. Intra-module Inference. [Citation Graph (, )][DBLP]


  27. Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. [Citation Graph (, )][DBLP]


  28. Embedded software verification: challenges and solutions. [Citation Graph (, )][DBLP]


  29. Finding errors in .net with feedback-directed random testing. [Citation Graph (, )][DBLP]


  30. Back to the future: revisiting precise program verification using SMT solvers. [Citation Graph (, )][DBLP]


  31. Unifying type checking and property checking for low-level code. [Citation Graph (, )][DBLP]


  32. Abstract Threads. [Citation Graph (, )][DBLP]


  33. Towards Scalable Modular Checking of User-Defined Properties. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.301secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002