ECOOP 2019 (series) / VORTEX 2019 (series) /
VORTEX 2019 Program
This is the VORTEX 2019 program - see the full program for ECOOP 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 JulDisplayed time zone: Belfast change
Mon 15 Jul
Displayed time zone: Belfast change
13:30 - 15:00 | |||
13:30 45mTalk | TinyCORP: A Calculus for Context-Oriented Reactive Programming COP DOI | ||
14:15 45mTalk | 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 | |||
15:30 45mTalk | 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 45mTalk | 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 |
Fri 19 JulDisplayed time zone: Belfast change
Fri 19 Jul
Displayed time zone: Belfast change
09:00 - 10:00 | |||
09:00 60mDay opening | Opening at 10:25 VORTEX Davide Ancona University of Genova |
10:30 - 12:10 | |||
10:30 45mTalk | Invited talk: Runtime Verification and Objects: Are we doing it wrong? VORTEX Giles Reger University of Manchester | ||
11:15 30mTalk | 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 30mTalk | RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification VORTEX Pre-print |
13:30 - 15:10 | |||
13:30 45mTalk | Invited talk: Monitoring Asynchronous Communications (in Clojure) VORTEX Sung-Shik Jongmans Open University of the Netherlands | ||
14:15 30mTalk | 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 | |||
15:40 45mTalk | Invited talk: Fast Runtime Verification via Slow Program Analysis VORTEX Radu Grigore University of Kent | ||
16:25 30mTalk | 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 |