TAV-CPS/IoT 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
TAV-CPS/IoT Program
Your Program
Mon 16 Jul
Tue 17 Jul
Wed 18 Jul
Thu 19 Jul
Fri 20 Jul
Sat 21 Jul
Tracks
TAV-CPS/IoT 2018
TAV-CPS/IoT
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
ML4PL
Panathon
SALAD
SOAP
VORTEX
WoSSCA
Organization
TAV-CPS/IoT 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
ML4PL
Organizing Committee
Program Committee
Panathon
Organizers
SALAD
Organizing Committee
Program Committee
SOAP
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WoSSCA
Attendees
Program Committee
Organizing Committee
Search
Series
Sign in
Sign up
ECOOP and ISSTA 2018
(
series
) /
TAV-CPS/IoT 2018 (
series
) /
Mövenpick Hotel Amsterdam City Centre
/
Room information: Hamburg
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Hamburg
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
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
WoSSCA 1
WoSSCA
at
Hamburg
Chair(s):
Eric Jul
University of Oslo
11:00
45m
Talk
Speculative side channels: the view from WebKit
WoSSCA
Filip Pizlo
Apple
11:45
45m
Talk
Application-Specific Principals Must Align With Platform Boundaries
WoSSCA
Chris Palmer
Google
14:00 - 15:30
WoSSCA 2
WoSSCA
at
Hamburg
Chair(s):
Eric Jul
University of Oslo
14:00
30m
Talk
Peering behind the Turing Mirror
WoSSCA
Ben L. Titzer
Google
,
Toon Verwaest
Google
14:30
30m
Talk
Hardware and Software Mitigations
WoSSCA
Chandler Carruth
Google
15:00
30m
Talk
Pacer: Efficient I/O Side-Channel Mitigation in the Cloud
WoSSCA
Aastha Mehta
MPI-SWS
16:00 - 17:30
WoSSCA 3
WoSSCA
at
Hamburg
Chair(s):
Jan Vitek
Northeastern University
16:00
45m
Talk
Software Diversity vs. Side Channels
WoSSCA
Stefan Brunthaler
Bundeswehr University Munich
16:45
45m
Talk
Electromagnetic Side-Channel Attacks: Potential for Progressing Hindered Digital Forensic Analysis
WoSSCA
Asanka Sayakkara
University College Dublin
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Session 1
Panathon
at
Hamburg
11:00
5m
Opening Remarks
Panathon
11:05
25m
Project Introductions
Panathon
11:30
60m
Work in Groups
Panathon
14:00 - 15:30
Session 2
Panathon
at
Hamburg
14:00
90m
Work in Groups
Panathon
16:00 - 17:30
Session 3
Panathon
at
Hamburg
16:00
60m
Work in Groups
Panathon
17:00
25m
Progress Reports
Panathon
17:25
5m
Closing Remarks
Panathon
Fri 20 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Java
SOAP
at
Hamburg
11:00
10m
Day opening
Opening
SOAP
Omer Tripp
Google Inc.
,
Ben Hermann
University of Paderborn
11:10
50m
Talk
NJR: A Normalized Java Resource
SOAP
Jens Palsberg
University of California, Los Angeles
,
Crista Lopes
Link to publication
DOI
Pre-print
12:00
15m
Talk
Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java
SOAP
Michael Reif
TU Darmstadt, Germany
,
Florian Kübler
TU Darmstadt, Germany
,
Michael Eichberg
TU Darmstadt, Germany
,
Mira Mezini
TU Darmstadt
Link to publication
DOI
Pre-print
Media Attached
12:15
15m
Talk
Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Runtime Performance Variability
SOAP
Michael D. Shah
Northeastern University, USA
,
Samuel Guyer
Link to publication
DOI
Pre-print
14:00 - 15:30
Bug Finding
SOAP
at
Hamburg
14:00
50m
Talk
DeepBugs: A Learning Approach to Name-based Bug Detection
SOAP
Michael Pradel
TU Darmstadt
Pre-print
File Attached
15:00
15m
Talk
Affogato: Runtime Detection of Injection Attacks for Node.js
SOAP
François Gauthier
Oracle Labs
,
Behnaz Hassanshahi
Oracle Labs, Australia
,
Alexander Jordan
Oracle Labs, Australia
Link to publication
DOI
File Attached
15:15
15m
Talk
Towards a Framework for Detecting Energy Drain in Mobile Applications - An Architecture Overview
SOAP
Andreas Schuler
University of Applied Sciences Upper Austria
,
Gabriele Anderst-Kotsis
Johannes Kepler University, Linz, Austria
File Attached
16:00 - 17:30
Design of Static Analysis
SOAP
at
Hamburg
16:00
50m
Talk
The Secret Sauce in Efficient and Precise Static Analysis: The Beauty of Distributive, Summary-Based Static Analyses (and how to master them)
SOAP
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication
DOI
Pre-print
Media Attached
17:00
15m
Talk
Redesigning Soot's Data-flow Analysis Framework for Abstract Interpretation
SOAP
Elena Sherman
Boise State University
Link to publication
DOI
File Attached
17:15
15m
Talk
Lattice Based Modularization of Static Analyses
SOAP
Michael Eichberg
TU Darmstadt, Germany
,
Florian Kübler
TU Darmstadt, Germany
,
Dominik Helm
TU Darmstadt, Germany
,
Michael Reif
TU Darmstadt, Germany
,
Guido Salvaneschi
TU Darmstadt
,
Mira Mezini
TU Darmstadt
Link to publication
DOI
Media Attached
Wed 18 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
Hamburg
WoSSCA
WoSSCA 1
WoSSCA
WoSSCA 2
WoSSCA
WoSSCA 3
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
Hamburg
Panathon
Session 1
Panathon
Session 2
Panathon
Session 3
Fri 20 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
Hamburg
SOAP
Java
SOAP
Bug Finding
SOAP
Design of Static Analysis
Wed 18 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
Hamburg
WoSSCA
Speculative side channels: the view from WebKit
11:00 - 11:45
WoSSCA
Application-Specific Principals Must Align With Platform Boundaries
11:45 - 12:30
WoSSCA
Peering behind the Turing Mirror
14:00 - 14:30
WoSSCA
Hardware and Software Mitigations
14:30 - 15:00
WoSSCA
Pacer: Efficient I/O Side-Channel Mitigation in the Cloud
15:00 - 15:30
WoSSCA
Software Diversity vs. Side Channels
16:00 - 16:45
WoSSCA
Electromagnetic Side-Channel Attacks: Potential for Progressing Hindere ...
16:45 - 17:30
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
Hamburg
Panathon
Opening Remarks
11:00 - 11:05
Panathon
Project Introductions
11:05 - 11:30
Panathon
Work in Groups
11:30 - 12:30
Panathon
Work in Groups
14:00 - 15:30
Panathon
Work in Groups
16:00 - 17:00
Panathon
Progress Reports
17:00 - 17:25
Panathon
Closing Remarks
17:25 - 17:30
Fri 20 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
Hamburg
SOAP
Opening
11:00 - 11:10
SOAP
NJR: A Normalized Java Resource
11:10 - 12:00
SOAP
Systematic Evaluation of the Unsoundness of Call Graph Construction Alg ...
12:00 - 12:15
SOAP
Iceberg: A Dynamic Analysis of Java Critical Sections Investigating Run ...
12:15 - 12:30
SOAP
DeepBugs: A Learning Approach to Name-based Bug Detection
14:00 - 14:50
SOAP
Affogato: Runtime Detection of Injection Attacks for Node.js
15:00 - 15:15
SOAP
Towards a Framework for Detecting Energy Drain in Mobile Applications - ...
15:15 - 15:30
SOAP
The Secret Sauce in Efficient and Precise Static Analysis: The Beauty o ...
16:00 - 16:50
SOAP
Redesigning Soot's Data-flow Analysis Framework for Abstract Interpretation
17:00 - 17:15
SOAP
Lattice Based Modularization of Static Analyses
17:15 - 17:30
x
Thu 21 Nov 18:06