Shuvendu K. Lahiri
发表
Sam Blackshear,
Shuvendu K. Lahiri,
Sam Blackshear,
2013,
PLDI.
Thomas Reps,
Shuvendu K. Lahiri,
Christian Bird,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Shuvendu K. Lahiri,
Chris Hawblitzel,
Henrique Rebêlo,
2011
.
Isil Dillig,
Shuvendu K. Lahiri,
Marcelo Sousa,
2018,
ArXiv.
Shuvendu K. Lahiri,
Shaz Qadeer,
Brian Hackett,
2009,
POPL '09.
Isil Dillig,
Shuvendu K. Lahiri,
Yu Feng,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Shuvendu K. Lahiri,
Madan Musuvathi,
M. Musuvathi,
2005,
PDPAR@CAV.
Shuvendu K. Lahiri,
Constantin Enea,
Ahmed Bouajjani,
2017,
Formal Methods in System Design.
Isil Dillig,
Shuvendu K. Lahiri,
Marcelo Sousa,
2018,
Proc. ACM Program. Lang..
Shuvendu K. Lahiri,
Chris Hawblitzel,
Henrique Rebêlo,
2013,
CADE.
Shuvendu K. Lahiri,
Alexander Malkis,
Shaz Qadeer,
2010,
VMCAI.
Shuvendu K. Lahiri,
Shaz Qadeer,
S. Qadeer,
2011,
NASA Formal Methods.
Shuvendu K. Lahiri,
Shaz Qadeer,
S. Qadeer,
2008,
POPL '08.
Shuvendu K. Lahiri,
Chao Wang,
Pallavi Choudhury,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2004,
CAV.
Shuvendu K. Lahiri,
2011,
CAV.
Shuvendu K. Lahiri,
Pallab Dasgupta,
Partha Pratim Das,
1999,
Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Daniel Kroening,
Shuvendu K. Lahiri,
Chao Wang,
2008,
ICCAD 2008.
Albert Oliveras,
Shuvendu K. Lahiri,
Robert Nieuwenhuis,
2006,
CAV.
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004
.
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2005,
CAV.
Shuvendu K. Lahiri,
Christian Bird,
Mike Barnett,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Isil Dillig,
Shuvendu K. Lahiri,
Shuo Chen,
2018,
ArXiv.
Shuvendu K. Lahiri,
Madan Musuvathi,
M. Musuvathi,
2006,
IJCAR.
Shuvendu K. Lahiri,
Chris Hawblitzel,
Henrique Rebêlo,
2012,
CAV.
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004,
TOCL.
Shuvendu K. Lahiri,
Zvonimir Rakamaric,
Shaobo He,
2016,
NFM.
Shuvendu K. Lahiri,
Patrice Godefroid,
Cindy Rubio-González,
2011,
SAS.
Shuvendu K. Lahiri,
Zvonimir Rakamaric,
Shaz Qadeer,
2009,
International Journal on Software Tools for Technology Transfer.
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004,
CAV.
Shuvendu K. Lahiri,
Yi Li,
Akash Lal,
2015,
CAV.
Shuvendu K. Lahiri,
Constantin Enea,
Ahmed Bouajjani,
2019,
Formal Methods Syst. Des..
Shuvendu K. Lahiri,
Akash Lal,
Shaz Qadeer,
2012,
CAV.
Shuvendu K. Lahiri,
Carl Pixley,
Ken Albin,
2001,
Sixth IEEE International High-Level Design Validation and Test Workshop.
Shuvendu K. Lahiri,
Shaz Qadeer,
S. Qadeer,
2007
.
Shuvendu K. Lahiri,
2015
.
Thomas Reps,
Shuvendu K. Lahiri,
Christian Bird,
2020,
2020 IEEE/ACM 17th International Conference on Mining Software Repositories (MSR).
Daniel Kroening,
Chao Wang,
Shuvendu K. Lahiri,
2008,
ICCAD.
Shuvendu K. Lahiri,
Zvonimir Rakamaric,
Shaz Qadeer,
2007,
TACAS.
Thomas Wies,
Shuvendu K. Lahiri,
Shaz Qadeer,
2009,
CAV.
Shuvendu K. Lahiri,
Thomas Ball,
Shaz Qadeer,
2010,
VSTTE.
Isil Dillig,
Shuvendu K. Lahiri,
Yuepeng Wang,
2019,
VSTTE.
Shuvendu K. Lahiri,
2012
.
Shuvendu K. Lahiri,
Thomas Ball,
Byron Cook,
2005,
Log. Methods Comput. Sci..
Shuvendu K. Lahiri,
Zvonimir Rakamaric,
Shaz Qadeer,
2009,
CAV.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Nimrod Partush,
Shuvendu K. Lahiri,
Alex Gyori,
2017,
ISSTA.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
FMCAD.
Shuvendu K. Lahiri,
Chetan Bansal,
Akash Lal,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Shuvendu K. Lahiri,
Randal E. Bryant,
Byron Cook,
2003,
CAV.
Shuvendu K. Lahiri,
Chao Wang,
Pallavi Choudhury,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004,
VMCAI.
Shuvendu K. Lahiri,
Chris Hawblitzel,
Kshama Pawar,
2013,
ESEC/FSE 2013.
Shuvendu K. Lahiri,
Krishna K. Mehra,
2007,
J. Satisf. Boolean Model. Comput..
Shuvendu K. Lahiri,
Thomas W. Reps,
Jordan Henkel,
2019,
ArXiv.
Sam Blackshear,
Shuvendu K. Lahiri,
Manuel Fähndrich,
2014,
PLDI.
Ofer Strichman,
Mattias Ulbrich,
Andrzej S. Murawski,
2018,
Dagstuhl Reports.
Ranveer Chandra,
Shuvendu K. Lahiri,
Jinghao Shi,
2016,
RV.
Ranveer Chandra,
Shuvendu K. Lahiri,
Jinghao Shi,
2018,
Formal Methods Syst. Des..
Michael D. Ernst,
Shuvendu K. Lahiri,
Thomas Ball,
2007,
29th International Conference on Software Engineering (ICSE'07).
Shuvendu K. Lahiri,
Chao Wang,
1997,
Lecture Notes in Computer Science.
Chao Wang,
Shuvendu K. Lahiri,
Chao Wang,
2020,
Lecture Notes in Computer Science.
C. A. R. Hoare,
Shuvendu K. Lahiri,
Kapil Vaswani,
2010,
FoSER '10.
Isil Dillig,
Shuvendu K. Lahiri,
William R. Cook,
2017,
Proc. ACM Program. Lang..
Shuvendu K. Lahiri,
Shaobo He,
Arvind Haran,
2015
.
Shuvendu K. Lahiri,
Randal E. Bryant,
2003,
CAV.
Shuvendu K. Lahiri,
Akash Lal,
Saurabh Joshi,
2012,
POPL '12.
Shuvendu K. Lahiri,
Rahul Sharma,
Chris Hawblitzel,
2013,
ESEC/FSE 2013.
Shuvendu K. Lahiri,
Shaz Qadeer,
S. Qadeer,
2006,
POPL '06.
Shuvendu K. Lahiri,
Julien Vanegue,
2013,
2013 IEEE Symposium on Security and Privacy.
Shuvendu K. Lahiri,
Madan Musuvathi,
2005,
FroCoS.
Shuvendu K. Lahiri,
Chao Wang,
Chao Wang,
2018,
Lecture Notes in Computer Science.
Shuvendu K. Lahiri,
Thomas Ball,
Madan Musuvathi,
2005,
LPAR.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
S. Seshia,
2004,
CAV.
Shuvendu K. Lahiri,
Akash Lal,
2018
.
Nikolaj Bjørner,
Shuvendu K. Lahiri,
Suresh Thummalapenta,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).
Elisa Bertino,
Chao Wang,
Shuvendu K. Lahiri,
2020,
CAV.
Shuvendu K. Lahiri,
Patrice Godefroid,
2011,
LASER Summer School.
Shuvendu K. Lahiri,
Thomas Ball,
Carlos Pacheco,
2008,
ISSTA '08.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2003,
CHARME.
Nimrod Partush,
Shuvendu K. Lahiri,
Alex Gyori,
2016,
ArXiv.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
CAV.
Shuvendu K. Lahiri,
Shaz Qadeer,
2009,
CADE.
Shuvendu K. Lahiri,
Randal E. Bryant,
Amit Goel,
2004,
TACAS.
Shuvendu K. Lahiri,
Zvonimir Rakamaric,
Shaobo He,
2016,
Journal of Automated Reasoning.
Shuvendu K. Lahiri,
Julien Vanegue,
Julien Vanegue,
2011,
VMCAI.
Shuvendu K. Lahiri,
Chris Hawblitzel,
Rohit Sinha,
2015,
CAV.
Sophia Drossopoulou,
Shuvendu K. Lahiri,
Tim Wood,
2017,
ESOP.
Shuvendu K. Lahiri,
David Walker,
Shaz Qadeer,
2011,
PLPV '11.
Sam Blackshear,
Shuvendu K. Lahiri,
2013,
PLDI 2013.
Shuvendu K. Lahiri,
Gabriel Ryan,
Todd Mytkowicz,
2021,
ArXiv.
Ruzica Piskac,
Shuvendu K. Lahiri,
Todd Mytkowicz,
2021,
ArXiv.
Isil Dillig,
Shuvendu K. Lahiri,
Yu Feng,
2021,
Proc. ACM Program. Lang..
Isil Dillig,
Shuvendu K. Lahiri,
Jon Stephens,
2021,
2021 IEEE Symposium on Security and Privacy (SP).
Shuvendu K. Lahiri,
Mayur Naik,
Christian Bird,
2021,
IEEE Transactions on Software Engineering.
Shuvendu K. Lahiri,
A. Lal,
S. Qadeer,
2012
.
Shuvendu K. Lahiri,
S. Seshia,
R. Bryant,
2002
.
Shuvendu K. Lahiri,
Patrice Godefroid,
Cindy Rubio-González,
2010
.
Shuvendu K. Lahiri,
Thomas W. Reps,
Jordan Henkel,
2018,
ESEC/SIGSOFT FSE.
Shuvendu K. Lahiri,
C. Enea,
A. Bouajjani,
2017
.
Shuvendu K. Lahiri,
Ming Kawaguchi,
H. Rebêlo,
2010
.
Ganesh Gopalakrishnan,
Shuvendu K. Lahiri,
Arvind Haran,
2015
.
Shuvendu K. Lahiri,
S. Qadeer,
2009
.
Shuvendu K. Lahiri,
R. Manevich,
M. Sagiv,
2006
.
Shuvendu K. Lahiri,
S. Seshia,
2011
.
Shuvendu K. Lahiri,
R. Bryant,
2018
.
Shuvendu K. Lahiri,
S. Qadeer,
Brian Hackett,
2009
.
Shuvendu K. Lahiri,
S. Qadeer,
Jeremy Condit,
2009,
POPL.
Shuvendu K. Lahiri,
M. Musuvathi,
Jianfeng Gao,
2022,
ArXiv.
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
Shuvendu K. Lahiri,
Todd Mytkowicz,
R. Piskac,
2022,
ISSTA.
Shuvendu K. Lahiri,
R. Chandra,
Geoffrey Challen,
2017,
Formal Methods in System Design.
Shuvendu K. Lahiri,
Todd Mytkowicz,
C. Bird,
2021,
ArXiv.
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.
Shuvendu K. Lahiri,
M. Musuvathi,
Saikat Chakraborty,
2023,
ArXiv.
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
Shuvendu K. Lahiri,
Todd Mytkowicz,
R. Piskac,
2022,
ISSTA.
Sumit Gulwani,
Shuvendu K. Lahiri,
Nachiappan Nagappan,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Shuvendu K. Lahiri,
M. Musuvathi,
Jianfeng Gao,
2022,
NeurIPS.
Shuvendu K. Lahiri,
Lakshya A Agrawal,
S. Rajamani,
2023,
ArXiv.
Shuvendu K. Lahiri,
S. Sen,
J. Inala,
2023,
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
Shuvendu K. Lahiri,
Todd Mytkowicz,
C. Bird,
2021,
ESEC/SIGSOFT FSE.
Isil Dillig,
Shuvendu K. Lahiri,
Shuvendu Lahiri,
2021,
ArXiv.
Shuvendu K. Lahiri,
S. Sen,
Caroline Lemieux,
2023
.
Ranveer Chandra,
Shuvendu K. Lahiri,
Jinghao Shi,
2018,
ArXiv.
Shuvendu K. Lahiri,
S. Qadeer,
2010
.
Shuvendu K. Lahiri,
Curtis von Veh,
M. Musuvathi,
2022,
ArXiv.
Shuvendu K. Lahiri,
Madeline Endres,
Sarah Fakhoury,
2023,
2310.01831.
Shuvendu K. Lahiri,
Aseem Rastogi,
Pantazis Deligiannis,
2023,
arXiv.org.
Shuvendu K. Lahiri,
Aseem Rastogi,
Aditya Senthilnathan,
2023,
EMNLP.
Shuvendu K. Lahiri,
Shuo Chen,
Yuepeng Wang,
2018,
ArXiv.
Chao Wang,
Shuvendu K. Lahiri,
Constantin Enea,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).