BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
S.Zdancewic Jonathan Frankle D.Walker C.DeLozier R.A.Eisenberg S.Nagarakatte M.M.K.Martin
Talks about:
type (3) synthesi (2) exampl (2) direct (2) interpret (1) ironclad (1) theoret (1) program (1) librari (1) augment (1)

Person: Peter-Michael Osera

DBLP DBLP: Osera:Peter=Michael

Contributed to:

PLDI 20152015
OOPSLA 20132013
POPL 20162016

Wrote 3 papers:

PLDI-2015-OseraZ #synthesis
Type-and-example-directed program synthesis (PMO, SZ), pp. 619–630.
OOPSLA-2013-DeLozierENOMZ #c++ #set #type safety
Ironclad C++: a library-augmented type-safe subset of c++ (CD, RAE, SN, PMO, MMKM, SZ), pp. 287–304.
POPL-2016-FrankleOWZ #synthesis
Example-directed synthesis: a type-theoretic interpretation (JF, PMO, DW, SZ), pp. 802–815.

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.