Program - ECOOP 2019

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Belfast.

Use conference time zone: (GMT+01:00) BelfastSelect other time zone

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 programSpecify 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

10:45 - 12:15	Session OneFTfJP at Epernay

10:45 60m Talk		Invited Talk - JayHorn: A Java Model Checker FTfJP Philipp Ruemmer Uppsala University
11:45 30m Full-paper		CallƐ: An Effect System for Method Calls FTfJP Isaac Oscar Gariano , James Noble Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand

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

13:30 - 15:00	Session TwoFTfJP at Epernay

13:30 60m Talk		Invited Talk - Building Trustworthy Software with CakeML FTfJP Scott Owens University of Kent, UK
14:30 30m Full-paper		Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions FTfJP Julia Belyakova Northeastern University, USA DOI Pre-print

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

15:30 - 17:00	Session ThreeFTfJP at Epernay

15:30 30m Full-paper		Towards Deductive Verification of C11 Programs with Event-B and ProB FTfJP Sadegh Dalvandi University of Surrey, Brijesh Dongol University of Surrey
16:00 30m Full-paper		Specifying I/O using Abstract Nested Hoare Triples in Separation Logic FTfJP Willem Penninckx KU Leuven, Amin Timany imec-Distrinet KU-Leuven, Bart Jacobs KU Leuven
16:30 15m Short-paper		Analysis of MiniJava Programs via Translation to ML FTfJP Martin Lester University of Reading
16:45 15m Short-paper		Translating Classes to First-Order Logic: An Example FTfJP Fangzhen Lin

FTfJP 2019 Program

Mon 15 Jul
Displayed time zone: Belfast change

Tracks

Workshops

FTfJP 2019 Program

Switch Program View

Program Display Configuration

Mon 15 JulDisplayed time zone: Belfast change

Get Calendar (iCal)

Mon 15 Jul
Displayed time zone: Belfast change