Personal information

No personal information available

Activities

Employment (1)

Microsoft Research: Redmond, WA, US

Employment
Source: Self-asserted source
Pantazis Deligiannis

Education and qualifications (1)

Imperial College London: London, London, GB

2013 to 2017 | PhD (Computing)
Education
Source: Self-asserted source
Pantazis Deligiannis

Works (15)

Industrial-Strength Controlled Concurrency Testing for $$\textsc {C}{} \texttt {\#} $$ Programs with $$\textsc {Coyote} $$

2023 | Book chapter
Contributors: Pantazis Deligiannis; Aditya Senthilnathan; Fahad Nayyar; Chris Lovett; Akash Lal
Source: check_circle
Crossref

Building Reliable Cloud Services Using Coyote Actors

Proceedings of the ACM Symposium on Cloud Computing
2021-11 | Conference paper
Contributors: Pantazis Deligiannis; Narayanan Ganapathy; Akash Lal; Shaz Qadeer
Source: Self-asserted source
Pantazis Deligiannis

Nekara: Generalized Concurrency Testing

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: Self-asserted source
Pantazis Deligiannis

Learning-based controlled concurrency testing

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

Studying Ransomware Attacks Using Web Search Logs

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: Self-asserted source
Pantazis Deligiannis

Implementing and Evaluating Candidate-Based Invariant Generation

IEEE Transactions on Software Engineering
2018-07-01 | Journal article
Part of ISSN: 0098-5589
Part of ISSN: 1939-3520
Part of ISSN: 2326-3881
Contributors: Adam Betts; Nathan Chong; Pantazis Deligiannis; Alastair Donaldson; Jeroen Ketema
Source: Self-asserted source
Pantazis Deligiannis

Lasso detection using partial-state caching

2017 Formal Methods in Computer Aided Design (FMCAD)
2017-10 | Conference paper
Contributors: Rashmi Mudduluru; Pantazis Deligiannis; Ankush Desai; Akash Lal; Shaz Qadeer
Source: Self-asserted source
Pantazis Deligiannis

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

Proceedings of the ACM on Programming Languages
2017-10-12 | Journal article
Part of ISSN: 2475-1421
Contributors: Matthew Parkinson; Dimitrios Vytiniotis; Kapil Vaswani; Manuel Costa; Pantazis Deligiannis; Dylan McDermott; Aaron Blankstein; Jonathan Balkind
Source: Self-asserted source
Pantazis Deligiannis

Scalable techniques for analysing and testing asynchronous software systems

Imperial College London
2016-09 | Dissertation or Thesis
Contributors: Pantazis Deligiannis
Source: Self-asserted source
Pantazis Deligiannis

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2015-11 | Conference paper
Contributors: Pantazis Deligiannis; Alastair F. Donaldson; Zvonimir Rakamaric
Source: Self-asserted source
Pantazis Deligiannis

Asynchronous programming, analysis and testing with state machines

ACM SIGPLAN Notices
2015-08-07 | Journal article
Part of ISSN: 0362-1340
Part of ISSN: 1558-1160
Contributors: Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema; Akash Lal; Paul Thomson
Source: Self-asserted source
Pantazis Deligiannis

Automatic Verification of Data Race Freedom in Device Drivers

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
2014 | Journal article
Contributors: Pantazis Deligiannis; Alastair F. Donaldson
Source: Self-asserted source
Pantazis Deligiannis

Engineering a Static Verification Tool for GPU Kernels

Computer Aided Verification
2014 | Book chapter
Part of ISBN: 9783319088662
Part of ISBN: 9783319088679
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Contributors: Ethel Bardsley; Adam Betts; Nathan Chong; Peter Collingbourne; Pantazis Deligiannis; Alastair F. Donaldson; Jeroen Ketema; Daniel Liew; Shaz Qadeer
Source: Self-asserted source
Pantazis Deligiannis

Haskell vs. f# vs. scala

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: Self-asserted source
Pantazis Deligiannis

Improving the diagnosis of mild hypertrophic cardiomyopathy with MapReduce

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: Self-asserted source
Pantazis Deligiannis