Shuvendu Lahiri
Shuvendu Lahiri
Principal Researcher, Microsoft Research
E-mail confirmado em microsoft.com - Página inicial
Título
Citado por
Citado por
Ano
Feedback-directed random test generation
C Pacheco, SK Lahiri, MD Ernst, T Ball
29th International Conference on Software Engineering (ICSE'07), 75-84, 2007
7762007
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions
RE Bryant, SK Lahiri, SA Seshia
International Conference on Computer Aided Verification, 78-92, 2002
2982002
Back to the future: revisiting precise program verification using SMT solvers
S Lahiri, S Qadeer
ACM SIGPLAN Notices 43 (1), 171-182, 2008
1832008
Symdiff: A language-agnostic semantic diff tool for imperative programs
SK Lahiri, C Hawblitzel, M Kawaguchi, H Rebêlo
International Conference on Computer Aided Verification, 712-717, 2012
1542012
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
International Conference on Computer Aided Verification, 427-443, 2012
1412012
A symbolic approach to predicate abstraction
SK Lahiri, RE Bryant, B Cook
International Conference on Computer Aided Verification, 141-153, 2003
1262003
Verifying properties of well-founded linked lists
SK Lahiri, S Qadeer
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
1202006
SMT techniques for fast predicate abstraction
SK Lahiri, R Nieuwenhuis, A Oliveras
International Conference on Computer Aided Verification, 424-437, 2006
1132006
Modeling and verification of out-of-order microprocessors in UCLID
SK Lahiri, SA Seshia, RE Bryant
International Conference on Formal Methods in Computer-Aided Design, 142-159, 2002
1072002
Constructing quantified invariants via predicate abstraction
SK Lahiri, RE Bryant
International Workshop on Verification, Model Checking, and Abstract …, 2004
1032004
Indexed predicate discovery for unbounded system verification
SK Lahiri, RE Bryant
International Conference on Computer Aided Verification, 135-147, 2004
1022004
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
SA Seshia, SK Lahiri, RE Bryant
Proceedings 2003. Design Automation Conference (IEEE Cat. No. 03CH37451 …, 2003
1022003
The UCLID Decision Procedure
SK Lahiri, SA Seshia
International Conference on Computer Aided Verification, 475-478, 2004
992004
Differential assertion checking
SK Lahiri, KL McMillan, R Sharma, C Hawblitzel
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
962013
A reachability predicate for analyzing low-level software
S Chatterjee, SK Lahiri, S Qadeer, Z Rakamarić
International Conference on Tools and Algorithms for the Construction and …, 2007
922007
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
T Ball, B Cook, SK Lahiri, L Zhang
International Conference on Computer Aided Verification, 457-461, 2004
922004
Finding errors in. net with feedback-directed random testing
C Pacheco, SK Lahiri, T Ball
Proceedings of the 2008 international symposium on Software testing and …, 2008
912008
Static and precise detection of concurrency errors in systems code using SMT solvers
SK Lahiri, S Qadeer, Z Rakamarić
International Conference on Computer Aided Verification, 509-524, 2009
842009
Helping developers help themselves: Automatic decomposition of code review changesets
M Barnett, C Bird, J Brunet, SK Lahiri
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
802015
Unifying type checking and property checking for low-level code
J Condit, B Hackett, SK Lahiri, S Qadeer
ACM SIGPLAN Notices 44 (1), 302-314, 2009
732009
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20