BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
D.Kroening P.Schrammel B.Wachter
Talks about:
deadlock (1) pthread (1) analysi (1) static (1) sound (1)

Person: Daniel Poetzl

DBLP DBLP: Poetzl:Daniel

Contributed to:

ASE 20162016

Wrote 1 papers:

ASE-2016-KroeningPSW #analysis #concurrent #thread
Sound static deadlock analysis for C/Pthreads (DK, DP, PS, BW), pp. 379–390.

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.