Pantazis Deligiannis
Pantazis Deligiannis
Microsoft Research
Verified email at - Homepage
Cited by
Cited by
Asynchronous programming, analysis and testing with state machines
P Deligiannis, AF Donaldson, J Ketema, A Lal, P Thomson
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
Engineering a static verification tool for GPU kernels
E Bardsley, A Betts, N Chong, P Collingbourne, P Deligiannis, ...
International Conference on Computer Aided Verification, 226-242, 2014
Fast and precise symbolic analysis of concurrency bugs in device drivers (t)
P Deligiannis, AF Donaldson, Z Rakamaric
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
Uncovering bugs in distributed storage systems during testing (not in production!)
P Deligiannis, M McCutchen, P Thomson, S Chen, AF Donaldson, ...
14th {USENIX} Conference on File and Storage Technologies ({FAST} 16), 249-262, 2016
A survey of high-level parallel programming models
E Belikov, P Deligiannis, P Totoo, M Aljabri, HW Loidl
Heriot-Watt University, Edinburgh, UK 1 (2), 2.2, 2013
Project Snowflake: Non-blocking safe manual memory management in. NET
M Parkinson, D Vytiniotis, K Vaswani, M Costa, P Deligiannis, ...
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017
Haskell vs. F# vs. Scala: a high-level language features and parallelism support comparison
P Totoo, P Deligiannis, HW Loidl
Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-performance …, 2012
Improving the diagnosis of mild hypertrophic cardiomyopathy with mapreduce
P Deligiannis, HW Loidl, E Kouidi
Proceedings of third international workshop on MapReduce and its …, 2012
Studying ransomware attacks using web search logs
C Bansal, P Deligiannis, C Maddila, N Rao
Proceedings of the 43rd International ACM SIGIR Conference on Research and …, 2020
Lasso detection using partial-state caching
R Mudduluru, P Deligiannis, A Desai, A Lal, S Qadeer
2017 Formal Methods in Computer Aided Design (FMCAD), 84-91, 2017
Implementing and evaluating candidate-based invariant generation
A Betts, N Chong, P Deligiannis, AF Donaldson, J Ketema
IEEE Transactions on Software Engineering 44 (7), 631-650, 2017
Automatic verification of data race freedom in device drivers
P Deligiannis, AF Donaldson
2014 Imperial College Computing Student Workshop, 2014
Building Reliable Cloud Services Using P#(Experience Report)
P Deligiannis, N Ganapathy, A Lal, S Qadeer
arXiv preprint arXiv:2002.04903, 2020
Learning-based controlled concurrency testing
S Mukherjee, P Deligiannis, A Biswas, A Lal
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020
Reliable State Machines: A Framework for Programming Reliable Cloud Services
S Mukherjee, NJ Raj, K Govindraj, P Deligiannis, C Ravichandran, A Lal, ...
arXiv preprint arXiv:1902.09502, 2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services
RK Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis ...
Proceedings of the 33rd European Conference on Object-Oriented Programming …, 2019
Scalable techniques for analysing and testing asynchronous software systems
P Deligiannis
Imperial College London, 2016
Safe Event-Driven Programming: Methodology, Language, and Tools
P Deligiannis, A Desai, A Lal, S Qadeer
The system can't perform the operation now. Try again later.
Articles 1–18