Peter-Michael Osera

According to our database, Peter-Michael Osera authored at least 21 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Notional Machine in Mathematics and Introductory Computer Science Courses.

Eamon Worden, Olivia Song, Peter-Michael Osera

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

The Purpose of Proof.

Bruce W. Char, Peter-Michael Osera, David G. Wonnacott

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Snowflake: Supporting Programming and Proofs.

Oluwatobi Alabi, Anh Vu, Peter-Michael Osera

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Verifying Chemical Reaction Networks with the Isabelle Theorem Prover.

James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater

Proceedings of the 59th Annual Allerton Conference on Communication, 2023

2021

Reactamole: Functional Reactive Molecular Programming.

Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers

Proceedings of the 27th International Conference on DNA Computing and Molecular Programming, 2021

2020

What Mathematics Should be Required of Computer Science Majors?

James R. Matthews, John P. Dougherty, Peter-Michael Osera

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math.

David G. Wonnacott, Peter-Michael Osera

CoRR, 2019

Modernizing the Mathematics Taught in Computer Science.

Barbara M. Anthony, Mia Minnes, David Liben-Nowell, Peter-Michael Osera

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

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

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

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

Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, 2019

Constraint-based type-directed program synthesis.

Peter-Michael Osera

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 2019

2017

ORC²A: A Proof Assistant for Undergraduate Education.

Jianting Chen, Medha Gopalaswamy, Prabir Pradhan, Sooji Son, Peter-Michael Osera

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016

Uncommon Teaching Languages.

Mark C. Lewis, Douglas Blank, Kim Bruce, Peter-Michael Osera

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Mentoring Student Teaching Assistants for Computer Science (Abstract Only).

Charles Garrod, Jeffrey Forbes, Colleen M. Lewis, Peter-Michael Osera

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Example-directed synthesis: a type-theoretic interpretation.

Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Programming assistance for type-directed programming (extended abstract).

Peter-Michael Osera

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

2015

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

Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Type-and-example-directed program synthesis.

Peter-Michael Osera, Steve Zdancewic

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Making induction meaningful, recursively (abstract only).

Peter-Michael Osera, Brent A. Yorgey

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013

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

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

Dependent interoperability.

Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012