Peter-Michael Osera

Registered user since Tue 17 Feb 2015

Name:Peter-Michael Osera
Country:United States
Affiliation:Grinnell College
Research interests:Programming Languages, Computer Science Education

Contributions

SPLASH 2023 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
SIGCSE TS 2023 Author of Notional Machine in Mathematics and Introductory Computer Science Courses within the Posters-track
Author of The Purpose of Proof within the Birds of a Feather-track
Author of Snowflake: Supporting Programming and Proofs within the Posters-track
HATRA 2022 Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
HATRA 2021 Committee Member in Program Committee within the HATRA 2021-track
SPLASH 2020 Author of Bridging the Gap Between Programming Language Theory and Mathematics Education in Computer Science within the SPLASH-E-track
HATRA 2020 Session Chair of Types (part of HATRA)
Committee Member in Program Committee within the HATRA-track
TyDe 2019 Author of Constraint-based Type-directed Program Synthesis within the TyDe 2019-track
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-track
PLDI 2017 Committee Member in External Review Committee
PLATEAU 2016 Committee Member in Program Committee within the PLATEAU-track
TyDe 2016 Author of Programming Assistance for Type-directed Programming within the TyDe-track
PLDI 2016 Committee Member in External Review Committee
POPL 2016 Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track
PLDI 2015 Author of Type-and-Example-Directed Program Synthesis within the Research Papers-track
PLOOC 2015 Presenter of Making Proof Tutors out of Proof Assistants within the PLOOC 2015-track
SPLASH 2013 Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track
Author of Teaching Induction with Functional Programming and A Proof Assistant within the SPLASH-E-track