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
2302015
Example-directed synthesis: a type-theoretic interpretation
J Frankle, PM Osera, D Walker, S Zdancewic
ACM Sigplan Notices 51 (1), 802-815, 2016
1052016
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
682019
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
49*2017
Dependent interoperability
PM Osera, V Sjöberg, S Zdancewic
Proceedings of the sixth workshop on Programming languages meets program …, 2012
282012
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
212013
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
82013
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
72015
Uncommon teaching languages
MC Lewis, D Blank, K Bruce, PM Osera
Proceedings of the 47th ACM Technical Symposium on Computing Science …, 2016
62016
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
Mentoring student teaching assistants for computer science
C Garrod, J Forbes, C Lewis, PM Osera
Proceedings of the 47th ACM Technical Symposium on Computing Science …, 2016
12016
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
The system can't perform the operation now. Try again later.
Articles 1–20