BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Deligiannis:Pantazis

Contributed to:

PLDI 20152015
CAV 20142014
ASE 20152015
OOPSLA 20172017
ECOOP 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.