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

Room information: Epernay

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

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

Tue 16 Jul

Displayed time zone: Belfast change

09:00 - 10:15
Introduction to CogniCryptPanathon at Epernay
09:00
75m
Tutorial
Session 1: Introduction to CogniCrypt
Panathon
P: Stefan Krüger Paderborn University
10:45 - 12:15
CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?Panathon at Epernay
10:45
15m
Demonstration
Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge
Panathon
P: Linghui Luo Paderborn University
11:00
75m
Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
Panathon
Stefan Krüger Paderborn University
13:30 - 15:00
Dynamic CogniCrypt – Static Failures and Dynamic SuccessesPanathon at Epernay
13:30
90m
Demonstration
Session 3: Dynamic CogniCrypt – Static Failures and Dynamic Successes
Panathon
Kristen Newbury University of Alberta
15:30 - 17:00
Crypto Task HackathonPanathon at Epernay
15:30
90m
Session 4: Crypto Task Hackathon
Panathon

Wed 17 Jul

Displayed time zone: Belfast change

09:00 - 10:00
KeynoteScala at Epernay
09:00
60m
Talk
Silicon at the Speed of Software: From Circuits to Systems
Scala
Henry Cook SiFive
10:30 - 12:10
TypesScala at Epernay
10:30
30m
Research paper
Dependent Object Types with Implicit Functions
Scala
Alex Jeffery University of Sussex
11:00
20m
Talk
Symmetric Multiple Dispatch for Path Dependent Types
Scala
Jaemin Hong KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
11:20
20m
Talk
A universal encoding for functions in Scala based on structural types
Scala
Guillaume Martres EPFL, Switzerland
11:40
30m
Short-paper
Towards Improved GADT Reasoning in Scala
Scala
Lionel Parreaux EPFL, Aleksander Boruch-Gruszecki EPFL, Paolo G. Giarrusso TU Delft, The Netherlands
13:30 - 15:10
TestingScala at Epernay
13:30
30m
Short-paper
Tests as Maintainable Assets Via Auto-generated Spies
Scala
Konstantin Läufer Loyola University Chicago, John O'Sullivan Loyola University Chicago, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory
14:00
30m
Short-paper
SoCRATES - Scala Radar for Test Smells
Scala
Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel, Dario Di Nucci Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
14:30
20m
Talk
Resilience Testing of Akka Systems
Scala
Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel
14:50
20m
Talk
TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
Scala
Mohammadreza Ashouri University of Potsdam, Germany
15:40 - 17:20
Compilation and verificationScala at Epernay
15:40
30m
Short-paper
Effpi: Verified Message-Passing Programs in Dotty
Scala
Alceste Scalas Aston University, Birmingham, UK, Nobuko Yoshida Imperial College London, Elias Benussi Faculty Science Ltd
16:10
20m
Talk
Challenges of Optimizing Scala Programs
Scala
Aleksandar Prokopec Oracle Labs
16:30
20m
Talk
Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Scala
Alen Stojanov , Tiark Rompf Purdue University, Markus Püschel ETH Zürich

Thu 18 Jul

Displayed time zone: Belfast change

10:30 - 12:10
Session #1AORTA at Epernay
Chair(s): Xiaoli Liang IBM Canada
10:30
50m
Talk
KEYNOTE: The Democratization of Runtime Technology
AORTA
John Duimovich
11:20
25m
Talk
Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
AORTA
Manas Thakur IIT Madras, V Krishna Nandivada IIT Madras
11:45
25m
Talk
JIT as a Service: Compilation Paradigm for the Cloud
AORTA
Daryl Maier IBM Canada, Xiaoli Liang IBM Canada
13:30 - 15:10
Session #2AORTA at Epernay
Chair(s): Daryl Maier IBM Canada
13:30
25m
Talk
Tornado VM: A Java Virtual Machine for Exploiting High-Performance Heterogeneous Hardware
AORTA
Christos Kotselidis University of Manchester, UK
13:55
25m
Talk
Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching
AORTA
Stefan Marr University of Kent
14:20
25m
Talk
Janus: automatic binary analysis, instrumentation and optimisation using rewrite rules
AORTA
Ruoyu Zhou University of Cambridge, UK, Timothy M. Jones University of Cambridge, UK
14:45
25m
Talk
Lightweight Software Profiling of Compiled Code
AORTA
Andrew Craik IBM Canada
15:40 - 16:40
Session #3AORTA at Epernay
Chair(s): Hugh Leather University of Edinburgh
15:40
30m
Talk
Full-system Cross-architecture Hardware Virtualisation
AORTA
Tom Spink University of Edinburgh
16:10
30m
Talk
Create your own Interpreter with a JIT under 30 minutes
AORTA
Igor Braga IBM Canada
File Attached

Fri 19 Jul

Displayed time zone: Belfast change

09:00 - 10:00
Starting KeynoteICOOOLPS at Epernay
09:00
5m
Day opening
Introduction
ICOOOLPS
Clément Béra Google, Aarhus
09:05
55m
Talk
Keynote: Compiling for Android
ICOOOLPS
K: Mads Ager Google
10:30 - 12:10
Workshop sessionICOOOLPS at Epernay
10:30
25m
Research paper
Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code
ICOOOLPS
Johannes Henning Hasso Plattner Institute, David Stangl , Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
DOI
10:55
25m
Research paper
Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
ICOOOLPS
Tomoharu Ugawa Kochi University of Technology, Japan, Hideya Iwasaki University of Electro-Communications, Japan, Takafumi Kataoka
11:20
25m
Research paper
Progress Report: Exploring API Design for Capabilities for Programming with Arrays
ICOOOLPS
Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
11:45
25m
Research paper
Towards a Type System for R
ICOOOLPS
Alexi Turcotte Northeastern University, Jan Vitek Northeastern University
13:30 - 15:10
Closing keynote & Interactive sessionICOOOLPS at Epernay
13:30
55m
Talk
Keynote: Project Snowflake: What we learnt.
ICOOOLPS
Matthew J. Parkinson Microsoft Research, UK
14:25
45m
Other
Interactive session
ICOOOLPS
Eric Jul University of Oslo

Mon 15 Jul

Displayed time zone: Belfast change

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

FTfJP

FTfJP

Session One

FTfJP

Session Two

FTfJP

Session Three

Tue 16 Jul

Displayed time zone: Belfast change

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

Panathon

Introduction to CogniCrypt

Panathon

CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?

Panathon

Dynamic CogniCrypt – Static Failures and Dynamic Successes

Panathon

Crypto Task Hackathon

Wed 17 Jul

Displayed time zone: Belfast change

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

Scala

Keynote

Scala

Types

Scala

Testing

Scala

Compilation and verification

Thu 18 Jul

Displayed time zone: Belfast change

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

AORTA

AORTA

Session #1

AORTA

Session #2

AORTA

Session #3

Fri 19 Jul

Displayed time zone: Belfast change

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

ICOOOLPS

Starting Keynote

ICOOOLPS

Workshop session

ICOOOLPS

Closing keynote & Interactive session

ICOOOLPS

Mon 15 Jul

Displayed time zone: Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Epernay
FTfJP
Invited Talk - JayHorn: A Java Model Checker
10:45 - 11:45
FTfJP
CallƐ: An Effect System for Method Calls
11:45 - 12:15
FTfJP
Invited Talk - Building Trustworthy Software with CakeML
13:30 - 14:30
FTfJP
Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and ...
14:30 - 15:00
FTfJP
Towards Deductive Verification of C11 Programs with Event-B and ProB
15:30 - 16:00
FTfJP
Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
16:00 - 16:30
FTfJP
Analysis of MiniJava Programs via Translation to ML
16:30 - 16:45
FTfJP
Translating Classes to First-Order Logic: An Example
16:45 - 17:00

Tue 16 Jul

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Epernay
Panathon
Session 1: Introduction to CogniCrypt
09:00 - 10:15
Panathon
Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDE ...
10:45 - 11:00
Panathon
Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
11:00 - 12:15
Panathon
Session 3: Dynamic CogniCrypt – Static Failures and Dynamic Successes
13:30 - 15:00
Panathon
Session 4: Crypto Task Hackathon
15:30 - 17:00

Wed 17 Jul

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Epernay
Scala
Silicon at the Speed of Software: From Circuits to Systems
09:00 - 10:00
Scala
Dependent Object Types with Implicit Functions
10:30 - 11:00
Scala
Symmetric Multiple Dispatch for Path Dependent Types
11:00 - 11:20
Scala
A universal encoding for functions in Scala based on structural types
11:20 - 11:40
Scala
Towards Improved GADT Reasoning in Scala
11:40 - 12:10
Scala
Tests as Maintainable Assets Via Auto-generated Spies
13:30 - 14:00
Scala
SoCRATES - Scala Radar for Test Smells
14:00 - 14:30
Scala
Resilience Testing of Akka Systems
14:30 - 14:50
Scala
TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
14:50 - 15:10
Scala
Effpi: Verified Message-Passing Programs in Dotty
15:40 - 16:10
Scala
Challenges of Optimizing Scala Programs
16:10 - 16:30
Scala
Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
16:30 - 16:50

Thu 18 Jul

Displayed time zone: Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Epernay
AORTA
KEYNOTE: The Democratization of Runtime Technology
10:30 - 11:20
AORTA
Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
11:20 - 11:45
AORTA
JIT as a Service: Compilation Paradigm for the Cloud
11:45 - 12:10
AORTA
Tornado VM: A Java Virtual Machine for Exploiting High-Performance Hete ...
13:30 - 13:55
AORTA
Another Decade of SOM Language Implementation: Virtual Machines for Res ...
13:55 - 14:20
AORTA
Janus: automatic binary analysis, instrumentation and optimisation usin ...
14:20 - 14:45
AORTA
Lightweight Software Profiling of Compiled Code
14:45 - 15:10
AORTA
Full-system Cross-architecture Hardware Virtualisation
15:40 - 16:10
AORTA
Create your own Interpreter with a JIT under 30 minutes
16:10 - 16:40

Fri 19 Jul

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Epernay
ICOOOLPS
Introduction
09:00 - 09:05
ICOOOLPS
Keynote: Compiling for Android
09:05 - 10:00
ICOOOLPS
Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging i ...
10:30 - 10:55
ICOOOLPS
Collecting Type Information Using Unit Tests for Customization of JavaS ...
10:55 - 11:20
ICOOOLPS
Progress Report: Exploring API Design for Capabilities for Programming ...
11:20 - 11:45
ICOOOLPS
Towards a Type System for R
11:45 - 12:10
ICOOOLPS
Keynote: Project Snowflake: What we learnt.
13:30 - 14:25
ICOOOLPS
Interactive session
14:25 - 15:10