| 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 | 59 | 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 | 47 | 2016 |
| 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 | 46 | 2015 |
| 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 | 40 | 2014 |
| 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 | 40 | 2013 |
| 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 | 22 | 2020 |
| 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 | 21 | 2017 |
| 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 | 18 | 2012 |
| 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 | 17 | 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 | 13 | 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 | 13 | 2012 |
| Fixing Rust Compilation Errors using LLMs P Deligiannis, A Lal, N Mehrotra, A Rastogi arXiv preprint arXiv:2308.05177, 2023 | 12 | 2023 |
| 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 | 10 | 2023 |
| 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 | 5 | 2023 |
| 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 | 5 | 2021 |
| 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 | 5 | 2017 |
| 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 | 4 | 2021 |
| Building Reliable Cloud Services Using P#(Experience Report) P Deligiannis, N Ganapathy, A Lal, S Qadeer arXiv preprint arXiv:2002.04903, 2020 | 3 | 2020 |
| Automatic verification of data race freedom in device drivers P Deligiannis, AF Donaldson 2014 Imperial College Computing Student Workshop, 2014 | 2 | 2014 |
| 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 | 1 | 2019 |
Akash LalMicrosoft Research, India在 microsoft.com 的电子邮件经过验证
