Pantazis Deligiannis

According to our database, Pantazis Deligiannis authored at least 19 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Finding Inductive Loop Invariants using Large Language Models.

Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

CoRR, 2023

Fixing Rust Compilation Errors using LLMs.

Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Aseem Rastogi

CoRR, 2023

Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote.

Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021

Nekara: Generalized Concurrency Testing.

Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Building Reliable Cloud Services Using Coyote Actors.

Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer

Proceedings of the SoCC '21: ACM Symposium on Cloud Computing, 2021

2020

Learning-based controlled concurrency testing.

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

Proc. ACM Program. Lang., 2020

Building Reliable Cloud Services Using P# (Experience Report).

Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer

CoRR, 2020

Studying Ransomware Attacks Using Web Search Logs.

Chetan Bansal, Pantazis Deligiannis, Chandra Shekhar Maddila, Nikitha Rao

Proceedings of the 43rd International ACM SIGIR conference on research and development in Information Retrieval, 2020

2019

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

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Implementing and Evaluating Candidate-Based Invariant Generation.

Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema

IEEE Trans. Software Eng., 2018

2017

Project snowflake: non-blocking safe manual memory management in .NET.

Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind

Proc. ACM Program. Lang., 2017

Lasso detection using partial-state caching.

Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Scalable techniques for analysing and testing asynchronous software systems.

Pantazis Deligiannis

PhD thesis, 2016

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

Proceedings of the 14th USENIX Conference on File and Storage Technologies, 2016

2015

Asynchronous programming, analysis and testing with state machines.

Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T).

Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Automatic Verification of Data Race Freedom in Device Drivers.

Pantazis Deligiannis, Alastair F. Donaldson

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Engineering a Static Verification Tool for GPU Kernels.

Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2012

Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison.

Prabhat Totoo, Pantazis Deligiannis, Hans-Wolfgang Loidl

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012