Pantazis Deligiannis

Principal Research Software Engineer

论文与出版物

查看方式：

- 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
  
  Publication 项目
- Building Reliable Cloud Services Using Coyote Actors
  
  Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
  
  SoCC | November 2021
  
  Publication 项目
- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication 视频项目项目
- Studying Ransomware Attacks Using Web Search Logs
  
  Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao
  
  SIGIR 2020 | July 2020
  
  Publication
- Building Reliable Cloud Services Using P# (Experience Report)
  
  Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
  
  2002.04903 | February 2020
  
  作者：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 项目项目
- 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
  
  作者：Microsoft
  
  Publication 项目

- 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
  
  Publication 项目
- Building Reliable Cloud Services Using Coyote Actors
  
  Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
  
  SoCC | November 2021
  
  Publication 项目
- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication 视频项目项目
- Building Reliable Cloud Services Using P# (Experience Report)
  
  Pantazis Deligiannis, Nar Ganapathy, Akash Lal, Shaz Qadeer
  
  2002.04903 | February 2020
  
  作者：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 项目项目
- 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
  
  作者：Microsoft
  
  Publication 项目
- Studying Ransomware Attacks Using Web Search Logs
  
  Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao
  
  SIGIR 2020 | July 2020
  
  Publication

- 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
  
  Publication 项目
- Building Reliable Cloud Services Using Coyote Actors
  
  Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer
  
  SoCC | November 2021
  
  Publication 项目
- Learning-based Controlled Concurrency Testing
  
  Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal
  
  OOPSLA | October 2020
  
  Distinguished Artifact Award
  
  Publication 视频项目项目
- Studying Ransomware Attacks Using Web Search Logs
  
  Chetan Bansal, Pantazis Deligiannis, Chandra Maddila, Nikitha Rao
  
  SIGIR 2020 | July 2020
  
  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 项目项目
- 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
  
  作者：arXiv
  
  Publication 项目
- 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
  
  作者：Microsoft
  
  Publication 项目

Pantazis Deligiannis

论文与出版物

Nekara: Generalized Concurrency Testing

Building Reliable Cloud Services Using Coyote Actors

Learning-based Controlled Concurrency Testing

Studying Ransomware Attacks Using Web Search Logs

Building Reliable Cloud Services Using P# (Experience Report)

Reliable State Machines: A Framework for Programming Reliable Cloud Services

Lasso Detection using Partial-State Caching

Lasso Detection using Partial-State Caching

Project Snowflake: Non-blocking safe manual memory management in .NET

Nekara: Generalized Concurrency Testing

Building Reliable Cloud Services Using Coyote Actors

Learning-based Controlled Concurrency Testing

Building Reliable Cloud Services Using P# (Experience Report)

Reliable State Machines: A Framework for Programming Reliable Cloud Services

Lasso Detection using Partial-State Caching

Lasso Detection using Partial-State Caching

Project Snowflake: Non-blocking safe manual memory management in .NET

Studying Ransomware Attacks Using Web Search Logs

Nekara: Generalized Concurrency Testing

Building Reliable Cloud Services Using Coyote Actors

Learning-based Controlled Concurrency Testing

Studying Ransomware Attacks Using Web Search Logs

Reliable State Machines: A Framework for Programming Reliable Cloud Services

Lasso Detection using Partial-State Caching

Building Reliable Cloud Services Using P# (Experience Report)

Lasso Detection using Partial-State Caching

Project Snowflake: Non-blocking safe manual memory management in .NET

联系 Pantazis Deligiannis

Microsoft Research Lab – India