Personal information
No personal information available
Activities
Employment (1)
Employment
Source:
Pantazis Deligiannis
Education and qualifications (1)
2013
to
2017
|
PhD
(Computing)
Education
Source:
Pantazis Deligiannis
Works (15)
2023
|
Book chapter
Contributors:
Pantazis Deligiannis;
Aditya Senthilnathan;
Fahad Nayyar;
Chris Lovett;
Akash Lal
Source:
check_circle
Crossref
Proceedings of the ACM Symposium on Cloud Computing
2021-11
|
Conference paper
Contributors:
Pantazis Deligiannis;
Narayanan Ganapathy;
Akash Lal;
Shaz Qadeer
Source:
Pantazis Deligiannis
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2021-11
|
Conference paper
Contributors:
Udit Agarwal;
Pantazis Deligiannis;
Cheng Huang;
Kumseok Jung;
Akash Lal;
Immad Naseer;
Matthew Parkinson;
Arun Thangamani;
Jyothi Vedurada;
Yunpeng Xiao
Source:
Pantazis Deligiannis
Proceedings of the ACM on Programming Languages
2020-11-13
|
Journal article
Contributors:
Suvam Mukherjee;
Pantazis Deligiannis;
Arpita Biswas;
Akash Lal
Source:
check_circle
Crossref
Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval
2020-07-25
|
Conference paper
Contributors:
Chetan Bansal;
Pantazis Deligiannis;
Chandra Maddila;
Nikitha Rao
Source:
Pantazis Deligiannis
IEEE Transactions on Software Engineering
2018-07-01
|
Journal article
Contributors:
Adam Betts;
Nathan Chong;
Pantazis Deligiannis;
Alastair Donaldson;
Jeroen Ketema
Source:
Pantazis Deligiannis
2017 Formal Methods in Computer Aided Design (FMCAD)
2017-10
|
Conference paper
Contributors:
Rashmi Mudduluru;
Pantazis Deligiannis;
Ankush Desai;
Akash Lal;
Shaz Qadeer
Source:
Pantazis Deligiannis
Proceedings of the ACM on Programming Languages
2017-10-12
|
Journal article
Contributors:
Matthew Parkinson;
Dimitrios Vytiniotis;
Kapil Vaswani;
Manuel Costa;
Pantazis Deligiannis;
Dylan McDermott;
Aaron Blankstein;
Jonathan Balkind
Source:
Pantazis Deligiannis
Imperial College London
2016-09
|
Dissertation or Thesis
Contributors:
Pantazis Deligiannis
Source:
Pantazis Deligiannis
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2015-11
|
Conference paper
Contributors:
Pantazis Deligiannis;
Alastair F. Donaldson;
Zvonimir Rakamaric
Source:
Pantazis Deligiannis
ACM SIGPLAN Notices
2015-08-07
|
Journal article
Contributors:
Pantazis Deligiannis;
Alastair F. Donaldson;
Jeroen Ketema;
Akash Lal;
Paul Thomson
Source:
Pantazis Deligiannis
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2014
|
Journal article
Contributors:
Pantazis Deligiannis;
Alastair F. Donaldson
Source:
Pantazis Deligiannis
Computer Aided Verification
2014
|
Book chapter
Contributors:
Ethel Bardsley;
Adam Betts;
Nathan Chong;
Peter Collingbourne;
Pantazis Deligiannis;
Alastair F. Donaldson;
Jeroen Ketema;
Daniel Liew;
Shaz Qadeer
Source:
Pantazis Deligiannis
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
2012-09-15
|
Conference paper
Contributors:
Prabhat Totoo;
Pantazis Deligiannis;
Hans-Wolfgang Loidl
Source:
Pantazis Deligiannis
Proceedings of third international workshop on MapReduce and its Applications Date
2012-06-18
|
Conference paper
Contributors:
Pantazis Deligiannis;
Hans-Wolfgang Loidl;
Evangelia Kouidi
Source:
Pantazis Deligiannis