Pantazis Deligiannis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code. | Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi |
| 2024 | FMCAD | Leveraging LLMs for Program Verification. | Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma |
| 2023 | TACAS | Industrial-Strength Controlled Concurrency Testing for sc C tt # Programs with sc Coyote. | Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett, Akash Lal |
| 2021 | CLOUD | Building Reliable Cloud Services Using Coyote Actors. | Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal, Shaz Qadeer |
| 2020 | SIGIR | Studying Ransomware Attacks Using Web Search Logs. | Chetan Bansal, Pantazis Deligiannis, Chandra Shekhar Maddila, Nikitha Rao |
| 2019 | ECOOP | 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 |
| 2017 | FMCAD | Lasso detection using partial-state caching. | Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer |
| 2016 | FAST | 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 |
| 2015 | PLDI | Asynchronous programming, analysis and testing with state machines. | Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
| 2014 | CAV | 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 |
| 2012 | ICFP | Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison. | Prabhat Totoo, Pantazis Deligiannis, Hans-Wolfgang Loidl |