Pantazis‘s research involves designing and developing novel tools and techniques for programming, analysing and testing complex asynchronous software, ranging from device drivers to distributed systems.
Pantazis is currently working on two projects for his PhD: P#, a new event-driven asynchronous programming language that is co-designed with static data race analysis and systematic testing; and Whoop, a fully automated tool that statically analyses Linux device drivers for data races, and then exploits race-freedom guarantees to accelerate bug-finding.
His industry work experience includes internships at Microsoft Research and Codeplay. Pantazis’s research is generously funded by a gift from a href="http://www.intel.com/content/www/us/en/homepage.html" target="blank"Intel.
Pantazis’s research interests include automatic analysis for detecting data races in concurrent Linux device drivers, and the P# language for reliable asynchronous programming.
Group Publications
-
Implementing and Evaluating Candidate-Based Invariant Generation
Adam Betts, Nathan Chong, Alastair F. Donaldson, Pantazis Deligiannis, Jeroen Ketema
IEEE Transactions on Software Engineering
-
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
14th USENIX Conference on File and Storage Technologies (FAST'16)
-
Implementing and Evaluating Candidate-Based Invariant Generation
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
CoRR
-
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Pantazis Deligiannis, Alastair F. Donaldson, Zvonimir Rakamaric
30th IEEE/ACM International Conference on Automated Software Engineering (ASE'15)
-
Asynchronous Programming, Analysis and Testing with State Machines
Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
36th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15)
-
Automatic Verification of Data Race Freedom in Device Drivers
Pantazis Deligiannis, Alastair F. Donaldson
2014 Imperial College Computing Student Workshop (ICCSW'14)
-
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
26th International Conference on Computer Aided Verification (CAV'14)