Seguir
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
602015
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
482016
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
462015
Engineering a static verification tool for GPU kernels
E Bardsley, A Betts, N Chong, P Collingbourne, P Deligiannis, ...
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
402014
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
402013
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
212020
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
202017
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
172020
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
172012
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
132017
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
132012
Fixing Rust Compilation Errors using LLMs
P Deligiannis, A Lal, N Mehrotra, A Rastogi
arXiv preprint arXiv:2308.05177, 2023
112023
Finding Inductive Loop Invariants using Large Language Models
A Kamath, A Senthilnathan, S Chakraborty, P Deligiannis, SK Lahiri, A Lal, ...
arXiv preprint arXiv:2311.07948, 2023
72023
Nekara: Generalized Concurrency Testing
U Agarwal, P Deligiannis, C Huang, K Jung, A Lal, I Naseer, M Parkinson, ...
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
52021
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
52017
Industrial-Strength Controlled Concurrency Testing for C# Programs with COYOTE
P Deligiannis, A Senthilnathan, F Nayyar, C Lovett, A Lal
International Conference on Tools and Algorithms for the Construction and …, 2023
42023
Building Reliable Cloud Services Using Coyote Actors
P Deligiannis, N Ganapathy, A Lal, S Qadeer
Proceedings of the ACM Symposium on Cloud Computing, 108-121, 2021
42021
Building Reliable Cloud Services Using P#(Experience Report)
P Deligiannis, N Ganapathy, A Lal, S Qadeer
arXiv preprint arXiv:2002.04903, 2020
32020
Automatic verification of data race freedom in device drivers
P Deligiannis, AF Donaldson
2014 Imperial College Computing Student Workshop, 2014
22014
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
12019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20