TAV-CPS/IoT 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
ECOOP and ISSTA 2018 (series) / TAV-CPS/IoT 2018 (series) / Mövenpick Hotel Amsterdam City Centre /

Room information: Paris

VenueMövenpick Hotel Amsterdam City Centre
Room nameParis
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

Thu 19 Jul

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

11:00 - 12:30
SALAD 1SALAD 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 CloudKeynote
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 2SALAD 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 3SALAD 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

Room11:003012:003013:003014:003015:003016:003017:003018:0030
Paris

SALAD

SALAD 1

SALAD

SALAD 2

SALAD

SALAD 3

Thu 19 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Paris
SALAD
ONR's perspective on debloating
11:00 - 11:15
SALADKeynote
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