Peter-Michael Osera

25 papers A* 2A 8B 2Journal 4Unranked 9

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