| 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 | 44 | 2015 |
| 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 | 32 | 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 | 32 | 2014 |
| 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 | 31 | 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 | 25 | 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 | 12 | 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 | 10 | 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 | 10 | 2012 |
| 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 | 8 | 2017 |
| Studying Ransomware Attacks Using Web Search Logs C Bansal, P Deligiannis, C Maddila, N Rao arXiv preprint arXiv:2005.00517, 2020 | 4 | 2020 |
| 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 | 4 | 2018 |
| Automatic verification of data race freedom in device drivers P Deligiannis, AF Donaldson 2014 Imperial College Computing Student Workshop, 2014 | 2 | 2014 |
| Building Reliable Cloud Services Using P# (Experience Report) P Deligiannis, N Ganapathy, A Lal, S Qadeer arXiv preprint arXiv:2002.04903, 2020 | 1 | 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 | | 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 |
| Safe Event-Driven Programming: Methodology, Language, and Tools P Deligiannis, A Desai, A Lal, S Qadeer | | |
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
