VenueNovotel London West
Room nameBouzy
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

13:30 - 15:00: Research PapersCOP at Bouzy
Chair(s): David H. LorenzOpen University and Technion IIT
13:30 - 14:15
Talk
TinyCORP: A Calculus for Context-Oriented Reactive Programming
COP
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
DOI
14:15 - 15:00
Talk
Implementation of a Feature-Based Context-Oriented Programming Language
COP
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno DumasUniversité de Namur
DOI
15:30 - 17:00: Research PapersCOP at Bouzy
Chair(s): David H. LorenzOpen University and Technion IIT
15:30 - 16:15
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 ReinHasso Plattner Institute, Germany, Jens LinckeHasso Plattner Institute, University of Potsdam, Germany, Stefan RamsonHasso Plattner Institute, Germany, Toni MattisUniversity of Potsdam Potsdam, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI
16:15 - 17:00
Talk
Distributed Context Petri Nets
COP
Jose Daniel Fandiño de la HozUniversidad de los Andes, Juan Sebastián SosaUniversidad de los Andes, Nicolás CardozoUniversidad de los Andes
DOI

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:45 - 12:15: Benchmark SuitesBenchWork at Bouzy
10:45 - 11:00
Day opening
A Word From the Chairs
BenchWork
Kim HerzigTools for Software Engineers, Microsoft, Ben HermannPaderborn University
11:00 - 11:30
Talk
Dependability Benchmarking by Injecting Software Bugs
BenchWork
Roberto NatellaFederico II University of Naples
Media Attached
11:30 - 12:00
Talk
A Renaissance for Optimizing Compilers
BenchWork
Media Attached
13:30 - 15:00: Benchmark CreationBenchWork at Bouzy
13:30 - 14:00
Talk
A Central and Evolving Benchmark
BenchWork
Abhishek TiwariUniversity of Potsdam, Christian HammerUniversity of Potsdam
File Attached
14:00 - 14:30
Talk
Creating and Managing Benchmark Suites with ABM
BenchWork
Lisa Nguyen Quang DoPaderborn University
File Attached
14:30 - 15:00
Talk
Hermes: Towards Representative Benchmarks
BenchWork
Michael EichbergTU Darmstadt, Germany
Media Attached
15:30 - 17:00: Specialized Benchmarks and FutureBenchWork at Bouzy
15:30 - 16:00
Talk
A Benchmark for Understanding Data Science Software
BenchWork
Hridesh RajanIowa State University
16:00 - 16:30
Talk
Android Taint-Analysis Benchmarks: Past, Present and Future
BenchWork
Felix PauckPaderborn University, Germany
Media Attached
16:30 - 17:00
Day closing
Discussion and Closing
BenchWork
Kim HerzigTools for Software Engineers, Microsoft, Ben HermannPaderborn University

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: OpeningVORTEX at Bouzy
09:00 - 10:00
Day opening
Opening at 10:25
VORTEX
Davide AnconaUniversity of Genova
10:30 - 12:10: Session 1VORTEX at Bouzy
Chair(s): Sung-Shik JongmansOpen University of the Netherlands
10:30 - 11:15
Talk
Invited talk: Runtime Verification and Objects: Are we doing it wrong?
VORTEX
Giles RegerUniversity of Manchester
11:15 - 11:45
Talk
Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
VORTEX
P: Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
Pre-print
11:45 - 12:15
Talk
RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification
VORTEX
P: Luca FranceschiniDIBRIS, University of Genova, Italy
Pre-print
13:30 - 15:10: Session 2VORTEX at Bouzy
Chair(s): Radu GrigoreUniversity of Kent
13:30 - 14:15
Talk
Invited talk: Monitoring Asynchronous Communications (in Clojure)
VORTEX
Sung-Shik JongmansOpen University of the Netherlands
14:15 - 14:45
Talk
A Field Calculus Implementation of Spatial Logic
VORTEX
P: Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna
Pre-print

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change