ML4PL 2018
Mon 16 - Sat 21 July 2018
Amsterdam, Netherlands
co-located with
ECOOP and ISSTA 2018
Toggle navigation
Attending
Venue: ISSTA Steering Committee Meeting
Restaurant: Cafe de Jaren
Venue: Uber
Venue: Mövenpick Hotel Amsterdam City Centre
Restaurant: Tobacco Theater
Restaurant: Zaalverhuur Pakhuis de Zwijger
Restaurant: De Koninklijke Industrieele Groote Club
Program
Complete Program
Your Program
Filter by Day
Sun 15 Jul
Mon 16 Jul
Tue 17 Jul
Wed 18 Jul
Thu 19 Jul
Fri 20 Jul
Sat 21 Jul
Tracks
ML4PL 2018
ML4PL
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Curry On Keynotes
CurryOn
Curry On Talks
ECOOP
ECOOP
ECOOP
Artifacts
ECOOP
Keynotes
ECOOP
Research Papers
ECOOP
Journal-First
ISSTA
ISSTA
ISSTA
Artifacts
ISSTA
Keynotes
ISSTA
Steering Committee Meeting (By Invitation Only)
ISSTA
Technical Papers
ISSTA
Tool Demonstrations
Workshops
BenchWork
COP
DPA
FTfJP
ICOOOLPS
INTUITESTBEDS
ISAGT
Panathon
SALAD
SOAP
TAV-CPS/IoT
VORTEX
WoSSCA
Organization
ML4PL 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
ECOOP
Organizing Committee
ECOOP Artifacts
ECOOP Research Papers
ISSTA
Organizing Committee
ISSTA Artifacts
ISSTA Technical Papers
ISSTA Tool Demonstrations
Workshops
BenchWork
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
DPA
Organizing Committee
FTfJP
Program Committee
Steering Committee
ICOOOLPS
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
ISAGT
Organizing Committee
Program Committee
Panathon
Organizers
SALAD
Organizing Committee
Program Committee
SOAP
Organizing Committee
Program Committee
TAV-CPS/IoT
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WoSSCA
Attendees
Program Committee
Organizing Committee
Search
Series
Series
ML4PL 2018
ML4PL 2015
Sign in
Sign up
ECOOP and ISSTA 2018
(
series
) /
ML4PL 2018 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Paris
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Paris
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
SALAD 1
SALAD
at
Paris
Chair(s):
Harry Xu
University of California, Los Angeles
11:00
15m
Talk
ONR's perspective on debloating
SALAD
Sukarno Mertoguno
ONR
11:15
40m
Talk
Degunking the Cloud
Keynote
SALAD
Nick Mitchell
IBM TJ Watson Research Center
11:55
35m
Talk
Application Extraction for Java: A retrospective report of the Jax project
SALAD
Frank Tip
Northeastern University
,
Chris Laffra
Uber Technologies
13:30 - 15:30
SALAD 2
SALAD
at
Paris
Chair(s):
Harry Xu
University of California, Los Angeles
13:30
30m
Talk
An Opinionated Survey of the Java Static Analysis Landscape
SALAD
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
14:00
30m
Talk
Class hierarchy flattening: obfuscating (almost) all type information in Java programs
SALAD
Bjorn De Sutter
Ghent University, Belgium
14:30
30m
Talk
Delta Debugging of Java Bytecode
SALAD
Jens Palsberg
University of California, Los Angeles
15:00
30m
Talk
Fine-Grained Library Customization
SALAD
Linhai Song
Pennsylvania State University, USA
,
Xinyu Xing
16:00 - 18:30
SALAD 3
SALAD
at
Paris
Chair(s):
Jan Vitek
Northeastern University
16:00
37m
Talk
On the Effectiveness of Kernel Debloating via Compile-time Configuration
SALAD
Mansour Alharthi
,
Hong Hu
Georgia Institute of Technology
,
Hyungon Moon
Georgia Tech
,
Taesoo Kim
Georgia Tech
16:37
37m
Talk
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
SALAD
Julian Dolby
IBM Thomas J. Watson Research Center
17:15
37m
Talk
Detection of Spectre vulnerabilities via static analysis
SALAD
Omer Tripp
Google Inc.
17:52
37m
Talk
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
SALAD
Taddeus Kroes
Vrije Universiteit Amsterdam
,
Anil Altinay
,
Joseph Nash
,
Yeoul Na
,
Stijn Volckaert
University of California, Irvine
,
Herbert Bos
,
Michael Franz
University of California, Irvine
,
Cristiano Giuffrida
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Paris
SALAD
SALAD 1
SALAD
SALAD 2
SALAD
SALAD 3
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Paris
SALAD
ONR's perspective on debloating
11:00 - 11:15
SALAD
Keynote
Degunking the Cloud
11:15 - 11:55
SALAD
Application Extraction for Java: A retrospective report of the Jax project
11:55 - 12:30
SALAD
An Opinionated Survey of the Java Static Analysis Landscape
13:30 - 14:00
SALAD
Class hierarchy flattening: obfuscating (almost) all type information i ...
14:00 - 14:30
SALAD
Delta Debugging of Java Bytecode
14:30 - 15:00
SALAD
Fine-Grained Library Customization
15:00 - 15:30
SALAD
On the Effectiveness of Kernel Debloating via Compile-time Configuration
16:00 - 16:37
SALAD
WALA Everywhere: Cross Language Deep Analysis and Cross IDE Tool Support
16:37 - 17:15
SALAD
Detection of Spectre vulnerabilities via static analysis
17:15 - 17:52
SALAD
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
17:52 - 18:30
x
Fri 8 Nov 22:43