SALAD 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
VenueMövenpick Hotel Amsterdam City Centre
Room nameZurich I
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

Conference Day
Sun 15 Jul

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

17:00 - 20:00
Welcome: Peyton JonesECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
17:00
3h
Talk
35 years of fun with functional programming
ECOOP and ISSTA Summer School
S: Simon Peyton JonesMicrosoft Research

Conference Day
Mon 16 Jul

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

14:30 - 17:00
Lecture: PasareanuECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30
2h30m
Talk
Symbolic Execution and Probabilistic Reasoning
ECOOP and ISSTA Summer School
S: Corina S. PăsăreanuNASA Ames Research Center

Conference Day
Tue 17 Jul

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

14:00 - 17:30
Lecture: AhmedECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:00
3h30m
Talk
Compiler Verification for a Multi-Language World
ECOOP and ISSTA Summer School
S: Amal AhmedNortheastern University

Conference Day
Wed 18 Jul

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

14:00 - 17:30
Lecture: MøllerECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:00
3h30m
Talk
Static Program Analysis
ECOOP and ISSTA Summer School
Anders MøllerAarhus University

Conference Day
Thu 19 Jul

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

11:00 - 13:00
Lecture: OrsoECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
11:00
2h
Talk
Software Testing and Debugging: State of the Art and Open Issues
ECOOP and ISSTA Summer School
Alex OrsoGeorgia Institute of Technology
14:30 - 17:00
Lecture: ClickECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan VitekNortheastern University
14:30
2h30m
Talk
Writing Virtual Machines for fun and profit
ECOOP and ISSTA Summer School

Conference Day
Fri 20 Jul

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

14:30 - 17:00
Lecture: BriandECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas ZellerSaarland University
14:30
2h30m
Talk
Artificial Intelligence for Automated Software Testing
ECOOP and ISSTA Summer School
Lionel BriandSnT Centre/University of Luxembourg

Conference Day
Sun 15 Jul

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

Conference Day
Mon 16 Jul

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

Conference Day
Tue 17 Jul

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

Conference Day
Wed 18 Jul

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

Conference Day
Thu 19 Jul

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

Conference Day
Fri 20 Jul

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

Conference Day
Sun 15 Jul

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

Conference Day
Mon 16 Jul

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

Conference Day
Tue 17 Jul

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

Room14:0015304515:0015304516:0015304517:00153045
Zurich I

Conference Day
Wed 18 Jul

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

Room14:0015304515:0015304516:0015304517:00153045
Zurich I

Conference Day
Thu 19 Jul

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

Conference Day
Fri 20 Jul

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