Write a Blog >>

Conference Dates
Conference Dates are in time zone (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
09:00
10m
Talk
Introduction
ECOOP Doctoral Symposium

09:10
20m
Talk
Lightning talks
ECOOP Doctoral Symposium

09:30
30m
Talk
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software
ECOOP Doctoral Symposium
Daniel WelchClemson University
10:00
30m
Talk
Enabling Modular Verification of Concurrent Programs
ECOOP Doctoral Symposium
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
11:00
30m
Talk
Invited Talk: The Story of WALA at Watson and Beyond
ECOOP Doctoral Symposium
Julian DolbyIBM Thomas J. Watson Research Center
11:30
30m
Talk
Analysis and Verification of Rich Typestate Properties for Complex Programs
ECOOP Doctoral Symposium
12:00
30m
Talk
Efficient Run-Times for Sound Gradual Typing
ECOOP Doctoral Symposium
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
13:30
30m
Talk
Invited Talk: What Lies Beyond a PhD
ECOOP Doctoral Symposium
Sarah NadiUniversity of Alberta
14:00
30m
Talk
Verifiable, reusable, yet useful conditioning
ECOOP Doctoral Symposium
Praveen NarayananIndiana University, USA
14:30
30m
Talk
Improving Warmup in Meta-Traced Virtual Machines
ECOOP Doctoral Symposium
Jasper SchulzKing's College London
15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

15:30 - 17:50
15:30
30m
Talk
Compilation of Stream Programs for Heterogeneous Architectures
ECOOP Doctoral Symposium
16:00
30m
Talk
Introspective Intrusion Detection for Popular Software Platforms
ECOOP Doctoral Symposium
16:30
30m
Talk
Privacy-aware operator placement
ECOOP Doctoral Symposium
17:00
40m
Talk
How to get your Ph.D. DONE
ECOOP Doctoral Symposium
Eric JulUniversity of Oslo
17:40
10m
Talk
Round up by the academic panel
ECOOP Doctoral Symposium

16:30 - 18:00
16:30
90m
Talk
Introduction Session
ECOOP Summer School
Jan VitekNortheastern University

Conference Day
Mon 19 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Morning IICOOOLPS at Vertex WS216
Chair(s): Mario WolczkoOracle Labs
09:00
10m
Talk
Workshop Welcome
ICOOOLPS
Mario WolczkoOracle Labs
09:10
80m
Talk
We Software People are not Worthy - All Hail the Hardware Gods
ICOOOLPS
Sylvan ClebschImperial College London
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Morning IIICOOOLPS at Vertex WS216
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
11:00
30m
Talk
dart2java: Running Dart in Java-based Environments
ICOOOLPS
Matthias SpringerTokyo Institute of Technology, Andrew KriegerUniversity of California, Los Angeles, Stanislav ManilovUniversity of Edinburgh, Hidehiko MasuharaTokyo Institute of Technology
Link to publication DOI File Attached
11:30
30m
Talk
VM Wrapping - Fake it till you make it
ICOOOLPS
Johannes HenningHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI
Link to publication DOI File Attached
12:00
30m
Talk
A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
ICOOOLPS
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
Link to publication DOI File Attached
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
14:00
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal AhmedNortheastern University, USA
14:00 - 15:30
Afternoon IICOOOLPS at Vertex WS216
Chair(s): Edd BarrettKing's College London
14:00
60m
Talk
Can Compiler Magic Ever Be Explained?
ICOOOLPS
Eric SedlarOracle Labs, Thomas WuerthingerOracle Labs
15:00
30m
Talk
Code Generation in Serializers and Comparators of Apache Flink
ICOOOLPS
Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton BalassiHungarian Academy of Sciences
Link to publication DOI File Attached
14:00 - 15:30
AfternoonJSTools at Vertex WS218
Chair(s): Christian HammerUniversity of Potsdam
14:00
30m
Talk
BCoz: Effective Performance Debugging for Web Applications
JSTools
John VilkUniversity of Massachusetts, Amherst
File Attached
14:30
30m
Talk
Repairing Event Race Errors by Controlling Nondeterminism
JSTools
Frank TipNortheastern University
15:00
30m
Talk
Static Analysis of CommonJS Modules
JSTools
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 18:00
Afternoon IIICOOOLPS at Vertex WS216
Chair(s): Olivier Zendra
16:00
60m
Other
Panel: Do new Computing Environments lead to new Language Constructs?
ICOOOLPS
Eric JulUniversity of Oslo, Edd BarrettKing's College London, Steve BlackburnAustralian National University , Ben L. TitzerGoogle
17:00
30m
Talk
Diff Graphs for a fast Incremental Pointer Analysis
ICOOOLPS
Jakob KrainzFriedrich-Alexander University Erlangen-Nürnberg, Michael Philippsen
Link to publication DOI File Attached
17:30
30m
Demonstration
A Formalization IDE Integrated with a Verifying Compiler
ICOOOLPS
Daniel WelchClemson University, Blair DurkeeClemson University, Mike KabbaniClemson University, Murali SitaramanClemson University
Link to publication DOI File Attached
16:00 - 18:00
Keynote SessionIWACO at Vertex WS217
16:00
45m
Talk
Adding Safe Manual Memory Management to .NET
IWACO
Dimitrios VytiniotisMicrosoft Research, Cambridge
16:00 - 18:00
Afternoon 2JSTools at Vertex WS218
16:00
30m
Talk
WebPol: Fine-grained Information Flow Policies for Web Browsers
JSTools
Christian HammerUniversity of Potsdam
16:10 - 17:50
16:10
1h40m
Talk
Compiler Verification for a Multi-Language World
ECOOP Summer School
Amal AhmedNortheastern University, USA

Conference Day
Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Session 1COP at Vertex WS216
09:00
15m
Day opening
Welcome
COP

09:15
60m
Talk
Keynote on Context-Oriented Language Engineering
COP
S: Tijs van der StormCWI & University of Groningen
10:15
15m
Other
Discussion
COP

09:00 - 10:30
AFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
09:30
20m
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
FTfJP
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
Pre-print
09:50
35m
Talk
Formal Analysis of Object-Oriented Mograms
FTfJP
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
10:25
5m
Talk
Towards a Java Subtyping Operad
FTfJP
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

10:50 - 12:30
10:50
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas MatsakisMozilla Corporation
11:00 - 12:30
Morning SessionPMLDC at Vertex WS208
11:00
60m
Talk
Edge Compute: The First 5000 Years
PMLDC
12:00
30m
Talk
On the Design of Distributed Programming Models
PMLDC
Christopher MeiklejohnUniversité catholique de Louvain
File Attached
11:00 - 12:30
Session 2COP at Vertex WS216
11:00
30m
Talk
The Declarative Nature of Implicit Layer Activation
COP
Stefan RamsonHasso Plattner Institute, Potsdam, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
11:30
30m
Talk
Push-based Reactive Layer Activation in Context-Oriented Programming
COP
Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
12:00
30m
Talk
Petri-Net Based Testing Environment for Context-Oriented Programming
COP
Harumi WatanabeTokai University, Nobuhiko OguraTokyo City University
11:00 - 12:30
BFTfJP at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA
11:00
20m
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
FTfJP
Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20
70m
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
FTfJP
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:40
14:00
1h40m
Talk
Rust: Ownership in practice
ECOOP Summer School
Nicholas MatsakisMozilla Corporation
14:00 - 15:30
Afternoon SessionPMLDC at Vertex WS208
14:00
30m
Talk
Monotonicity Types for Distributed Dataflow
PMLDC
Kevin Clancy, Heather MillerEcole Polytechnique Federale de Lausanne
File Attached
14:30
30m
Talk
Multi-view data types for scalable concurrency in the multi-core era
PMLDC
Deepthi Devaki Akkoorath, José Brandão, Annette BieniusaTechnischen Universität Kaiserslautern, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
15:00
30m
Talk
The Single-Writer Principle in CRDT Composition
PMLDC
Vitor Enes, Paulo Sérgio Almeida, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
14:00 - 15:30
Session 3COP at Vertex WS216
14:00
30m
Talk
ContextROS: Context-Oriented Programming for the Robot Operating System
COP
Yuta SaekiKyushu University, Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Akira FukudaKyushu University
14:30
30m
Talk
IoT Robot Simulator and Framework for Context-Oriented Programming
COP
Ikuta TanigawaKyushu University, Kenji HisazumiKyushu University, Nobuhiko OguraTokyo City University, Harumi WatanabeTokai University, Akira FukudaKyushu University
15:00
30m
Talk
Peace COrP: Learning to solve conflicts between contexts
COP
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland, Jorge H. CastroUniversidad de los Andes
Media Attached File Attached
14:00 - 15:30
14:00
20m
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
FTfJP
Julia BelyakovaSouthern Federal University
Pre-print
14:20
35m
Talk
Tracing sharing in an imperative pure calculus
FTfJP
Paola GianniniUniversita' del Piemonte Orientale, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
14:55
35m
Talk
Mutable WadlerFest DOT
FTfJP
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Canada
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 18:00
Session 4COP at Vertex WS216
16:00
2h
Other
Discussion
COP

16:00 - 18:00
DFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
16:00
20m
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiTU Darmstadt
16:20
35m
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes, Cormac FlanaganUniversity of California, Santa Cruz, Stephen N. FreundWilliams College
16:55
35m
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide AnconaUniversity of Genova, Angelo Ferrando, Luca FranceschiniDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy

Conference Day
Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

15:30 - 17:10
Analysis and SynthesisECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Anders MøllerAarhus University
15:30
25m
Talk
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
ECOOP Research Papers
Mikaël MayerEPFL, Switzerland, Jad HamzaLIAFA, Université Paris Diderot, Viktor KunčakEPFL, Switzerland
Link to publication Media Attached
15:55
25m
Talk
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
ECOOP Research Papers
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
Link to publication Media Attached
16:20
25m
Talk
Mailbox Abstractions for Static Analysis of Actor Programs
ECOOP Research Papers
Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication Pre-print Media Attached
16:45
25m
Talk
What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
ECOOP Research Papers
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
Link to publication Media Attached

Conference Day
Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric JulUniversity of Oslo
09:00
60m
Talk
Composing Software in an Age of Dissonance
ECOOP Invited Speakers
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:10
Specification and VerificationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Doug LeaState University of New York, Oswego
10:30
25m
Talk
Concurrent Data Structures Linked in Time
ECOOP Research Papers
Germán Andrés DelbiancoIMDEA Software Institute, Ilya SergeyUniversity College London, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
Link to publication Media Attached
10:55
25m
Talk
Contracts in the Wild: A Study of Java Programs
ECOOP Research Papers
Jens DietrichMassey University, David J. PearceVictoria University of Wellington, Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Premek BradaUniversity of West Bohemia
Link to publication Pre-print Media Attached
11:20
25m
Talk
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
ECOOP Research Papers
Jan-Oliver KaiserMPI-SWS, Hoang-Hai DangMPI-SWS, Derek DreyerMPI-SWS, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Link to publication Media Attached
11:45
25m
Talk
Promising Compilation to ARMv8 POP
ECOOP Research Papers
Anton PodkopaevSt. Petersburg University, JetBrains, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Link to publication Media Attached
10:30 - 12:10
10:30
1h40m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan VitekNortheastern University
Pre-print
12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering

13:40 - 15:20
ImplementationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Tobias WrigstadUppsala University
13:40
25m
Talk
Parallelizing Julia with a Non-invasive DSL
ECOOP Research Papers
Todd A. Anderson, Hai LiuIntel Labs, Lindsey KuperIntel Labs, Ehsan TotoniIntel Labs, Jan VitekNortheastern University, Tatiana ShpeismanIntel Labs
Link to publication Media Attached
14:05
25m
Talk
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
ECOOP Research Papers
Baptiste Saleil, Marc FeeleyUniversité de Montréal
Link to publication Media Attached
14:30
25m
Talk
Compiling tree transforms to operate on packed representations
ECOOP Research Papers
Michael VollmerIndiana University, USA, Sarah SpallIndiana University, Buddhika ChamithIndiana University, Laith Sakka, Milind KulkarniPurdue University, Sam Tobin-HochstadtIndiana University, Ryan R. NewtonIndiana University
Link to publication Media Attached
14:55
25m
Talk
An Empirical Study on Deoptimization in the Graal Compiler
ECOOP Research Papers
Yudi ZhengUniversity of Lugano, Lubomír BulejCharles University, Walter BinderUniversity of Lugano
Link to publication Media Attached
13:40 - 15:20
13:40
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco VisserDelft University of Technology
Media Attached File Attached
15:20 - 15:50
15:20
30m
Coffee break
Break
Catering

15:50 - 17:30
Calculi and SemanticsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Colin GordonDrexel University
15:50
25m
Talk
Modelling homogeneous generative meta-programming
ECOOP Research Papers
Martin Berger, Laurence TrattKing's College London, Christian UrbanKing's College London
Link to publication Media Attached
16:15
25m
Talk
Mixing Metaphors: Actors as Channels and Channels as Actors
ECOOP Research Papers
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Philip WadlerUniversity of Edinburgh, UK
Link to publication Pre-print Media Attached
16:40
25m
Talk
μPuppet: A Declarative Subset of the Puppet Configuration Language
ECOOP Research Papers
Weili FuUniversity of Edinburgh, Roly PereraUniversity of Edinburgh, UK / University of Glasgow, UK, Paul AndersonUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
Link to publication Media Attached
17:05
25m
Talk
Strong Normalization for Dependent Object Types (DOT)
ECOOP Research Papers
Fei Wang, Tiark RompfPurdue University
Link to publication Media Attached
15:50 - 17:30
15:50
1h40m
Talk
Declarative Language Definition
ECOOP Summer School
Eelco VisserDelft University of Technology
Media Attached File Attached

Conference Day
Fri 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric JulUniversity of Oslo
09:00
60m
Talk
Retargeting Gradual Typing
ECOOP Invited Speakers
Ross TateCornell University
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:10
Types and EffectsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Philipp HallerKTH Royal Institute of Technology
10:30
25m
Talk
Relaxed Linear References for Lock-free Programming
ECOOP Research Papers
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication Media Attached
10:55
25m
Talk
A Generic Approach to Flow-Sensitive Polymorphic Effects
ECOOP Research Papers
Colin GordonDrexel University
Link to publication Pre-print Media Attached
11:20
25m
Talk
A Co-contextual Type Checker for Featherweight Java
ECOOP Research Papers
Edlira KuciTU Darmstadt, Germany, Sebastian ErdwegTU Delft, Oliver BračevacTU Darmstadt, Andi BejleriTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Media Attached
11:45
25m
Talk
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
ECOOP Research Papers
Alceste ScalasImperial College London, Ornela DardhaUniversity of Glasgow, Raymond HuImperial College London, Nobuko YoshidaImperial College London
Link to publication Media Attached
12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering

13:40 - 15:20
Language and Library DesignECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Sophia DrossopoulouImperial College London
13:40
25m
Talk
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
ECOOP Research Papers
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
14:05
25m
Talk
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
ECOOP Research Papers
Jack WilliamsUniversity of Edinburgh, J. Garrett MorrisUniversity of Edinburgh, UK, Philip WadlerUniversity of Edinburgh, UK, Jakub Zalewski
Link to publication Media Attached
14:30
25m
Talk
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
ECOOP Research Papers
Weixin ZhangUniversity of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong
Link to publication Media Attached
14:55
25m
Talk
Data exploration through dot-driven development
ECOOP Research Papers
Tomas PetricekAlan Turing Institute
Link to publication Media Attached
15:20 - 15:50
15:20
30m
Coffee break
Break
Catering

15:50 - 17:05
15:50
25m
Talk
Type Abstraction for Relaxed Noninterference
ECOOP Research Papers
Raimil CruzUniversity of Chile, Tamara RezkInria, Bernard SerpetteInria, Éric TanterUniversity of Chile
Link to publication Media Attached
16:15
25m
Talk
EvilPickles: DoS attacks based on Object-Graph Engineering
ECOOP Research Papers
Jens DietrichMassey University, Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Shawn RasheedMassey University, Amjed TahirMassey University, Alex PotaninVictoria University of Wellington
Link to publication Pre-print Media Attached
16:40
25m
Talk
A Capability-Based Module System for Authority Control
ECOOP Research Papers
Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
Link to publication
15:50 - 17:05
15:50
75m
Talk
What You Need to Know about Performance Evaluation
ECOOP Summer School
Jan VitekNortheastern University
Pre-print