Deligiannis, Pantazis

1. Finding Inductive Loop Invariants using Large Language Models
   2023/11/14 by Kamath, Adharsh, Senthilnathan, Aditya, Chakraborty, Saikat +6 · 7 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL)
2. Fixing Rust Compilation Errors using LLMs
   2023/08/09 by Pantazis Deligiannis, Deligiannis, Pantazis, Akash Lal +5 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
3. Reliable State Machines: A Framework for Programming Reliable Cloud Services
   2019/02/25 by Mukherjee, Suvam, Raj, Nitin John, Govindraj, Krishnan +5 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)
4. Building Reliable Cloud Services Using P# (Experience Report)
   2020/02/12 by Pantazis Deligiannis, Narayanan Ganapathy, Deligiannis, Pantazis +5 · 1 voice
   Computer Science · #cs.PL