Peter-Michael Osera

Registered user since Tue 17 Feb 2015

Name:Peter-Michael Osera
Country:United States
Affiliation:University of Pennsylvania
Research interests:Programming Languages, Program Synthesis, Computer Science Education

Contributions

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