Travelled to:1 × Austria
1 × USA
Collaborated with:A.F.Donaldson Z.Rakamaric A.Lal J.Ketema P.Thomson M.J.Parkinson D.Vytiniotis K.Vaswani M.Costa D.McDermott Aaron Blankstein Jonathan Balkind Suvam Mukherjee Nitin John Raj Krishnan Govindraj Chandramouleswaran Ravichandran A.Rastogi Raja Krishnaswamy E.Bardsley A.Betts N.Chong P.Collingbourne D.Liew S.Qadeer
Talks about:reliabl (2) program (2) analysi (2) machin (2) state (2) framework (1) asynchron (1) snowflak (1) project (1) concurr (1)
Person: Pantazis Deligiannis
DBLP: Deligiannis:Pantazis
Contributed to:
2015
2014
2015
2017
2019Wrote 5 papers:
- PLDI-2015-DeligiannisDKLT #analysis #programming #state machine #testing
- Asynchronous programming, analysis and testing with state machines (PD, AFD, JK, AL, PT), pp. 154–164.
- CAV-2014-BardsleyBCCDDKLQ #gpu #kernel #verification
- Engineering a Static Verification Tool for GPU Kernels (EB, AB, NC, PC, PD, AFD, JK, DL, SQ), pp. 226–242.
- ASE-2015-DeligiannisDR #analysis #concurrent #debugging #performance #precise
- Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T) (PD, AFD, ZR), pp. 166–177.
- OOPSLA-2017-ParkinsonVVCDMB #dot-net #memory management
- Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.
- ECOOP-2019-MukherjeeRGDRLR #framework #programming #reliability #state machine
- Reliable State Machines: A Framework for Programming Reliable Cloud Services (SM, NJR, KG, PD, CR, AL, AR, RK), p. 29.