Statistics
Publications
8
Citations
570
H-Index
8
Active since
2012
Peter-Michael Osera is an author at Grinnell College specializing in computer science, computing, and programming languages.
Publications per year
2012–2019
8
8
Compiler Error Messages Considered Unhelpful
Brett A. Becker, Paul Denny, Raymond Pettit et al. · 2019 · 193 citations
Type-and-example-directed program synthesis
Peter-Michael Osera, Steve Zdancewic · 2015 · 185 citations · Full text
Example-directed synthesis: a type-theoretic interpretation
Jonathan Frankle, Peter-Michael Osera, David Walker et al. · 2016 · 74 citations
Type-and-example-directed program synthesis
Peter-Michael Osera, Steve Zdancewic · ACM SIGPLAN Notices · 2015 · 44 citations · Full text
Example-directed synthesis: a type-theoretic interpretation
Jonathan Frankle, Peter-Michael Osera, David Walker et al. · ACM SIGPLAN Notices · 2016 · 22 citations
1–5 of 8