Pantazis Deligiannis
Pantazis Deligiannis
Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal
Título
Citado por
Citado por
Año
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
432015
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
322014
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
312016
Fast and precise symbolic analysis of concurrency bugs in device drivers
P Deligiannis, AF Donaldson, Z Rakamaric
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
312015
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
252013
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
122017
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
102012
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
102012
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
82017
Studying Ransomware Attacks Using Web Search Logs
C Bansal, P Deligiannis, C Maddila, N Rao
arXiv preprint arXiv:2005.00517, 2020
42020
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, 2018
42018
Automatic verification of data race freedom in device drivers
P Deligiannis, AF Donaldson
2014 Imperial College Computing Student Workshop, 2014
22014
Building Reliable Cloud Services Using P#(Experience Report)
P Deligiannis, N Ganapathy, A Lal, S Qadeer
arXiv preprint arXiv:2002.04903, 2020
12020
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
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
2019
Reliable State Machines: A Framework for Programming Reliable Cloud Services
S Mukherjee, NJ Raj, K Govindraj, P Deligiannis, C Ravichandran, A Lal, ...
Proceedings of the 33rd European Conference on Object-Oriented Programming …, 2019
2019
Scalable techniques for analysing and testing asynchronous software systems
P Deligiannis
Imperial College London, 2016
2016
Implementation of Internet educational environments for swimming training in patients with chronic diseases
P Deligiannis, D Mameletzi, N Koutlianos, A Samara, S Alexiou
Sport-und Präventivmedizin, 2012
2012
Safe Event-Driven Programming: Methodology, Language, and Tools
P Deligiannis, A Desai, A Lal, S Qadeer
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19