Safe Asynchronous Programming with P and P#

Established: April 21, 2014

Publications

View by:

- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication Video Project
- Building Reliable Cloud Services Using P# (Experience Report)
  
  Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
  
  2002.04903 | February 2020
  
  Published by arXiv
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication
- Lasso Detection using Partial-State Caching
  
  Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
  
  MSR-TR-2017-37 | July 2017
  
  Publication Project
- 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
  
  Publication Project
- Systematic Testing of Asynchronous Reactive Systems
  
  Ankush Desai, Shaz Qadeer, Sanjit Seshia
  
  July 2015
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication

- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication Video Project
- Building Reliable Cloud Services Using P# (Experience Report)
  
  Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
  
  2002.04903 | February 2020
  
  Published by arXiv
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication
- Lasso Detection using Partial-State Caching
  
  Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
  
  MSR-TR-2017-37 | July 2017
  
  Publication Project
- 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
  
  Publication Project
- Systematic Testing of Asynchronous Reactive Systems
  
  Ankush Desai, Shaz Qadeer, Sanjit Seshia
  
  July 2015
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication

- Building Reliable Cloud Services Using P# (Experience Report)
  
  Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
  
  2002.04903 | February 2020
  
  Published by arXiv
  
  Publication
- Lasso Detection using Partial-State Caching
  
  Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
  
  MSR-TR-2017-37 | July 2017
  
  Publication Project
- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication Video Project
- 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
  
  Publication Project
- 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
  
  Publication
- 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
  
  Publication Project
- Systematic Testing of Asynchronous Reactive Systems
  
  Ankush Desai, Shaz Qadeer, Sanjit Seshia
  
  July 2015
  
  Publication
- 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
  
  Publication Project
- 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
  
  Publication

People

Pantazis Deligiannis

Principal Research Software Engineer

Learn more

Akash Lal

Partner Researcher

Learn more

Ajay Manchepalli

Principal Research Program Manager

Learn more

Suvam Mukherjee

Software Engineer

Learn more