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
3122015
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
2152019
Example-directed synthesis: a type-theoretic interpretation
J Frankle, PM Osera, D Walker, S Zdancewic
ACM Sigplan Notices 51 (1), 802-815, 2016
1472016
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
65*2017
Dependent interoperability
PM Osera, V Sjöberg, S Zdancewic
Proceedings of the sixth workshop on Programming languages meets program …, 2012
312012
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
282013
Constraint-based type-directed program synthesis
PM Osera
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven …, 2019
192019
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
162019
Uncommon teaching languages
MC Lewis, D Blank, K Bruce, PM Osera
Proceedings of the 47th ACM Technical Symposium on Computing Science …, 2016
102016
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
Program synthesis with types
PM Osera
University of Pennsylvania, 2015
72015
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
52017
Core Ironclad
PM Osera, RA Eisenberg, C DeLozier, S Nagarakatte, MMK Martin, ...
42013
A bridge anchored on both sides: formal deduction in introductory CS, and code proofs in discrete math
DG Wonnacott, PM Osera
arXiv preprint arXiv:1907.04134, 2019
32019
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
Reactamole: functional reactive molecular programming
TH Klinge, JI Lathrop, PM Osera, A Rogers
Natural Computing, 1-19, 2024
22024
Snowflake: supporting programming and proofs
O Alabi, A Vu, PM Osera
Proceedings of the 54th ACM Technical Symposium on Computer Science …, 2022
22022
Programming assistance for type-directed programming
PM Osera
Proceedings of the 1st International Workshop on Type-Driven Development, 56-57, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20