VenueOregon Convention Center
Room nameC120-C121
Floor1
Room numberC120-C121
Capacity71
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:30 - 11:00: 9:30am: Opening and Papers Session 1WAX at C120-C121
11:20 - 12:30: Lightning Talks and Discussion PrepWAX at C120-C121
14:00 - 15:30: Report-Outs and Papers Session 2WAX at C120-C121
16:00 - 18:00: Papers Session 3 and ClosingWAX at C120-C121

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 11:00: Session1PLOOC at C120-C121
09:00 - 09:05
Talk
PLOOC
P: Armando Solar-LezamaMIT, P: Rishabh SinghMicrosoft Research
09:05 - 09:45
Talk
PLOOC
Pavol BielikETH Zurich, Svetoslav KaraivanovETH Zurich, P: Veselin RaychevETH Zurich, Martin VechevETH Zurich, Christine ZellerETH Zurich
09:45 - 10:25
Talk
PLOOC
P: Loris D'AntoniUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign, Sumit GulwaniMicrosoft Research, Bjoern HartmannUC Berkeley, Matthew WeaverUniversity of Pennsylvania
10:25 - 11:00
Talk
PLOOC
P: Jonathan ProtzenkoMicrosoft Research
11:20 - 12:30: Session2PLOOC at C120-C121
11:30 - 12:10
Talk
PLOOC
P: Daniel PerelmanUniversity of Washington, USA, Judith BishopMicrosoft Research, Sumit GulwaniMicrosoft Research, Dan GrossmanUniversity of Washington
14:00 - 15:30: Session3PLOOC at C120-C121
14:00 - 14:40
Talk
PLOOC
P: Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Lukas RytzTypesafe, Martin OderskyEcole Polytechnique Federale de Lausanne
14:40 - 15:20
Talk
PLOOC
P: Sanjit SeshiaUC Berkeley, Alexandre DonzeUniversity of California, Berkeley, Jeff JensenMomentum Machines, Garvit JuniwalUC Berkeley
16:00 - 18:00: Session4PLOOC at C120-C121
16:00 - 16:40
Talk
PLOOC
P: Alex PolozovUniversity of Washington, Eleanor O'RourkeUniversity of Washington, Adam SmithUniversity of Washington, Luke ZettlemoyerUniversity of Washington, Sumit GulwaniMicrosoft Research, Zoran PopovicUniversity of Washington
16:40 - 17:20
Talk
PLOOC
P: Peter-Michael OseraUniversity of Pennsylvania, Steve Zdancewic
17:20 - 18:00
Talk
PLOOC
Elena GlassmanMIT, Jeremy ScottMIT, P: Rishabh SinghMicrosoft Research, Philip GuoUniversity of Rochester, Robert MillerMIT

Sat 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

Sun 14 Jun
Times are displayed in time zone: Tijuana, Baja California change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
C120-C121