| Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015 | 254 | 2015 |
| Example-directed synthesis: a type-theoretic interpretation J Frankle, PM Osera, D Walker, S Zdancewic ACM Sigplan Notices 51 (1), 802-815, 2016 | 125 | 2016 |
| 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 | 99 | 2019 |
| 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 | 29 | 2012 |
| 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 | 23 | 2013 |
| 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 | 14 | 2019 |
| Constraint-based type-directed program synthesis PM Osera Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven …, 2019 | 11 | 2019 |
| Teaching induction with functional programming and a proof assistant PM Osera, S Zdancewic SPLASH Educators Symposium (SPLASH-E), 2013 | 8 | 2013 |
| 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 | 7 | 2015 |
| Uncommon teaching languages MC Lewis, D Blank, K Bruce, PM Osera Proceedings of the 47th ACM Technical Symposium on Computing Science …, 2016 | 6 | 2016 |
| Program synthesis with types PM Osera University of Pennsylvania, 2015 | 6 | 2015 |
| Core Ironclad PM Osera, RA Eisenberg, C DeLozier, S Nagarakatte, MMK Martin, ... | 4 | 2013 |
| Making induction meaningful, recursively PM Osera, B Yorgey Proceedings of the 45th ACM technical symposium on Computer science …, 2014 | 3 | 2014 |
| Judgment of code style N Close, A Hawkins, S Sureshkumar, PM Osera, L Ungar, S Zdancewic Senior Design Project. University of Pennsylvania, 2014 | 3 | 2014 |
| 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 | 2 | 2017 |
| 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 | 2 | 2016 |
| Reactamole: Functional Reactive Molecular Programming TH Klinge, JI Lathrop, PM Osera, A Rogers 27th International Conference on DNA Computing and Molecular Programming …, 2021 | 1 | 2021 |
| 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 | 1 | 2019 |
| A blocks-based language for program correctness proofs PM Osera, DG Wonnacott 2017 IEEE Blocks and Beyond Workshop (B&B), 49-52, 2017 | 1 | 2017 |
