Peter-Michael Osera

Registered user since Tue 17 Feb 2015

Name: Peter-Michael Osera

Country: United States

Affiliation: University of Pennsylvania

Personal website:

Research interests: Programming Languages, Program Synthesis, Computer Science Education


PLOOC 2015 Making Proof Tutors out of Proof Assistants
PLDI 2015 Type-and-Example-Directed Program Synthesis
Show activities from other conferences

PLDI 2015-profile
View general profile