Pantazis Deligiannis

Pantazis Deligiannis

Microsoft Research - - / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4891390
person_outline Pantazis Deligiannis's MOST POPULAR ARTICLES
1-) Asynchronous programming, analysis and testing with state machinesP Deligiannis, AF Donaldson, J Ketema, A Lal, P ThomsonProceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015522015
2-) 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, 2016402016
3-) Fast and precise symbolic analysis of concurrency bugs in device drivers (t)P Deligiannis, AF Donaldson, Z Rakamaric2015 30th IEEE/ACM International Conference on Automated Software …, 2015432015
4-) Engineering a static verification tool for GPU kernelsE Bardsley, A Betts, N Chong, P Collingbourne, P Deligiannis, ...Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014422014
5-) A survey of high-level parallel programming modelsE Belikov, P Deligiannis, P Totoo, M Aljabri, HW LoidlHeriot-Watt University, Edinburgh, UK 1 (2), 2.2, 2013412013