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

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Morning SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
11:00 - 11:05
Day opening
Welcome
ISAGT
Chris LaffraUber Technologies
11:05 - 11:30
Talk
Automatic Python test generation
ISAGT
Chris LaffraUber Technologies
11:30 - 12:00
Talk
Extracting tests from runtime behavior for R
ISAGT
Filip KřikavaCzech Technical University
12:00 - 12:30
Talk
Computer-aided unit-test generation with UTA
ISAGT
14:00 - 15:30: After Lunch SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
14:00 - 14:45
Talk
Checking Non-Deterministic Behavior in Unit Tests
ISAGT
Luc BläserHochschule für Technik Rapperswil
14:45 - 15:30
Talk
Generating tests for mobile platforms
ISAGT
Li LiMonash University, Australia, Jacques KleinUniversity of Luxembourg, SnT, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg
16:00 - 17:30: After Tea SessionISAGT at Berlin
Chair(s): Chris LaffraUber Technologies
16:00 - 16:30
Talk
Analyzing the analyzers
ISAGT
Julia RubinUniversity of British Columbia
16:30 - 17:00
Talk
Machine learning for compilers
ISAGT
Chris CumminsUniversity of Edinburgh
17:00 - 17:25
Meeting
Plenary Discussion
ISAGT
Chris LaffraUber Technologies
17:25 - 17:30
Day closing
Closing
ISAGT
Chris LaffraUber Technologies

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:003016:003017:0030
Berlin

Fri 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change