Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
出版物
-
-
-
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
arXiv による投稿
-
-
-
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
-
-
-
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | July 2017
-
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017
-
-
-
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
14th USENIX Conference on File and Storage Technologies (FAST) | February 2016
-
-
-
Systematic Testing of Asynchronous Reactive Systems
Ankush Desai, Shaz Qadeer, Sanjit Seshia
July 2015
-
Asynchronous Programming, Analysis and Testing with State Machines
Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema
Programming Language Design and Implementation (PLDI) | June 2015
-
-
-
P: Safe Asynchronous Event-Driven Programming
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
-
-
-
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
-
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
arXiv による投稿
-
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
-
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | July 2017
-
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017
-
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
14th USENIX Conference on File and Storage Technologies (FAST) | February 2016
-
Systematic Testing of Asynchronous Reactive Systems
Ankush Desai, Shaz Qadeer, Sanjit Seshia
July 2015
-
Asynchronous Programming, Analysis and Testing with State Machines
Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema
Programming Language Design and Implementation (PLDI) | June 2015
-
P: Safe Asynchronous Event-Driven Programming
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
-
-
-
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
arXiv による投稿
-
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017
-
-
-
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
-
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj , Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy
ECOOP 2019 | July 2019
-
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
Formal Methods in Computer-Aided Design (FMCAD) | July 2017
-
Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)
Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte
14th USENIX Conference on File and Storage Technologies (FAST) | February 2016
-
Systematic Testing of Asynchronous Reactive Systems
Ankush Desai, Shaz Qadeer, Sanjit Seshia
July 2015
-
Asynchronous Programming, Analysis and Testing with State Machines
Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema
Programming Language Design and Implementation (PLDI) | June 2015
-
P: Safe Asynchronous Event-Driven Programming
Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
Programming Languages Design and Implementation (PLDI) 2013 | June 2013
-
人数
Pantazis Deligiannis
Principal Research Software Engineer
Akash Lal
Partner Researcher
Ajay Manchepalli
Principal Research Program Manager
Suvam Mukherjee
Software Engineer