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

HATRA 2021 Committee Member in Program Committee within the HATRA 2021-track
HATRA 2020 Session Chair of Types (part of HATRA)
Committee Member in Program Committee within the HATRA-track
SPLASH 2020 Author of Bridging the Gap Between Programming Language Theory and Mathematics Education in Computer Science within the SPLASH-E-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
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 2017 Committee Member in External Review Committee
PLDI 2016 Committee Member in External Review Committee
POPL 2016 Author of Example-Directed Synthesis: A Type-Theoretic Interpretation within the Research Papers-track
PLOOC 2015 Presenter of Making Proof Tutors out of Proof Assistants within the PLOOC 2015-track
PLDI 2015 Author of Type-and-Example-Directed Program Synthesis within the Research Papers-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