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: Osera:Peter=Michael
Contributed to:
2015
2013
2016Wrote 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.