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
Complete 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 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
) /
Posters
/
Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
FTfJP poster
Who
Willem Penninckx
,
Amin Timany
,
Bart Jacobs
Track
ECOOP 2019 Posters
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
When
Wed 17 Jul 2019 18:00 - 19:30 at
Mancy
-
Poster session
Willem Penninckx
KU Leuven
Amin Timany
imec-Distrinet KU-Leuven
Belgium
Bart Jacobs
KU Leuven
Belgium
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
Session Program
Wed 17 Jul
Displayed time zone:
Belfast
change
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
x
Fri 23 Aug 22:58