Follow
Peter-Michael Osera
Title
Cited by
Cited by
Year
Type-and-example-directed program synthesis
PM Osera, S Zdancewic
ACM SIGPLAN Notices 50 (6), 619-630, 2015
2142015
Example-directed synthesis: a type-theoretic interpretation
J Frankle, PM Osera, D Walker, S Zdancewic
ACM Sigplan Notices 51 (1), 802-815, 2016
1042016
Compiler error messages considered unhelpful: The landscape of text-based programming error message research
BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ...
Proceedings of the working group reports on innovation and technology iná…, 2019
622019
Nifty assignments
N Parlante, J Zelenski, D Feinberg, K Mishra, J Hug, K Wayne, ...
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Scienceá…, 2017
47*2017
Dependent interoperability
PM Osera, V Sj÷berg, S Zdancewic
Proceedings of the sixth workshop on Programming languages meets programá…, 2012
272012
Ironclad C++ a library-augmented type-safe subset of c++
C DeLozier, R Eisenberg, S Nagarakatte, PM Osera, MMK Martin, ...
ACM SIGPLAN Notices 48 (10), 287-304, 2013
202013
Unexpected tokens: A review of programming error messages and design guidelines for the future
BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ...
Proceedings of the 2019 ACM Conference on Innovation and Technology iná…, 2019
112019
Constraint-based type-directed program synthesis
PM Osera
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Drivená…, 2019
102019
Teaching Induction with Functional Programming and a Proof Assistant
PM Osera, S Zdancewic
SPLASH Educators Symposium (SPLASH-E), 2013
72013
Uncommon teaching languages
MC Lewis, D Blank, K Bruce, PM Osera
Proceedings of the 47th ACM Technical Symposium on Computing Scienceá…, 2016
62016
Example-directed synthesis: A type-theoretic interpretation (extended version)
J Frankle, PM Osera, D Walker, S Zdancewic
Technical Report MS-CIS-15-12. University of Pennsylvania, 2015
62015
Program synthesis with types
PM Osera
University of Pennsylvania, 2015
62015
Core ironclad
PM Osera, RA Eisenberg, C DeLozier, S Nagarakatte, MMK Martin, ...
42013
Making induction meaningful, recursively
PM Osera, B Yorgey
Proceedings of the 45th ACM technical symposium on Computer scienceá…, 2014
32014
Judgment of code style
N Close, A Hawkins, S Sureshkumar, PM Osera, L Ungar, S Zdancewic
Senior Design Project. University of Pennsylvania, 2014
32014
A blocks-based language for program correctness proofs
PM Osera, DG Wonnacott
2017 IEEE Blocks and Beyond Workshop (B&B), 49-52, 2017
12017
ORC2A: A Proof Assistant for Undergraduate Education
J Chen, M Gopalaswamy, P Pradhan, S Son, PM Osera
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Scienceá…, 2017
12017
Safe, expressive language interoperability
PM Osera, S Zdancewic
Off-the Beaten Track (OBT), 2012
12012
Reactamole: Functional Reactive Molecular Programming
TH Klinge, JI Lathrop, PM Osera, A Rogers
27th International Conference on DNA Computing and Molecular Programmingá…, 2021
2021
What Mathematics Should be Required of Computer Science Majors?
JR Matthews, JP Dougherty, PM Osera
Proceedings of the 51st ACM Technical Symposium on Computer Scienceá…, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20