PLAS 2015
Mon 6 - Fri 10 July 2015 Prague, Czech Republic
co-located with ECOOP 2015
VenueMarriott
Room nameMoravia
Floor0
Room InformationNo extra information available
Program

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

Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
90m
Talk
Verifying Correctness of Statefull Networks
ECOOP Summer School
P: Mooly Sagiv Tel Aviv University
13:30 - 15:00
13:30
90m
Talk
The Evolving Design of Pyret
ECOOP Summer School
P: Shriram Krishnamurthi Brown University
Link to publication
15:30 - 17:00
15:30
90m
Talk
Nimble yet Systematic Trading
ECOOP Summer School
P: Robert Grimm Goldman Sachs
17:00 - 18:30
17:00
90m
Talk
Modern Concurrent Separation Logics
ECOOP Summer School
P: Philippa Gardner Imperial College London

Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
90m
Talk
Declarative Probabilistic Programming
ECOOP Summer School
S: Molham Aref Logicblox
13:30 - 15:00
13:30
90m
Talk
Synthesis and Verification for Everyone
ECOOP Summer School
P: Emina Torlak University of Washington
17:00 - 18:30
17:00
90m
Talk
Noise-based Testing of Concurrent Software
ECOOP Summer School
P: Tomáš Vojnar Brno University of Technology

Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
15:00
90m
Talk
Programming with Millions of Examples
ECOOP Summer School
Eran Yahav Technion
17:00 - 18:30
17:00
90m
Talk
Herding Weak Memory Cats
ECOOP Summer School
P: Jade Alglave University College London
Link to publication

Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Moravia

Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Moravia

Thu 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Moravia