Peter-Michael Osera -

Registered user since Tue 17 Feb 2015

Name:Peter-Michael Osera

Country:United States

Affiliation:Grinnell College

Personal website:http://www.cs.grinnell.edu/~osera

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