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: Hanoi
Venue
Mövenpick Hotel Amsterdam City Centre
Room name
Hanoi
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
Mon 16 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Session 1
FTfJP
at
Hanoi
11:00
30m
Full-paper
Monotonic Gradual Typing in a Common Calculus
FTfJP
Benjamin Chung
Northeastern University
,
Jan Vitek
Northeastern University
Pre-print
11:30
30m
Full-paper
Incremental Overload Resolution in Object-Oriented Programming Languages
FTfJP
Tamás Szabó
itemis AG / TU Delft
,
Edlira Kuci
TU Darmstadt, Germany
,
Matthijs Bijman
Delft University of Technology
,
Mira Mezini
TU Darmstadt
,
Sebastian Erdweg
TU Delft
Pre-print
12:00
30m
Full-paper
Safely Abstracting Memory Layouts
FTfJP
Juliana Franco
Microsoft Research, Cambridge
,
Alexandros Tasos
Imperial College London
,
Sophia Drossopoulou
Imperial College London
,
Tobias Wrigstad
Uppsala University
,
Susan Eisenbach
Imperial College London
Pre-print
14:00 - 15:30
Session 2
FTfJP
at
Hanoi
14:00
60m
Talk
Towards specifications of robustness -- the things that programs do *not* do
Keynote
FTfJP
Sophia Drossopoulou
Imperial College London
15:00
30m
Full-paper
Specification Idioms from Industrial Experience
FTfJP
David Cok
CEA, LIST, Software Safety and Security Laboratory
Pre-print
16:00 - 18:15
Session 3
FTfJP
at
Hanoi
16:00
25m
Short-paper
Reasoning about Functional Programming in Java and C++
FTfJP
David Cok
CEA, LIST, Software Safety and Security Laboratory
Pre-print
16:25
25m
Short-paper
A Formalism for Specification of Java API Interfaces
FTfJP
Davide Ancona
University of Genova
,
Francesco Dagnino
DIBRIS, University of Genova, Italy
,
Luca Franceschini
DIBRIS, University of Genova
Pre-print
16:50
25m
Short-paper
Static Latency Tracking with Placement Types
FTfJP
Pascal Weisenburger
Technische Universität Darmstadt
,
Tobias Reinhard
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
Pre-print
17:15
30m
Demonstration
Tool demonstration: The VerCors Verification Toolset
FTfJP
Wytse Oortwijn
University of Twente, The Netherlands
Pre-print
17:45
30m
Full-paper
An Exercise in Verifying Sequential Programs with VerCors
FTfJP
Sebastiaan Joosten
,
Wytse Oortwijn
University of Twente, The Netherlands
,
Mohsen Safari
University of Twente, The Netherlands
,
Marieke Huisman
University of Twente
Pre-print
Tue 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Session 1
ICOOOLPS
at
Hanoi
11:00
60m
Talk
Polymorphic Inline Caching in JavaScriptCore
Keynote
ICOOOLPS
Filip Pizlo
Apple
12:05
25m
Research paper
Assessing primitives performance on multi-stage execution
ICOOOLPS
Sophie Kaleba
INRIA
,
Clément Béra
RMOD - INRIA Lille Nord Europe
,
Stéphane Ducasse
INRIA Lille
14:00 - 15:30
Session 2
ICOOOLPS
at
Hanoi
14:00
25m
Research paper
Extending SHAPES for SIMD Architectures - An approach to native support for Struct of Arrays in languages
ICOOOLPS
Alexandros Tasos
Imperial College London
,
Juliana Franco
Microsoft Research, Cambridge
,
Tobias Wrigstad
Uppsala University
,
Sophia Drossopoulou
Imperial College London
,
Susan Eisenbach
Imperial College London
14:30
25m
Research paper
Maintaining Canonical Form After Edge Deletion
ICOOOLPS
Eric Fritz
University of Wisconsin, Milwaukee
15:00
25m
Research paper
Shared Memory Implementations of Protocol Programming Languages, Data-Race-Free
ICOOOLPS
Micha Hergarden
Open University of the Netherlands, The Netherlands
,
Sung-Shik Jongmans
Open University of the Netherlands, The Netherlands
16:00 - 18:00
Session 3
ICOOOLPS
at
Hanoi
16:00
60m
Talk
The first 15 years of PyPy: A retrospective
Keynote
ICOOOLPS
CF Bolz-Tereick
17:05
25m
Research paper
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST Interpreter Framework
ICOOOLPS
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Tim Felgentreff
Oracle Labs, Potsdam
,
Robert Hirschfeld
HPI, University of Potsdam
Link to publication
DOI
Pre-print
Wed 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Real-World Benchmarking
BenchWork
at
Hanoi
11:00
10m
Opening Remarks
BenchWork
Karim Ali
University of Alberta
,
Cristina Cifuentes
Oracle Labs
11:10
30m
Real World Benchmarks for JavaScript
BenchWork
Toon Verwaest
Google
,
Camilo Bruni
Google
File Attached
11:40
20m
In Search of Accurate Benchmarking
BenchWork
Edd Barrett
King's College London
,
Sarah Mount
King's College London
,
Laurence Tratt
King's College London
File Attached
12:00
30m
AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App Collection
BenchWork
Kevin Allix
University of Luxembourg
14:00 - 15:30
JavaScript & Dynamic Behaviour
BenchWork
at
Hanoi
14:00
30m
Benchmarking WebKit
BenchWork
Saam Barati
Apple
File Attached
14:30
20m
Analyzing Duplication in JavaScript
BenchWork
Petr Maj
Czech Technical University
,
Celeste Hollenbeck
Northeastern University, USA
,
Shabbir Hussain
Northeastern University
,
Jan Vitek
Northeastern University
14:50
20m
Building a Node.js Benchmark: Initial Steps
BenchWork
Petr Maj
Czech Technical University
,
François Gauthier
Oracle Labs
,
Celeste Hollenbeck
Northeastern University, USA
,
Jan Vitek
Northeastern University
,
Cristina Cifuentes
Oracle Labs
File Attached
15:10
20m
A Micro-Benchmark for Dynamic Program Behaviour
BenchWork
Li Sui
Massey University, New Zealand
,
Jens Dietrich
Massey University
,
Michael Emery
Massey University
,
Amjed Tahir
Massey University
,
Shawn Rasheed
Massey University
16:00 - 17:40
Software Engineering & Compilers
BenchWork
at
Hanoi
16:00
30m
InspectorClone: Evaluating Precision of Clone Detection Tools
BenchWork
Crista Lopes
16:30
20m
Towards a Data-Curation Platform for Code-Centric Research
BenchWork
Ben Hermann
University of Paderborn
,
Lisa Nguyen Quang Do
Paderborn University
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
16:50
20m
The Architecture Independent Workload Characterization
BenchWork
Beau Johnston
Australian National University
File Attached
17:10
30m
Performance Monitoring in Eclipse OpenJ9
BenchWork
Andrew Craik
IBM
Thu 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Session 1
INTUITESTBEDS
at
Hanoi
11:00
10m
Welcome
INTUITESTBEDS
11:10
50m
Keynote: Alégroth, Amalfitano, Vos, and Aho
INTUITESTBEDS
Emil Alégroth
Blekinge Institute of Technology
,
Domenico Amalfitano
University of Naples Federico II
,
Tanja E. J. Vos
Universitat Politècnica de València and Open Universiteit
,
Pekka Aho
Open University of the Netherlands
12:00
30m
Talk
Automatic GUI Testing of Desktop Applications: an Empirical Assessment of the State of the Art
INTUITESTBEDS
Mauro Pezzè
University of Milano-Bicocca, Italy
,
Daniele Zuddas
Università della Svizzera italiana (USI)
,
Paolo Rondena
14:00 - 15:30
Session 2
INTUITESTBEDS
at
Hanoi
14:00
30m
Towards Automated Translation between Generations of GUI-based Tests for Mobile Devices
INTUITESTBEDS
Riccardo Coppola
Politecnico di Torino
,
Emil Alégroth
Blekinge Institute of Technology
,
Luca Ardito
,
Marco Torchiano
14:30
30m
Talk
Is This the Lifecycle We Really Want? An Automated Black-Box Testing Approach for Android Activities
INTUITESTBEDS
Domenico Amalfitano
University of Naples Federico II
,
Anna Rita Fasolino
Federico II University of Naples
,
Vincenzo Riccio
University of Naples Federico II
15:00
30m
Talk
GUI Scalability Issues of Windows Desktop Applications and How to Find Them
INTUITESTBEDS
Rudolf Ramler
Software Competence Center Hagenberg
,
Thomas Wetzlmaier
,
Robert Hoschek
16:00 - 17:30
Session 3
INTUITESTBEDS
at
Hanoi
16:00
30m
Tool Demos
INTUITESTBEDS
16:30
30m
Talk
Student Presentation: Conny Hagelukken
INTUITESTBEDS
17:00
30m
Talk
Student Presentation: Marion de Groot
INTUITESTBEDS
Mon 16 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
Hanoi
FTfJP
Session 1
FTfJP
Session 2
FTfJP
Session 3
Tue 17 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
Hanoi
ICOOOLPS
Session 1
ICOOOLPS
Session 2
ICOOOLPS
Session 3
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
Hanoi
BenchWork
Real-World Benchmarking
BenchWork
JavaScript & Dynamic Behaviour
BenchWork
Software Engineering & Compilers
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
Hanoi
INTUITESTBEDS
Session 1
INTUITESTBEDS
Session 2
INTUITESTBEDS
Session 3
Mon 16 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
Hanoi
FTfJP
Monotonic Gradual Typing in a Common Calculus
11:00 - 11:30
FTfJP
Incremental Overload Resolution in Object-Oriented Programming Languages
11:30 - 12:00
FTfJP
Safely Abstracting Memory Layouts
12:00 - 12:30
FTfJP
Keynote
Towards specifications of robustness -- the things that programs do *no ...
14:00 - 15:00
FTfJP
Specification Idioms from Industrial Experience
15:00 - 15:30
FTfJP
Reasoning about Functional Programming in Java and C++
16:00 - 16:25
FTfJP
A Formalism for Specification of Java API Interfaces
16:25 - 16:50
FTfJP
Static Latency Tracking with Placement Types
16:50 - 17:15
FTfJP
Tool demonstration: The VerCors Verification Toolset
17:15 - 17:45
FTfJP
An Exercise in Verifying Sequential Programs with VerCors
17:45 - 18:15
Tue 17 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
Hanoi
ICOOOLPS
Keynote
Polymorphic Inline Caching in JavaScriptCore
11:00 - 12:00
ICOOOLPS
Assessing primitives performance on multi-stage execution
12:05 - 12:30
ICOOOLPS
Extending SHAPES for SIMD Architectures - An approach to native support ...
14:00 - 14:25
ICOOOLPS
Maintaining Canonical Form After Edge Deletion
14:30 - 14:55
ICOOOLPS
Shared Memory Implementations of Protocol Programming Languages, Data-R ...
15:00 - 15:25
ICOOOLPS
Keynote
The first 15 years of PyPy: A retrospective
16:00 - 17:00
ICOOOLPS
GraalSqueak: A Fast Smalltalk Bytecode Interpreter Written in an AST In ...
17:05 - 17:30
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
Hanoi
BenchWork
Opening Remarks
11:00 - 11:10
BenchWork
Real World Benchmarks for JavaScript
11:10 - 11:40
BenchWork
In Search of Accurate Benchmarking
11:40 - 12:00
BenchWork
AndroZoo: Lessons Learnt After 2 Years of Running a Large Android App C ...
12:00 - 12:30
BenchWork
Benchmarking WebKit
14:00 - 14:30
BenchWork
Analyzing Duplication in JavaScript
14:30 - 14:50
BenchWork
Building a Node.js Benchmark: Initial Steps
14:50 - 15:10
BenchWork
A Micro-Benchmark for Dynamic Program Behaviour
15:10 - 15:30
BenchWork
InspectorClone: Evaluating Precision of Clone Detection Tools
16:00 - 16:30
BenchWork
Towards a Data-Curation Platform for Code-Centric Research
16:30 - 16:50
BenchWork
The Architecture Independent Workload Characterization
16:50 - 17:10
BenchWork
Performance Monitoring in Eclipse OpenJ9
17:10 - 17:40
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
Hanoi
INTUITESTBEDS
Welcome
11:00 - 11:10
INTUITESTBEDS
Keynote: Alégroth, Amalfitano, Vos, and Aho
11:10 - 12:00
INTUITESTBEDS
Automatic GUI Testing of Desktop Applications: an Empirical Assessment ...
12:00 - 12:30
INTUITESTBEDS
Towards Automated Translation between Generations of GUI-based Tests fo ...
14:00 - 14:30
INTUITESTBEDS
Is This the Lifecycle We Really Want? An Automated Black-Box Testing Ap ...
14:30 - 15:00
INTUITESTBEDS
GUI Scalability Issues of Windows Desktop Applications and How to Find Them
15:00 - 15:30
INTUITESTBEDS
Tool Demos
16:00 - 16:30
INTUITESTBEDS
Student Presentation: Conny Hagelukken
16:30 - 17:00
INTUITESTBEDS
Student Presentation: Marion de Groot
17:00 - 17:30
x
Thu 21 Nov 18:43