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

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