PASS 2019
Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom
co-located with
ECOOP 2019
Toggle navigation
Attending
Venue: Novotel London West
Program
Complete Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
PASS 2019
PASS 2019 (CANCELED)
Workshops
COP
Organization
PASS 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Workshops
COP
Organizing Committee
Program Committee
Search
Series
Series
PASS 2019
PASS'19
PASS 2018
PASS 2017
Sign in
Sign up
ECOOP 2019
(
series
) /
PASS 2019 (
series
) /
Novotel London West
/
Room information: Bouzy
Venue
Novotel London West
Room name
Bouzy
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+01:00) Belfast
.
Use conference time zone: (GMT+01:00) Belfast
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 15 Jul
Displayed time zone:
Belfast
change
13:30 - 15:00
Research Papers
COP
at
Bouzy
Chair(s):
David H. Lorenz
Open University and Technion IIT
13:30
45m
Talk
TinyCORP: A Calculus for Context-Oriented Reactive Programming
COP
Tetsuo Kamina
Oita University
,
Tomoyuki Aotani
Tokyo Institute of Technology
DOI
14:15
45m
Talk
Implementation of a Feature-Based Context-Oriented Programming Language
COP
Benoît Duhoux
Université catholique de Louvain, Belgium
,
Kim Mens
Université Catholique de Louvain, Belgium
,
Bruno Dumas
Université de Namur
DOI
15:30 - 17:00
Research Papers
COP
at
Bouzy
Chair(s):
David H. Lorenz
Open University and Technion IIT
15:30
45m
Talk
Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming
COP
Patrick Rein
Hasso Plattner Institute, Germany
,
Jens Lincke
Hasso Plattner Institute, University of Potsdam, Germany
,
Stefan Ramson
Hasso Plattner Institute, Germany
,
Toni Mattis
University of Potsdam Potsdam
,
Fabio Niephaus
Hasso Plattner Institute, University of Potsdam
,
Robert Hirschfeld
Hasso-Plattner-Institut (HPI), Germany
DOI
16:15
45m
Talk
Distributed Context Petri Nets
COP
Jose Daniel Fandiño de la Hoz
Universidad de los Andes
,
Juan Sebastián Sosa
Universidad de los Andes
,
Nicolás Cardozo
Universidad de los Andes
DOI
Tue 16 Jul
Displayed time zone:
Belfast
change
10:45 - 12:15
Benchmark Suites
BenchWork
at
Bouzy
10:45
15m
Day opening
A Word From the Chairs
BenchWork
Kim Herzig
Tools for Software Engineers, Microsoft
,
Ben Hermann
Paderborn University
11:00
30m
Talk
Dependability Benchmarking by Injecting Software Bugs
BenchWork
Roberto Natella
Federico II University of Naples
Media Attached
11:30
30m
Talk
A Renaissance for Optimizing Compilers
BenchWork
Aleksandar Prokopec
Oracle Labs
Media Attached
13:30 - 15:00
Benchmark Creation
BenchWork
at
Bouzy
13:30
30m
Talk
A Central and Evolving Benchmark
BenchWork
Abhishek Tiwari
University of Potsdam
,
Christian Hammer
University of Potsdam
File Attached
14:00
30m
Talk
Creating and Managing Benchmark Suites with ABM
BenchWork
Lisa Nguyen Quang Do
Paderborn University
File Attached
14:30
30m
Talk
Hermes: Towards Representative Benchmarks
BenchWork
Michael Eichberg
TU Darmstadt, Germany
Media Attached
15:30 - 17:00
Specialized Benchmarks and Future
BenchWork
at
Bouzy
15:30
30m
Talk
A Benchmark for Understanding Data Science Software
BenchWork
Hridesh Rajan
Iowa State University
16:00
30m
Talk
Android Taint-Analysis Benchmarks: Past, Present and Future
BenchWork
Felix Pauck
Paderborn University, Germany
Media Attached
16:30
30m
Day closing
Discussion and Closing
BenchWork
Kim Herzig
Tools for Software Engineers, Microsoft
,
Ben Hermann
Paderborn University
Fri 19 Jul
Displayed time zone:
Belfast
change
09:00 - 10:00
Opening
VORTEX
at
Bouzy
09:00
60m
Day opening
Opening at 10:25
VORTEX
Davide Ancona
University of Genova
10:30 - 12:10
Session 1
VORTEX
at
Bouzy
Chair(s):
Sung-Shik Jongmans
Open University of the Netherlands
10:30
45m
Talk
Invited talk: Runtime Verification and Objects: Are we doing it wrong?
VORTEX
Giles Reger
University of Manchester
11:15
30m
Talk
Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
VORTEX
P:
Eman Aldakheel
University of Illinois at Chicago & Princess Nourah bint Abdulrahman University
,
Ugo Buy
Pre-print
11:45
30m
Talk
RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification
VORTEX
P:
Luca Franceschini
DIBRIS, University of Genova, Italy
Pre-print
13:30 - 15:10
Session 2
VORTEX
at
Bouzy
Chair(s):
Radu Grigore
University of Kent
13:30
45m
Talk
Invited talk: Monitoring Asynchronous Communications (in Clojure)
VORTEX
Sung-Shik Jongmans
Open University of the Netherlands
14:15
30m
Talk
A Field Calculus Implementation of Spatial Logic
VORTEX
P:
Giorgio Audrito
Università di Torino
,
Ferruccio Damiani
University of Turin
,
Volker Stolz
Høgskulen på Vestlandet
,
Mirko Viroli
University of Bologna
Pre-print
15:40 - 17:20
Session 3
VORTEX
at
Bouzy
Chair(s):
Davide Ancona
University of Genova
15:40
45m
Talk
Invited talk: Fast Runtime Verification via Slow Program Analysis
VORTEX
Radu Grigore
University of Kent
16:25
30m
Talk
Empowering Multilevel DSMLs with Integrated Runtime Verification
VORTEX
P:
Fernando Macias
,
Volker Stolz
Høgskulen på Vestlandet
,
Torben Scheffel
,
Malte Schmitz
,
Adrian Rutle
Pre-print
Mon 15 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Bouzy
COP
COP
COP
Research Papers
COP
Research Papers
COP
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Bouzy
BenchWork
BenchWork
Benchmark Suites
BenchWork
Benchmark Creation
BenchWork
Specialized Benchmarks and Future
Fri 19 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Bouzy
VORTEX
Opening
VORTEX
Session 1
VORTEX
Session 2
VORTEX
Session 3
Mon 15 Jul
Displayed time zone:
Belfast
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Bouzy
COP
TinyCORP: A Calculus for Context-Oriented Reactive Programming
13:30 - 14:15
COP
Implementation of a Feature-Based Context-Oriented Programming Language
14:15 - 15:00
COP
Implementing Babylonian/S by Putting Examples into Contexts: Tracing In ...
15:30 - 16:15
COP
Distributed Context Petri Nets
16:15 - 17:00
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
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
Bouzy
BenchWork
A Word From the Chairs
10:45 - 11:00
BenchWork
Dependability Benchmarking by Injecting Software Bugs
11:00 - 11:30
BenchWork
A Renaissance for Optimizing Compilers
11:30 - 12:00
BenchWork
A Central and Evolving Benchmark
13:30 - 14:00
BenchWork
Creating and Managing Benchmark Suites with ABM
14:00 - 14:30
BenchWork
Hermes: Towards Representative Benchmarks
14:30 - 15:00
BenchWork
A Benchmark for Understanding Data Science Software
15:30 - 16:00
BenchWork
Android Taint-Analysis Benchmarks: Past, Present and Future
16:00 - 16:30
BenchWork
Discussion and Closing
16:30 - 17:00
Fri 19 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
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
Bouzy
VORTEX
Opening at 10:25
09:00 - 10:00
VORTEX
Invited talk: Runtime Verification and Objects: Are we doing it wrong?
10:30 - 11:15
VORTEX
Efficient Run-time Method for Detecting and Resolving Deadlocks in Java ...
11:15 - 11:45
VORTEX
RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Ver ...
11:45 - 12:15
VORTEX
Invited talk: Monitoring Asynchronous Communications (in Clojure)
13:30 - 14:15
VORTEX
A Field Calculus Implementation of Spatial Logic
14:15 - 14:45
VORTEX
Invited talk: Fast Runtime Verification via Slow Program Analysis
15:40 - 16:25
VORTEX
Empowering Multilevel DSMLs with Integrated Runtime Verification
16:25 - 16:55
x
Sat 9 Nov 00:02