PASS 2019
Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom
co-located with ECOOP 2019
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
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

Mon 15 Jul

Displayed time zone: Belfast change

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

Tue 16 Jul

Displayed time zone: Belfast change

Fri 19 Jul

Displayed time zone: Belfast change

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