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
Pantazis Deligiannis
Principal Research Software Engineer
Publications
Publications by Year
-
Building Reliable Cloud Services Using Coyote Actors
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
SoCC | November 2021
-
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
Studying Ransomware Attacks Using Web Search Logs
Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao
SIGIR 2020 | July 2020
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by 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
Project Snowflake: Non-blocking safe manual memory management in .NET
Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, Dylan McDermott, Jonathan Balkind
MSR-TR-2017-32 | July 2017
Published by Microsoft
Publications by Research Area
-
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
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
Published by 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
Project Snowflake: Non-blocking safe manual memory management in .NET
Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, Dylan McDermott, Jonathan Balkind
MSR-TR-2017-32 | July 2017
Published by Microsoft
-
Studying Ransomware Attacks Using Web Search Logs
Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao
SIGIR 2020 | July 2020
Publications by Type
-
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
Learning-based Controlled Concurrency Testing
Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
OOPSLA | October 2020
Distinguished Artifact Award
Studying Ransomware Attacks Using Web Search Logs
Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao
SIGIR 2020 | July 2020
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
-
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
2002.04903 | February 2020
Published by arXiv
Lasso Detection using Partial-State Caching
Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer
MSR-TR-2017-37 | July 2017
Project Snowflake: Non-blocking safe manual memory management in .NET
Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, Dylan McDermott, Jonathan Balkind
MSR-TR-2017-32 | July 2017
Published by Microsoft