ECOOP 2019
Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom
Toggle navigation
Attending
Venue: Novotel London West
Sponsorship
Conduct
Students
Visa
Accommodation
Registration
Socials
Live
Awards
Program
ECOOP Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
ECOOP 2019
Research Papers
Artifacts
Student Volunteers
Doctoral Symposium
Summer School
Workshops
Posters
Curry On
Workshops
AORTA
BenchWork
COP
FTfJP
ICOOOLPS
PASS
(CANCELED)
Panathon
Scala
VORTEX
Organization
ECOOP 2019 Committees
Organizing Committee
Track Committees
Research Papers
Program Committee
External Review Committee
Artifacts
Student Volunteers
Doctoral Symposium
Academic Panel
Organizing Committee
Program Committee
Workshops
Posters
Curry On
Contributors
People Index
Workshops
AORTA
Organizing Committee
Program Committee
BenchWork
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
Steering Commitee
ICOOOLPS
Organizing Committee
Program Committee
PASS
Organizing Committee
Program Committee
Panathon
Organizing Committee
Scala
Organizing Committee
Program Committee
Steering Committee
VORTEX
Organizing Committee
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 2019
(
series
) /
Novotel London West
/
Room information: Mancy
Venue
Novotel London West
Room name
Mancy
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Belfast
.
Use conference time zone: (GMT+01:00) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
09:00 - 10:15
Keynote
Curry On
at
Mancy
09:00
75m
Talk
Glean: facts about code
Curry On
Simon Marlow
Facebook
10:45 - 12:15
Talks
Curry On
at
Mancy
10:45
45m
Talk
The Correct Cloud: Logic and Languages
Curry On
Thomas Ball
Microsoft Research
11:30
45m
Talk
Beyond the Paper: End-to-End Program Analysis
Curry On
Cameron Tenny
r2c
13:30 - 15:00
Talks
Curry On
at
Mancy
13:30
45m
Talk
Asynchronous streams in direct style with and without macros
Curry On
Philipp Haller
KTH Royal Institute of Technology, Sweden
14:15
45m
Talk
Using ML for Code Discovery at Facebook
Curry On
Sifei Luan
Facebook
,
Celeste Barnaby
Wesleyan University
,
Koushik Sen
University of California, Berkeley
,
Satish Chandra
Facebook
15:30 - 17:00
Talks
Curry On
at
Mancy
15:30
45m
Talk
Idris 2: Type-driven Development of Idris
Curry On
Edwin Brady
University of St. Andrews, UK
16:15
45m
Talk
Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
Curry On
Ron Pressler
17:30 - 18:30
Keynote
Curry On
at
Mancy
17:30
60m
Talk
Bringing WebAssembly outside the web with WASI
Curry On
Lin Clark
Mozilla
,
Till Schneidereit
Mozilla
Tue 16 Jul
Displayed time zone:
Belfast
change
09:00 - 10:15
Keynote
Curry On
at
Mancy
09:00
75m
Talk
Logo, A Computer Language to Grow With
Curry On
Cynthia Solomon
10:45 - 12:15
Talks
Curry On
at
Mancy
10:45
45m
Talk
Plutus and Marlowe
Curry On
Philip Wadler
University of Edinburgh, UK
11:30
45m
Talk
The search for fundamental software engineering principles
Curry On
Tomas Petricek
University of Kent
13:30 - 15:00
Talks
Curry On
at
Mancy
13:30
45m
Talk
Getafix: Learning to fix bugs automatically
Curry On
Andrew Scott
Facebook
,
Johannes Bader
Facebook
,
Satish Chandra
Facebook
14:15
45m
Talk
Carp—A Language for the 21st Century
Curry On
Veit Heller
Port Zero
15:30 - 17:00
Talks
Curry On
at
Mancy
15:30
45m
Talk
Gradual typing for Ruby at Scale with Sorbet
Curry On
Dmitry Petrashko
Stripe
16:15
45m
Talk
Fabulous - Functional programming for cross-platform mobile apps
Curry On
Don Syme
Microsoft
17:30 - 18:30
Keynote
Curry On
at
Mancy
17:30
60m
Talk
The Making of a Secure and Robust IoT Development Platform
Curry On
Lars Bak
Google
Wed 17 Jul
Displayed time zone:
Belfast
change
09:00 - 10:00
Dahl-Nygaard Prize Keynote
Research Papers
at
Mancy
Chair(s):
Laurence Tratt
King's College London
09:00
60m
Talk
Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)
Research Papers
K:
Ilya Sergey
Yale-NUS College and National University of Singapore
Media Attached
File Attached
10:30 - 12:10
Language Design and Implementation
Research Papers
at
Mancy
Chair(s):
John Wickerson
Imperial College London
10:30
20m
Research paper
Lifestate: Event-Driven Protocols and Callback Control Flow
Research Papers
Shawn Meier
University of Colorado, Boulder
,
Sergio Mover
Ecole Polytechnique
,
Bor-Yuh Evan Chang
University of Colorado Boulder
DOI
Media Attached
10:50
20m
Research paper
Godot: All the Benefits of Implicit and Explicit Futures
Research Papers
Kiko Fernandez-Reyes
Uppsala University
,
Einar Broch Johnsen
University of Oslo
,
Dave Clarke
Uppsala Univ. Sweden and KU Leuvern
,
Ludovic Henrio
CNRS
,
Tobias Wrigstad
Uppsala University
DOI
Media Attached
11:10
20m
Research paper
Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Research Papers
Daniel A. A. Pelsmaeker
Delft University of Technology, Netherlands
,
Hendrik van Antwerpen
TU Delft
,
Eelco Visser
Delft University of Technology
DOI
Media Attached
11:30
20m
Research paper
Multitier Modules
Research Papers
Pascal Weisenburger
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
DOI
Media Attached
11:50
20m
Research paper
Scopes and Frames Improve Meta-Interpreter Specialization
Research Papers
Vlad Vergu
TU Delft
,
Eelco Visser
Delft University of Technology
,
Andrew Tolmach
Portland State University
DOI
Media Attached
13:30 - 15:10
Types
Research Papers
at
Mancy
Chair(s):
Davide Ancona
University of Genova
13:30
20m
Research paper
Transient Typechecks are (Almost) Free
Research Papers
Richard Roberts
Victoria University of Wellington
,
Stefan Marr
University of Kent
,
Michael Homer
Victoria University of Wellington
,
James Noble
Victoria University of Wellington
DOI
Media Attached
13:50
20m
Research paper
A Typing Discipline for Hardware Interfaces
Research Papers
Jan de Muijnck-Hughes
University of Glasgow
,
Wim Vanderbauwhede
University of Glasgow
DOI
Media Attached
14:10
20m
Research paper
Minimal Session Types
Research Papers
Alen Arslanagić
University of Groningen
,
Jorge A. Pérez
University of Groningen, The Netherlands
,
Erik Voogd
University of Oslo
DOI
Media Attached
14:30
20m
Research paper
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples
Research Papers
Benjamin Chung
Northeastern University
,
Francesco Zappa Nardelli
Inria
,
Jan Vitek
Northeastern University
DOI
Media Attached
14:50
20m
Research paper
On Satisfiability of Nominal Subtyping with Variance
Research Papers
Aleksandr Misonizhnik
Saint-Petersburg State University
,
Dmitry Mordvinov
Saint-Petersburg State University, JetBrains Research
DOI
Media Attached
15:40 - 17:00
Program Analysis 1
Research Papers
at
Mancy
Chair(s):
Yannis Smaragdakis
University of Athens
15:40
20m
Research paper
Static Analysis for Asynchronous JavaScript Programs
Research Papers
Thodoris Sotiropoulos
Athens University of Economics and Business
,
Ben Livshits
Imperial College London, UK
DOI
16:00
20m
Research paper
A Program Logic for First-Order Encapsulated WebAssembly
Research Papers
Conrad Watt
University of Cambridge
,
Petar Maksimović
Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia
,
Neel Krishnaswami
Computer Laboratory, University of Cambridge
,
Philippa Gardner
Imperial College London
DOI
Media Attached
16:20
20m
Research paper
Garbage-free Abstract Interpretation through Abstract Reference Counting
Research Papers
Noah Van Es
Sofware Languages Lab, Vrije Universiteit Brussel
,
Quentin Stiévenart
Vrije Universiteit Brussel, Belgium
,
Coen De Roover
Vrije Universiteit Brussel
DOI
16:40
20m
Research paper
Eventually Sound Points-To Analysis with Specifications
Research Papers
Osbert Bastani
University of Pennsylvania
,
Rahul Sharma
Microsoft Research
,
Lazaro Clapp
Stanford University
,
Saswat Anand
Stanford University
,
Alex Aiken
Stanford University
DOI
Media Attached
17:00 - 17:50
Awards and Recognition
Research Papers
at
Mancy
17:00
10m
Awards
ECOOP Awards
Research Papers
P:
Alastair F. Donaldson
Imperial College London
,
A:
Maria Christakis
MPI-SWS
,
A:
Manuel Rigger
ETH Zurich
17:10
40m
Talk
A tribute to Laurie Hendren
Research Papers
Jan Vitek
Northeastern University
Media Attached
18:00 - 19:30
Poster session
Posters
at
Mancy
18:00
90m
Poster
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors
ECOOP poster
Posters
Linghui Luo
Paderborn University
,
Julian Dolby
IBM Research
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00
90m
Poster
A Parallel Spreadsheet Interpreter With Cycle Detection
Posters
Alexander Asp Bock
IT University of Copenhagen
18:00
90m
Poster
Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
FTfJP poster
Posters
Willem Penninckx
KU Leuven
,
Amin Timany
imec-Distrinet KU-Leuven
,
Bart Jacobs
KU Leuven
18:00
90m
Poster
Reliable State Machines: A Framework for Programming Reliable Cloud Services
ECOOP poster
Posters
Suvam Mukherjee
Indian Institute of Science
,
Nitin John Raj
International Institute of Information Technology, Hyderabad
,
Krishnan Govindraj
Microsoft Research
,
Pantazis Deligiannis
Microsoft Research
,
Chandramouleswaran Ravichandran
Microsoft Azure
,
Akash Lal
Microsoft Research India
,
Aseem Rastogi
Microsoft Research
,
Raja Krishnaswamy
Microsoft Azure
18:00
90m
Poster
RML: Runtime Monitoring Language
VORTEX poster
Posters
Luca Franceschini
DIBRIS, University of Genova, Italy
File Attached
18:00
90m
Poster
Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
AORTA poster
Posters
Manas Thakur
IIT Madras
,
V Krishna Nandivada
IIT Madras
18:00
90m
Poster
Fling---A Fluent API Generator
ECOOP poster
Posters
Yossi Gil
Technion—Israel Institute of Technology
,
Ori Roth
Technion
File Attached
18:00
90m
Poster
TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration
AORTA poster
Posters
Juan Fumero
University of Manchester, UK
,
Michail Papadimitriou
University of Manchester, UK
,
Christos Kotselidis
University of Manchester, UK
File Attached
18:00
90m
Poster
Static Analysis for Asynchronous JavaScript Programs
ECOOP poster
Posters
Thodoris Sotiropoulos
Athens University of Economics and Business
,
Benjamin Livshits
Imperial College London, UK
18:00
90m
Poster
To Async or Not to Async: Better Cooperative Multithreading is the Answer
Posters
Benjamin Ylvisaker
18:00
90m
Poster
TinyCORP: A Calculus for Context-Oriented Reactive Programming
COP poster
Posters
Tetsuo Kamina
Oita University
,
Tomoyuki Aotani
Tokyo Institute of Technology
18:00
90m
Poster
Semantic Patches for Java Program Transformation
ECOOP poster
Posters
Hong Jin Kang
School of Information Systems, Singapore Management University
,
Ferdian Thung
,
Julia Lawall
Inria/LIP6
,
Gilles Muller
LIP6-INRIA/UPMC
,
Lingxiao Jiang
Singapore Management University
,
David Lo
Singapore Management University
18:00
90m
Poster
Static Analysis in Real-World Operational Scenarios
Doctoral Symposium poster
Posters
Philipp Dominik Schubert
Heinz Nixdorf Institut, Paderborn University
File Attached
18:00
90m
Poster
IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications
Posters
Abhishek Tiwari
University of Potsdam
,
Sascha Groß
University of Potsdam
,
Christian Hammer
University of Potsdam
File Attached
18:00
90m
Poster
Towards Language-Parametric Semantic Editor Services
ECOOP poster
Posters
Daniel A. A. Pelsmaeker
Delft University of Technology, Netherlands
,
Hendrik van Antwerpen
TU Delft
,
Eelco Visser
Delft University of Technology
18:00
90m
Poster
Type-Safe Data Plane Programming with SafeP4
ECOOP poster
Posters
Matthias Eichholz
,
Eric Campbell
Cornell University
,
Nate Foster
Cornell University
,
Guido Salvaneschi
TU Darmstadt
,
Mira Mezini
TU Darmstadt, Germany
18:00
90m
Poster
Create your own Interpreter with a JIT
AORTA poster
Posters
Igor Braga
IBM Canada
File Attached
18:00
90m
Poster
Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs
Posters
Lisa Nguyen Quang Do
Paderborn University
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00
90m
Poster
NumLin: Linear Types for Linear Algebra
ECOOP poster
Posters
Dhruv Makwana
Unaffiliated
,
Neel Krishnaswami
Computer Laboratory, University of Cambridge
File Attached
18:00
90m
Poster
Towards Resilience Testing of Actor Programs through Test Perturbations
Scala poster
Posters
Jonas De Bleser
Sofware Languages Lab, Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
18:00
90m
Poster
JIT as a Service: Compilation Paradigm for the Cloud
AORTA poster
Posters
Xiaoli Liang
IBM Canada
,
Daryl Maier
IBM Canada
18:00
90m
Poster
Transferring Obligations Through Synchronizations
ECOOP poster
Posters
Jafar Hamin
imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium
,
Bart Jacobs
Radboud University Nijmegen
18:00
90m
Poster
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
ECOOP poster
Posters
Alex Villazón
Universidad Privada Boliviana, Bolivia
,
Haiyang Sun
Università della Svizzera italiana
,
Andrea Rosà
University of Lugano, Switzerland
,
Eduardo Rosales
University of Lugano, Switzerland
,
Daniele Bonetta
Oracle Labs
,
Isabella Defilippis
Universidad Privada Boliviana (UPB)
,
Sergio Oporto
Universidad Privada Boliviana (UPB)
,
Walter Binder
University of Lugano, Switzerland
18:00
90m
Poster
Garbage-free Abstract Interpretation through Abstract Reference Counting
ECOOP poster
Posters
Noah Van Es
Sofware Languages Lab, Vrije Universiteit Brussel
,
Quentin Stiévenart
Vrije Universiteit Brussel, Belgium
,
Coen De Roover
Vrije Universiteit Brussel
File Attached
18:00
90m
Poster
Finally, a Polymorphic Linear Algebra Language
ECOOP poster
Posters
Amir Shaikhha
University of Oxford
,
Lionel Parreaux
EPFL
18:00
90m
Poster
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
ECOOP poster
Posters
Carmen Torres Lopez
Vrije Universiteit Brussel
,
Robbert Gurdeep Singh
Universiteit Gent, Belgium
,
Stefan Marr
University of Kent
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
,
Christophe Scholliers
Universiteit Gent, Belgium
18:00
90m
Poster
Lifestate: Event-Driven Protocols and Callback Control Flow
ECOOP poster
Posters
Shawn Meier
University of Colorado, Boulder
,
Sergio Mover
Ecole Polytechnique
,
Bor-Yuh Evan Chang
University of Colorado Boulder
18:00
90m
Poster
Distributed System Development with ScalaLoci
ECOOP poster
Posters
Pascal Weisenburger
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
18:00
90m
Poster
Lightweight Software Profiling of Compiled Code
AORTA poster
Posters
Andrew Craik
IBM Canada
,
Rahil Shah
IBM Canada
,
Ben Thomas
IBM Canada
,
Devin Papineau
IBM Canada
18:00
90m
Poster
Android App Analysis Query Language
BenchWork poster
Posters
Felix Pauck
Paderborn University, Germany
Media Attached
18:00
90m
Poster
DynaSOAr: A Parallel Memory Allocator for OOP on GPUs
ECOOP poster
Posters
Matthias Springer
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
18:00
90m
Poster
Godot: All the Benefits of Implicit and Explicit Futures
ECOOP poster
Posters
Kiko Fernandez-Reyes
Uppsala University
,
Dave Clarke
Uppsala Univ. Sweden and KU Leuvern
,
Ludovic Henrio
CNRS
,
Einar Broch Johnsen
University of Oslo
,
Tobias Wrigstad
Uppsala University
File Attached
18:00
90m
Poster
Deep Static Modeling of invokedynamic
ECOOP poster
Posters
George Fourtounis
University of Athens
,
Yannis Smaragdakis
University of Athens
Thu 18 Jul
Displayed time zone:
Belfast
change
09:00 - 10:00
Keynote
Research Papers
at
Mancy
Chair(s):
Sophia Drossopoulou
Imperial College London
09:00
60m
Talk
Rethinking Compositionality: Composing Proofs From Program Behaviours
Research Papers
K:
Azadeh Farzan
University of Toronto
Media Attached
10:30 - 12:10
Domain Specific Languages
Research Papers
at
Mancy
Chair(s):
Sebastian Erdweg
JGU Mainz
10:30
20m
Research paper
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Research Papers
Matthias Eichholz
,
Eric Campbell
Cornell University
,
Nate Foster
Cornell University
,
Guido Salvaneschi
TU Darmstadt
,
Mira Mezini
TU Darmstadt, Germany
DOI
Media Attached
10:50
20m
Research paper
Fling—A Fluent API Generator
Research Papers
Yossi Gil
Technion—Israel Institute of Technology
,
Ori Roth
Technion
DOI
11:10
20m
Research paper
Semantic Patches for Java Program Transformation
Research Papers
Hong Jin Kang
School of Information Systems, Singapore Management University
,
Ferdian Thung
,
Julia Lawall
Inria/LIP6
,
Gilles Muller
LIP6-INRIA/UPMC
,
Lingxiao Jiang
Singapore Management University
,
David Lo
Singapore Management University
DOI
Media Attached
11:30
20m
Research paper
Finally, a Polymorphic Linear Algebra Language
Research Papers
Amir Shaikhha
University of Oxford
,
Lionel Parreaux
EPFL
DOI
11:50
20m
Research paper
NumLin: Linear Types for Linear Algebra
Research Papers
Dhruv Makwana
Unaffiliated
,
Neel Krishnaswami
Computer Laboratory, University of Cambridge
DOI
Pre-print
Media Attached
File Attached
13:30 - 15:10
Program Analysis 2
Research Papers
at
Mancy
Chair(s):
Christian Hammer
University of Potsdam
13:30
20m
Research paper
Deep Static Modeling of invokedynamic
Research Papers
George Fourtounis
University of Athens
,
Yannis Smaragdakis
University of Athens
DOI
Media Attached
13:50
20m
Research paper
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Research Papers
Alex Villazón
Universidad Privada Boliviana, Bolivia
,
Haiyang Sun
Università della Svizzera italiana
,
Andrea Rosà
University of Lugano, Switzerland
,
Eduardo Rosales
University of Lugano, Switzerland
,
Daniele Bonetta
Oracle Labs
,
Isabella Defilippis
Universidad Privada Boliviana (UPB)
,
Sergio Oporto
Universidad Privada Boliviana (UPB)
,
Walter Binder
University of Lugano, Switzerland
DOI
Media Attached
14:10
20m
Research paper
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors
Research Papers
Linghui Luo
Paderborn University
,
Julian Dolby
IBM Research
,
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI
Pre-print
Media Attached
14:30
20m
Research paper
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Research Papers
Alexi Turcotte
Northeastern University
,
Ellen Arteca
Northeastern University
,
Gregor Richards
University of Waterloo
DOI
Media Attached
14:50
20m
Research paper
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
Research Papers
Carmen Torres Lopez
Vrije Universiteit Brussel
,
Robbert Gurdeep Singh
Universiteit Gent, Belgium
,
Stefan Marr
University of Kent
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel, Belgium
,
Christophe Scholliers
Universiteit Gent, Belgium
DOI
Media Attached
15:40 - 17:00
Concurrency and Parallelism
Research Papers
at
Mancy
Chair(s):
Stephen Kell
University of Kent
15:40
20m
Research paper
DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access
Research Papers
Matthias Springer
Tokyo Institute of Technology
,
Hidehiko Masuhara
Tokyo Institute of Technology
DOI
Pre-print
Media Attached
16:00
20m
Research paper
Reliable State Machines: A Framework for Programming Reliable Cloud Services
Research Papers
Suvam Mukherjee
Microsoft Research India
,
Nitin John Raj
International Institute of Information Technology, Hyderabad
,
Krishnan Govindraj
Microsoft Research
,
Pantazis Deligiannis
Microsoft Research
,
Chandramouleswaran Ravichandran
Microsoft Azure
,
Akash Lal
Microsoft Research India
,
Aseem Rastogi
Microsoft Research
,
Raja Krishnaswamy
Microsoft Azure
DOI
Media Attached
16:20
20m
Research paper
Transferring Obligations Through Synchronizations
Research Papers
Jafar Hamin
imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium
,
Bart Jacobs
KU Leuven
DOI
Media Attached
16:40
20m
Research paper
Motion Session Types for Robotic Interactions
Research Papers
Rupak Majumdar
MPI-SWS, Germany
,
Marcus Pirron
MPI-SWS
,
Nobuko Yoshida
Imperial College London
,
Damien Zufferey
MPI-SWS
DOI
Media Attached
17:00 - 18:00
Closing Keynote
Research Papers
at
Mancy
Chair(s):
Alastair F. Donaldson
Imperial College London
17:00
60m
Talk
Automatic Differentiation for Dummies
Research Papers
K:
Simon Peyton Jones
Microsoft, UK
Media Attached
Mon 15 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Mancy
Curry On
Keynote
Curry On
Talks
Curry On
Talks
Curry On
Talks
Curry On
Keynote
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Mancy
Curry On
Keynote
Curry On
Talks
Curry On
Talks
Curry On
Talks
Curry On
Keynote
Wed 17 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Mancy
Research Papers
Dahl-Nygaard Prize Keynote
Research Papers
Language Design and Implementation
Research Papers
Types
Research Papers
Program Analysis 1
Research Papers
Awards and Recognition
Posters
Poster session
Thu 18 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Mancy
Research Papers
Keynote
Research Papers
Domain Specific Languages
Research Papers
Program Analysis 2
Research Papers
Concurrency and Parallelism
Research Papers
Closing Keynote
Mon 15 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Mancy
ECOOP Curry On
Glean: facts about code
09:00 - 10:15
ECOOP Curry On
The Correct Cloud: Logic and Languages
10:45 - 11:30
ECOOP Curry On
Beyond the Paper: End-to-End Program Analysis
11:30 - 12:15
ECOOP Curry On
Asynchronous streams in direct style with and without macros
13:30 - 14:15
ECOOP Curry On
Using ML for Code Discovery at Facebook
14:15 - 15:00
ECOOP Curry On
Idris 2: Type-driven Development of Idris
15:30 - 16:15
ECOOP Curry On
Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
16:15 - 17:00
ECOOP Curry On
Bringing WebAssembly outside the web with WASI
17:30 - 18:30
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Mancy
ECOOP Curry On
Logo, A Computer Language to Grow With
09:00 - 10:15
ECOOP Curry On
Plutus and Marlowe
10:45 - 11:30
ECOOP Curry On
The search for fundamental software engineering principles
11:30 - 12:15
ECOOP Curry On
Getafix: Learning to fix bugs automatically
13:30 - 14:15
ECOOP Curry On
Carp—A Language for the 21st Century
14:15 - 15:00
ECOOP Curry On
Gradual typing for Ruby at Scale with Sorbet
15:30 - 16:15
ECOOP Curry On
Fabulous - Functional programming for cross-platform mobile apps
16:15 - 17:00
ECOOP Curry On
The Making of a Secure and Robust IoT Development Platform
17:30 - 18:30
Wed 17 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Mancy
ECOOP Research Papers
Composing Distributed Systems that are Provably Correct (Dahl-Nygaard p ...
09:00 - 10:00
ECOOP Research Papers
Lifestate: Event-Driven Protocols and Callback Control Flow
10:30 - 10:50
ECOOP Research Papers
Godot: All the Benefits of Implicit and Explicit Futures
10:50 - 11:10
ECOOP Research Papers
Towards Language-Parametric Semantic Editor Services based on Declarati ...
11:10 - 11:30
ECOOP Research Papers
Multitier Modules
11:30 - 11:50
ECOOP Research Papers
Scopes and Frames Improve Meta-Interpreter Specialization
11:50 - 12:10
ECOOP Research Papers
Transient Typechecks are (Almost) Free
13:30 - 13:50
ECOOP Research Papers
A Typing Discipline for Hardware Interfaces
13:50 - 14:10
ECOOP Research Papers
Minimal Session Types
14:10 - 14:30
ECOOP Research Papers
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples
14:30 - 14:50
ECOOP Research Papers
On Satisfiability of Nominal Subtyping with Variance
14:50 - 15:10
ECOOP Research Papers
Static Analysis for Asynchronous JavaScript Programs
15:40 - 16:00
ECOOP Research Papers
A Program Logic for First-Order Encapsulated WebAssembly
16:00 - 16:20
ECOOP Research Papers
Garbage-free Abstract Interpretation through Abstract Reference Counting
16:20 - 16:40
ECOOP Research Papers
Eventually Sound Points-To Analysis with Specifications
16:40 - 17:00
ECOOP Research Papers
ECOOP Awards
17:00 - 17:10
ECOOP Research Papers
A tribute to Laurie Hendren
17:10 - 17:50
ECOOP Posters
ECOOP poster
MagpieBridge: A General Approach to Integrating Static Analyses into ID ...
18:00 - 19:30
A Parallel Spreadsheet Interpreter With Cycle Detection
18:00 - 19:30
FTfJP poster
Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
18:00 - 19:30
ECOOP poster
Reliable State Machines: A Framework for Programming Reliable Cloud Ser ...
18:00 - 19:30
VORTEX poster
RML: Runtime Monitoring Language
18:00 - 19:30
AORTA poster
Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
18:00 - 19:30
ECOOP poster
Fling---A Fluent API Generator
18:00 - 19:30
AORTA poster
TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration
18:00 - 19:30
ECOOP poster
Static Analysis for Asynchronous JavaScript Programs
18:00 - 19:30
To Async or Not to Async: Better Cooperative Multithreading is the Answer
18:00 - 19:30
COP poster
TinyCORP: A Calculus for Context-Oriented Reactive Programming
18:00 - 19:30
ECOOP poster
Semantic Patches for Java Program Transformation
18:00 - 19:30
Doctoral Symposium poster
Static Analysis in Real-World Operational Scenarios
18:00 - 19:30
IIFA: Modular Inter-app Intent Information Flow Analysis of Android App ...
18:00 - 19:30
ECOOP poster
Towards Language-Parametric Semantic Editor Services
18:00 - 19:30
ECOOP poster
Type-Safe Data Plane Programming with SafeP4
18:00 - 19:30
AORTA poster
Create your own Interpreter with a JIT
18:00 - 19:30
Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs
18:00 - 19:30
ECOOP poster
NumLin: Linear Types for Linear Algebra
18:00 - 19:30
Scala poster
Towards Resilience Testing of Actor Programs through Test Perturbations
18:00 - 19:30
AORTA poster
JIT as a Service: Compilation Paradigm for the Cloud
18:00 - 19:30
ECOOP poster
Transferring Obligations Through Synchronizations
18:00 - 19:30
ECOOP poster
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
18:00 - 19:30
ECOOP poster
Garbage-free Abstract Interpretation through Abstract Reference Counting
18:00 - 19:30
ECOOP poster
Finally, a Polymorphic Linear Algebra Language
18:00 - 19:30
ECOOP poster
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ...
18:00 - 19:30
ECOOP poster
Lifestate: Event-Driven Protocols and Callback Control Flow
18:00 - 19:30
ECOOP poster
Distributed System Development with ScalaLoci
18:00 - 19:30
AORTA poster
Lightweight Software Profiling of Compiled Code
18:00 - 19:30
BenchWork poster
Android App Analysis Query Language
18:00 - 19:30
ECOOP poster
DynaSOAr: A Parallel Memory Allocator for OOP on GPUs
18:00 - 19:30
ECOOP poster
Godot: All the Benefits of Implicit and Explicit Futures
18:00 - 19:30
ECOOP poster
Deep Static Modeling of invokedynamic
18:00 - 19:30
Thu 18 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Mancy
ECOOP Research Papers
Rethinking Compositionality: Composing Proofs From Program Behaviours
09:00 - 10:00
ECOOP Research Papers
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Prog ...
10:30 - 10:50
ECOOP Research Papers
Fling—A Fluent API Generator
10:50 - 11:10
ECOOP Research Papers
Semantic Patches for Java Program Transformation
11:10 - 11:30
ECOOP Research Papers
Finally, a Polymorphic Linear Algebra Language
11:30 - 11:50
ECOOP Research Papers
NumLin: Linear Types for Linear Algebra
11:50 - 12:10
ECOOP Research Papers
Deep Static Modeling of invokedynamic
13:30 - 13:50
ECOOP Research Papers
Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
13:50 - 14:10
ECOOP Research Papers
MagpieBridge: A General Approach to Integrating Static Analyses into ID ...
14:10 - 14:30
ECOOP Research Papers
Reasoning About Foreign Function Interfaces Without Modelling the Forei ...
14:30 - 14:50
ECOOP Research Papers
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ...
14:50 - 15:10
ECOOP Research Papers
DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming o ...
15:40 - 16:00
ECOOP Research Papers
Reliable State Machines: A Framework for Programming Reliable Cloud Ser ...
16:00 - 16:20
ECOOP Research Papers
Transferring Obligations Through Synchronizations
16:20 - 16:40
ECOOP Research Papers
Motion Session Types for Robotic Interactions
16:40 - 17:00
ECOOP Research Papers
Automatic Differentiation for Dummies
17:00 - 18:00
x
Thu 21 Nov 09:45