BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × USA
1 × United Kingdom
Collaborated with:
X.Qiu P.Madhusudan R.Bruttomesso N.Sharygina A.Tsitovich H.Mai H.Xue S.T.King P.Madhusudan
Talks about:
structur (1) manipul (1) express (1) verifi (1) solver (1) invari (1) separ (1) secur (1) proof (1) natur (1)

Person: Edgar Pek

DBLP DBLP: Pek:Edgar

Contributed to:

PLDI 20142014
ASPLOS 20132013
TACAS 20102010

Wrote 3 papers:

PLDI-2014-PekQM #c #data type #logic #proving #using
Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.
ASPLOS-2013-MaiPXKM #invariant #security #verification
Verifying security invariants in ExpressOS (HM, EP, HX, STK, PM), pp. 293–304.
TACAS-2010-BruttomessoPST
The OpenSMT Solver (RB, EP, NS, AT), pp. 150–153.

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.