PLOOC 2015 Contributors

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

co-located with PLDI 2015

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

A Rajeev AlurAlur, Rajeev University of Pennsylvania AutomataTutor and what I learned from building an online teaching tool
B Pavol BielikBielik, Pavol ETH ZurichSlovakia Bug Localization with Statistical Models
Judith BishopBishop, Judith Microsoft ResearchUnited States The Hint Mechanism in Code Hunt
D Loris D'AntoniD'Antoni, Loris University of Pennsylvania AutomataTutor and what I learned from building an online teaching tool Programme Committee in Program Committee within the PLOOC-track
Alexandre DonzeDonze, Alexandre University of California, Berkeley CPSGrader: Formal Methods for Lab-Based MOOCs
G Elena GlassmanGlassman, Elena MIT OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
Dan GrossmanGrossman, Dan University of Washington The Hint Mechanism in Code Hunt
Sumit GulwaniGulwani, Sumit Microsoft Research The Hint Mechanism in Code Hunt AutomataTutor and what I learned from building an online teaching tool Personalized Mathematical Word Problem Generation Programme Committee in Program Committee within the PLOOC-track
Philip GuoGuo, Philip University of Rochester OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale Programme Committee in Program Committee within the PLOOC-track
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Bjoern HartmannHartmann, Bjoern UC Berkeley AutomataTutor and what I learned from building an online teaching tool
J Jeff JensenJensen, Jeff Momentum Machines CPSGrader: Formal Methods for Lab-Based MOOCs
Garvit JuniwalJuniwal, Garvit UC Berkeley CPSGrader: Formal Methods for Lab-Based MOOCs
K Svetoslav KaraivanovKaraivanov, Svetoslav ETH Zurich Bug Localization with Statistical Models
Amey KarkareKarkare, Amey IIT Kanpur Programme Committee in Program Committee within the PLOOC-track
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign AutomataTutor and what I learned from building an online teaching tool
M Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Robert MillerMiller, Robert MIT OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
O Eleanor O'RourkeO'Rourke, Eleanor University of Washington Personalized Mathematical Word Problem Generation
Martin OderskyOdersky, Martin Ecole Polytechnique Federale de LausanneGermany Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Alessandro OrsoOrso, Alessandro Georgia Tech Programme Committee in Program Committee within the PLOOC-track
Peter-Michael OseraOsera, Peter-Michael University of PennsylvaniaUnited States Making Proof Tutors out of Proof Assistants
P Daniel PerelmanPerelman, Daniel University of Washington, USAUnited States The Hint Mechanism in Code Hunt
Alex PolozovPolozov, Alex University of WashingtonUkraine Personalized Mathematical Word Problem Generation
Zoran PopovicPopovic, Zoran University of Washington Personalized Mathematical Word Problem Generation
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research Touchdevelop on the BBC’s microbit Going from a blocks programming language to 16kB of RAM
R Veselin RaychevRaychev, Veselin ETH ZurichBulgaria Bug Localization with Statistical Models
Lukas RytzRytz, Lukas Typesafe Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
S Jeremy ScottScott, Jeremy MIT OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale
Sanjit SeshiaSeshia, Sanjit UC Berkeley CPSGrader: Formal Methods for Lab-Based MOOCs
Rishabh SinghSingh, Rishabh Microsoft ResearchIndia Opening and Welcome OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale Co-chair in Program Committee within the PLOOC-track
Adam SmithSmith, Adam University of Washington Personalized Mathematical Word Problem Generation
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States Opening and Welcome Co-chair in Program Committee within the PLOOC-track
T William ThiesThies, William Microsoft Research Programme Committee in Program Committee within the PLOOC-track
V Martin VechevVechev, Martin ETH Zurich Bug Localization with Statistical Models Programme Committee in Program Committee within the PLOOC-track
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-Champaign AutomataTutor and what I learned from building an online teaching tool
W Matthew WeaverWeaver, Matthew University of Pennsylvania AutomataTutor and what I learned from building an online teaching tool
X Tao XieXie, Tao University of Illinois at Urbana-Champaign Programme Committee in Program Committee within the PLOOC-track
Z Steve ZdancewicZdancewic, Steve Making Proof Tutors out of Proof Assistants
Christine ZellerZeller, Christine ETH Zurich Bug Localization with Statistical Models
Luke ZettlemoyerZettlemoyer, Luke University of Washington Personalized Mathematical Word Problem Generation
Florian ZulegerZuleger, Florian TU Wien Programme Committee in Program Committee within the PLOOC-track