Peter-Michael Osera

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 17

Top Topics

Chemical Reaction

Computer Science

Program Synthesis

Top Venues

Publications

James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater
Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. Allerton (2023)
Eamon Worden, Olivia Song, Peter-Michael Osera
Notional Machine in Mathematics and Introductory Computer Science Courses. SIGCSE (2) (2023)
Bruce W. Char, Peter-Michael Osera, David G. Wonnacott
The Purpose of Proof. SIGCSE (2) (2023)
Oluwatobi Alabi, Anh Vu, Peter-Michael Osera
Snowflake: Supporting Programming and Proofs. SIGCSE (2) (2023)
Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers
Reactamole: Functional Reactive Molecular Programming. DNA (2021)
James R. Matthews, John P. Dougherty, Peter-Michael Osera
What Mathematics Should be Required of Computer Science Majors? SIGCSE (2020)
Barbara M. Anthony, Mia Minnes, David Liben-Nowell, Peter-Michael Osera
Modernizing the Mathematics Taught in Computer Science. SIGCSE (2019)
David G. Wonnacott, Peter-Michael Osera
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math. CoRR (2019)
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
Unexpected Tokens: A Review of Programming Error Messages and Design Guidelines for the Future. ITiCSE (2019)
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
Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research. ITiCSE (Working Group Reports) (2019)
Peter-Michael Osera
Constraint-based type-directed program synthesis. TyDe@ICFP (2019)
Peter-Michael Osera
Constraint-Based Type-Directed Program Synthesis. CoRR (2019)
Jianting Chen, Medha Gopalaswamy, Prabir Pradhan, Sooji Son, Peter-Michael Osera
A: A Proof Assistant for Undergraduate Education. SIGCSE (2017)
Peter-Michael Osera
Programming assistance for type-directed programming (extended abstract). TyDe@ICFP (2016)
Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic
Example-directed synthesis: a type-theoretic interpretation. POPL (2016)
Mark C. Lewis, Douglas Blank, Kim Bruce, Peter-Michael Osera
Uncommon Teaching Languages. SIGCSE (2016)
Charles Garrod, Jeffrey Forbes, Colleen M. Lewis, Peter-Michael Osera
Mentoring Student Teaching Assistants for Computer Science (Abstract Only). SIGCSE (2016)
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
Nifty Assignments. SIGCSE (2015)
Peter-Michael Osera, Steve Zdancewic
Type-and-example-directed program synthesis. PLDI (2015)
Peter-Michael Osera, Brent A. Yorgey
Making induction meaningful, recursively (abstract only). SIGCSE (2014)
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA (2013)
Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic
Dependent interoperability. PLPV (2012)