Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
Ankush Das, Akash Lal
Automated Technology for Verification and Analysis (ATVA) | July 2017
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
MSR-TR-2016-15 | April 2016
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Akash Lal, Shaz Qadeer
Programming Language Design and Implementation (PLDI) | June 2015
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
Akash Lal, Shaz Qadeer
Foundations of Software Engineering (FSE) | November 2014
ACM SIGSOFT Distinguished Paper
Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | October 2014
Best Paper Award
Akash Lal, Shaz Qadeer
7th International workshop on Reachability Problems (Invited Paper) | September 2013
Michael Emmi, Akash Lal
Static Analysis Symposium (SAS) | September 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | January 2011
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
Akash Lal, Thomas Reps
Formal Methods in System Design (FMSD) | January 2009
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
Ankush Das, Akash Lal
Automated Technology for Verification and Analysis (ATVA) | July 2017
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
MSR-TR-2016-15 | April 2016
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Akash Lal, Shaz Qadeer
Programming Language Design and Implementation (PLDI) | June 2015
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
Akash Lal, Shaz Qadeer
Foundations of Software Engineering (FSE) | November 2014
ACM SIGSOFT Distinguished Paper
Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | October 2014
Best Paper Award
Akash Lal, Shaz Qadeer
7th International workshop on Reachability Problems (Invited Paper) | September 2013
Michael Emmi, Akash Lal
Static Analysis Symposium (SAS) | September 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | January 2011
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
Akash Lal, Thomas Reps
Formal Methods in System Design (FMSD) | January 2009
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
FMCAD | July 2020
Best paper award
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
FMCAD | July 2020
Ankush Das, Akash Lal
Automated Technology for Verification and Analysis (ATVA) | July 2017
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
Automated Software Engineering (ASE) | September 2016
ACM SIGSOFT Distinguished Paper Award
Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
Computer Aided Verification (CAV) | July 2015
Akash Lal, Shaz Qadeer
Programming Language Design and Implementation (PLDI) | June 2015
Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
Akash Lal, Shaz Qadeer
Foundations of Software Engineering (FSE) | November 2014
ACM SIGSOFT Distinguished Paper
Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | October 2014
Best Paper Award
Akash Lal, Shaz Qadeer
7th International workshop on Reachability Problems (Invited Paper) | September 2013
Michael Emmi, Akash Lal
Static Analysis Symposium (SAS) | September 2012
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
Computer-Aided Verification (CAV) | July 2012
Computer-Aided Verification (CAV)
Saurabh Joshi, Shuvendu Lahiri, Akash Lal
Principles of Programming Languages (POPL) 2012 | January 2012
Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | January 2011
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
Computer Aided Verification (CAV '09) | February 2009
Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
MSR-TR-2016-15 | April 2016
Akash Lal, Shaz Qadeer, Shuvendu Lahiri
MSR-TR-2012-9 | January 2012
Michael Emmi, Akash Lal, Shaz Qadeer
MSR-TR-2012-1 | January 2012
Akash Lal, Thomas Reps
Formal Methods in System Design (FMSD) | January 2009
Senior Principal Researcher
Senior Principal Researcher
