ECOOP 2019
Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom
ECOOP 2019 (series) / Novotel London West /

Room information: Bouzy

VenueNovotel London West
Room nameBouzy
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

Mon 15 Jul

Displayed time zone: Belfast change

13:30 - 15:00
Research PapersCOP 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 PapersCOP 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 SuitesBenchWork 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 CreationBenchWork 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 FutureBenchWork 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
OpeningVORTEX at Bouzy
09:00
60m
Day opening
Opening at 10:25
VORTEX
Davide Ancona University of Genova
10:30 - 12:10
Session 1VORTEX 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 2VORTEX 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 3VORTEX 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Bouzy

COP

COP

COP

Research Papers

COP

Research Papers

COP

Tue 16 Jul

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Bouzy

BenchWork

BenchWork

Benchmark Suites

BenchWork

Benchmark Creation

BenchWork

Specialized Benchmarks and Future

Fri 19 Jul

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Bouzy

VORTEX

Opening

VORTEX

Session 1

VORTEX

Session 2

VORTEX

Session 3

Mon 15 Jul

Displayed time zone: Belfast change

Room13:0015304514:0015304515:0015304516:00153045
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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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