Peter-Michael Osera
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
7
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGCSE | What do you Mean by 'Learn how to use AI!?'. | Peter-Michael Osera, William Lloyd Rebelsky |
| 2023 | SIGCSE | Snowflake: Supporting Programming and Proofs. | Oluwatobi Alabi, Anh Vu, Peter-Michael Osera |
| 2023 | SIGCSE | The Purpose of Proof. | Bruce W. Char, Peter-Michael Osera, David G. Wonnacott |
| 2023 | SIGCSE | Notional Machine in Mathematics and Introductory Computer Science Courses. | Eamon Worden, Olivia Song, Peter-Michael Osera |
| 2021 | DNA | Reactamole: Functional Reactive Molecular Programming. | Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers |
| 2020 | SIGCSE | What Mathematics Should be Required of Computer Science Majors? | James R. Matthews, John P. Dougherty, Peter-Michael Osera |
| 2019 | ICFP | Constraint-based type-directed program synthesis. | Peter-Michael Osera |
| 2019 | ITiCSE | Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research. | Brett A. Becker, Paul Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera, Janice L. Pearce, James Prather |
| 2019 | ITiCSE | Unexpected Tokens: A Review of Programming Error Messages and Design Guidelines for the Future. | Brett A. Becker, Paul Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera, Janice L. Pearce, James Prather |
| 2019 | SIGCSE | Modernizing the Mathematics Taught in Computer Science. | Barbara M. Anthony, Mia Minnes, David Liben-Nowell, Peter-Michael Osera |
| 2017 | SIGCSE | ORC | Jianting Chen, Medha Gopalaswamy, Prabir Pradhan, Sooji Son, Peter-Michael Osera |
| 2016 | ICFP | Programming assistance for type-directed programming (extended abstract). | Peter-Michael Osera |
| 2016 | POPL | Example-directed synthesis: a type-theoretic interpretation. | Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic |
| 2016 | SIGCSE | Mentoring Student Teaching Assistants for Computer Science (Abstract Only). | Charles Garrod, Jeffrey Forbes, Colleen M. Lewis, Peter-Michael Osera |
| 2016 | SIGCSE | Uncommon Teaching Languages. | Mark C. Lewis, Douglas Blank, Kim Bruce, Peter-Michael Osera |
| 2015 | PLDI | Type-and-example-directed program synthesis. | Peter-Michael Osera, Steve Zdancewic |
| 2015 | SIGCSE | Nifty Assignments. | Nick Parlante, Julie Zelenski, Peter-Michael Osera, Marty Stepp, Mark Sherriff, Luther A. Tychonievich, Ryan Layer, Suzanne J. Matthews, Allison Obourn, David R. Raymond, Josh Hug, Stuart Reges |
| 2014 | SIGCSE | Making induction meaningful, recursively (abstract only). | Peter-Michael Osera, Brent A. Yorgey |
| 2013 | OOPSLA | Ironclad C++: a library-augmented type-safe subset of c++. | Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic |