Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Coyote
Publications
Publications
Publications by Year
-
-
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
-
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
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
-
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
Publications by Research Area
-
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
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
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
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
Publications by Type
-
Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote
Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal
TACAS | April 2023
EASST Best Software Science Paper
Nekara: Generalized Concurrency Testing
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew J. Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao
2021 Automated Software Engineering | November 2021
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, Akash Lal
OOPSLA | November 2021
ACM Distinguished Paper Award
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
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
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
-
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017