Program - ECOOP 2016

James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington, Sophia DrossopoulouImperial College London, Andrew BlackPortland State University, Kim BrucePomona College

Link to publication

11:25 - 11:55

Gradual Typing for Delimited Continuations

Yusuke MiyazakiKyoto University, Taro Sekiyama, Atsushi IgarashiKyoto University

Link to publication

11:55 - 12:25
Talk

Automating Gradual Typing

Timothy JonesVictoria University of Wellington

Link to publication File Attached

10:05 - 12:25: LIVE - Spring at Foscolo

10:05 - 10:25
Talk

Language Hacking in a Live Programming Environment

Patrick DubroyHARC / Y Combinator Research, Saketh KasibatlaCommunications Design Group / UCLA, Meixian LiCommunications Design Group / Y Combinator Research, Marko RöderHARC / Y Combinator Research, Alessandro WarthHARC / Y Combinator Research

Pre-print

10:25 - 10:45
Talk

Towards Live Language Development

Gabriël KonatTU Delft, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology

Pre-print

10:45 - 11:05
Talk

Live Programming with Code Portals

Alexander BreckelInstitute of Software Engineering and Compiler Construction, Matthias TichyChalmers University of Technology

Media Attached

11:15 - 11:35
Talk

Live end-user programming: a demo/manifesto

Jonathan EdwardsCDG Labs, Jodie ChenMIT, Alessandro WarthHARC / Y Combinator Research

Pre-print

11:35 - 12:25
Other

Discuss: New Interfaces for Programming

Roly PereraUniversity of {Glasgow, Edinburgh}

12:25 - 13:50: Catering - Lunch at Ariosto

12:25 - 13:50
Lunch

Lunch

13:50 - 15:20: Doctoral Symposium - Session 2 at Belli

13:50 - 14:20
Talk

Invited Talk: How to get your Ph.D. DONE

Eric JulAlcatel-Lucent Bell Labs

14:20 - 14:50
Talk

Concept Parameters as a New Mechanism of Generic Programming for C# Language

Julia BelyakovaSouthern Federal University

14:50 - 15:20
Talk

Exploring optional security typing

Raimil Cruz

13:50 - 15:20: PMLDC - Session 2: Conflict-Free Replicated Data Types at Montale

13:50 - 14:20

Tracking the Elephants in the System

Zach Tellman

14:20 - 14:50

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition

Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali ShokerHASLab/INESC TEC & University of Minho

Link to publication DOI Pre-print

14:50 - 15:20

Integration Challenges of Pure Operation-based CRDTs in Redis

Georges Younes, Ali ShokerHASLab/INESC TEC & University of Minho, Paulo Sérgio Almeida, Carlos Baquero

13:50 - 15:20: STOP - Session 3 at Alfieri

13:50 - 14:40
Talk

Gradual types for real-world objects

Jan VitekNortheastern University

14:40 - 15:10

A Systematic Performance Evaluation of Gradually Typed Functions and References

Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University

13:50 - 15:20: LIVE - Summer at Foscolo

13:50 - 14:10
Talk

Live Programming by Example: Using Direct Manipulation for Live Program Synthesis

Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz

Pre-print

14:10 - 14:30
Talk

Live Literals

Tijs van der StormCWI, Felienne HermansDelft University of Technology

Pre-print

14:30 - 14:50
Talk

Liveness for Verification

Roly PereraUniversity of {Glasgow, Edinburgh}, Simon J. Gay

Pre-print Media Attached

14:50 - 15:20
Other

Live Lightning Talks

Jonathan EdwardsCDG Labs

15:20 - 16:00: Catering - Coffee break at Ariosto

15:20 - 16:00
Coffee break

Coffee break

16:00 - 18:20: LIVE - Fall at Foscolo

16:00 - 16:50
Talk

Leveraging live programming in the classroom — an experience report

Alessandro WarthHARC / Y Combinator Research

File Attached

16:50 - 17:10
Talk

Live Tuning: Expanding Live Programming Benefits to Non-Programmers

Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan, Masataka GotoNational Institute of Advanced Industrial Science and Technology, Japan

Pre-print

17:10 - 17:30
Talk

Sintr: Experimenting with liveness at scale

Luke Church, Mariana MarasoiuUniversity of Cambridge, Alan BlackwellUniversity of Cambridge

Pre-print

17:30 - 18:20
Other

Discuss: Live Programming, Live Coding, and Intelligence Amplification

Sean McDirmidMicrosoft Research, Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan

16:00 - 17:30: Doctoral Symposium - Session 3 at Belli

16:00 - 16:30
Talk

Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages

Manuel RiggerJohannes Kepler University, Linz, Austria

16:30 - 17:00
Talk

Invited Talk: Papers vs. Artefacts

Philipp HallerKTH Royal Institute of Technology

17:00 - 17:30
Talk

Invited Talk: PhD Reflections

Sebastian ErdwegTU Delft

16:00 - 17:30: PMLDC - Session 3: Consistency at Montale

16:00 - 16:30

The Consistency Babel

Rodrigo RodriguesInstituto Superior Técnico, University of Lisboa & INESC-ID

16:30 - 17:00

Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency

Nosheen ZazaUniversità della Svizzera italiana, Nate NystromUniversita della Svizzera italiana (USI)

Link to publication DOI Pre-print

17:00 - 17:30

On the Potential of Event Sourcing for Retroactive Actor-based Programming

Benjamin ErbUlm University, Germany , Gerhard Habiger, Franz J. Hauck

Link to publication DOI

16:00 - 16:40: STOP - Session 4 at Alfieri

16:00 - 16:30

From Optional to Gradual Typing via Transient Checks

Michael Vitousek, Jeremy G. SiekIndiana University

16:30 - 16:40
Day closing

Closing remarks

16:45 - 18:45: Summer School - Welcome Session at Alfieri
Chair(s): Jan VitekNortheastern University

16:45 - 16:55
Day opening

Welcome

16:55 - 17:45
Talk

My twenty-five years of ECOOP

Jan VitekNortheastern University

File Attached

17:45 - 18:45
Talk

Research in Academia and Industry

Jade AlglaveUniversity College London

Mon 18 Jul

08:45 - 09:50: CurryOn - Keynote at Auditorium Loyola

08:45 - 09:00
Day opening

Curry On opening remarks

Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne

09:00 - 09:50
Talk

How To Win Big With Old Ideas

David NolenCognitec

08:45 - 09:45: PX - Session 1 at Belli
Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research

08:45 - 09:00
Day opening

Introduction

09:00 - 09:45
Talk

How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.

Patrick ReinHasso Plattner Institute, Stefan LehmannHasso-Plattner-Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI

09:10 - 09:45: ICOOOLPS - Session 1 at Alfieri
Chair(s): Stefan MarrJohannes Kepler University Linz

09:10 - 09:15
Day opening

Welcome

Stefan MarrJohannes Kepler University Linz

09:15 - 09:45
Talk

Source Language Representation of Function Summaries in Static Analysis

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

Media Attached File Attached

09:45 - 10:05: Catering - Coffee break at Ariosto + Manzoni

09:45 - 10:05
Coffee break

Coffee break

10:05 - 12:25: VORTEX - Session 1 at Saba

10:05 - 10:10
Day opening

Opening Remarks

Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University

10:10 - 10:40

StaRVOOrS: A framework for static and runtime verification of data and control properties.

Gerardo SchneiderUniversity of Gothenburg

10:40 - 11:10

Runtime Verification with Data

Martin LeuckerUniversity of Lübeck

11:10 - 11:40

Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System

Jean-Baptiste JeanninCarnegie Mellon University

10:05 - 12:25: CurryOn - Session 1a at Foscolo

10:05 - 10:45
Talk

The Functional Programming Languages Nomad

Michael SperberActive Group GmbH

10:55 - 11:35
Talk

Creating a Fun Game with Elm

Andrey KuzminZalando, Kolja WilckeZalando

11:45 - 12:25
Talk

Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us

Ron PresslerParallel Universe

10:05 - 12:25: CurryOn - Session 1b at Auditorium Loyola

10:05 - 10:45
Talk

Move Fast to Fix More Things

Peter O'HearnFacebook

10:55 - 11:35
Talk

Notes on Post-Post-Modern-Modern Programming

James NobleVictoria University of Wellington

11:45 - 12:25
Talk

A Type is Worth a Thousand Tests

Manuel ChakravartyUNSW Australia & Applicative

10:05 - 12:30: PX - Session 2 at Belli
Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research, Robert HirschfeldHPI

10:05 - 10:50
Demonstration

Envision – Turning the IDE into a Visual Information System.

Dimitar Asenov, Peter MüllerETH Zurich

10:50 - 11:35
Talk

Satisfaction, Time Investment and Success in Students' Programming Exercise.

Amir Kirsh, Iris Gaber

11:35 - 12:20
Talk

Towards Gaze Control in Programming Environments.

Astrid Thomschke, Daniel Stolpe, Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI

10:05 - 12:25: ICOOOLPS - Session 2 at Alfieri
Chair(s): Tomas KaliberaNortheastern University

10:05 - 11:05
Talk

Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation

Lubomír BulejCharles University

Media Attached File Attached

11:05 - 11:35
Talk

The Performance of Object Encodings in JavaScript

Forrest AlexanderPortland State University, Andrew BlackPortland State University

Media Attached File Attached

11:35 - 12:05
Talk

Virtual Machine Warm-up Blows Hot and Cold

Edd BarrettKing's College London, Carl Friedrich Bolz-TereickKing's College London , Rebecca KillickDepartment of Mathematics and Statistics, University of Lancaster, Vincent KnightSchool of Mathematics, Cardiff University, Sarah MountKing's College London, Laurence TrattKing's College London

Link to publication Media Attached File Attached

12:05 - 12:25
Other

Discussions

12:25 - 13:50: Catering - Lunch at Ariosto + Manzoni

12:25 - 13:50
Lunch

Lunch

13:50 - 15:20: IWACO - Session 1 at Quasimodo
Chair(s): Paley LiNortheastern University

13:50 - 14:20
Talk

Frozen Realms: Confining effects for safer JavaScript plugins

Mark MillerGoogle Inc.

14:20 - 14:50

Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations

Juliana FrancoImperial College London, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London

Pre-print

14:50 - 15:20
Talk

Objects as Session-Typed Processes

Stephanie Balzer

13:50 - 15:20: VORTEX - Session 2 at Saba

13:50 - 14:20

Extracting Runtime Monitors from Tests: An Overview and a way forward

Abigail Cauchi, Luke Chircop, Christian Colombo, Adrian Francalanza, Mark Micallef, Gordon PaceUniversity of Malta

14:20 - 14:50

Runtime checks as nominal types

Paola Giannini, Elena ZuccaUniversity of Genova, Marco ServettoVictoria University of Wellington

14:50 - 15:19

The Early Bird Catches the Worm: first Verify, then Monitor!

Angelo Ferrando

15:19 - 15:20
Day closing

Closing Remarks

Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University

13:50 - 15:20: CurryOn - Session 2a at Foscolo

13:50 - 14:30
Talk

Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds

Frank WangMIT CSAIL

14:40 - 15:20
Talk

Rascal: the Swiss Army Knife of Meta Programming

Tijs van der StormCWI

13:50 - 15:20: CurryOn - Session 2b at Auditorium Loyola

13:50 - 14:30
Talk

Building Scalable Stateful Services

Caitie McCaffreyTwitter

14:40 - 15:20
Talk

Data-driven Software security using Differential Privacy and Deep Learning

Úlfar ErlingssonGoogle

13:50 - 15:20: PX - Session 3 at Belli
Chair(s): Robert HirschfeldHPI, Richard P. GabrielDream Songs, Inc. & IBM Research, Hidehiko MasuharaTokyo Institute of Technology

13:50 - 14:35
Talk

Towards Making a Computer Tutor for Children of All Ages - A Memo.

Yoshiki OhshimaViewpoints Research Institute, Alessandro WarthHARC / Y Combinator Research, Bert Freudenberg, Aran Lunzer, Alan KayUniversity of California at Los Angeles, USA

14:35 - 15:20
Demonstration

I sit down at my editor, and feel relaxed.

Matthew Huebert

13:50 - 15:20: ICOOOLPS - Session 3 at Alfieri
Chair(s): Edd BarrettKing's College London

13:50 - 14:50
Talk

Growing an Abstract Grammar: Teaching Language Engineering

Theo D'HondtVrije Universiteit Brussel

Media Attached

14:50 - 15:20
Talk

MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations

Shijie XuUniversity of New Brunswick, David BremnerUniversity of New Brunswick, Daniel HeidingaIBM

Media Attached File Attached

15:20 - 16:00: Catering - Coffee break at Ariosto + Manzoni

15:20 - 16:00
Coffee break

Coffee break

16:00 - 17:30: IWACO - Session 2 at Quasimodo

16:00 - 16:30
Talk

Are Ownership Types Reaching the World Yet?

Patrick LamUniversity of Waterloo, Canada

File Attached

16:30 - 17:00

Kappa: Insights, Current Status and Future Work

Elias CastegrenUppsala University, Tobias WrigstadUppsala University

Pre-print

17:00 - 17:30

Abstract Data Types in Object-Capability Systems

James NobleVictoria University of Wellington, Sophia DrossopoulouImperial College London, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne, Alex PotaninVictoria University of Wellington

Pre-print File Attached

16:00 - 17:30: CurryOn - Session 3a at Foscolo

16:00 - 16:40
Talk

Why The Free Monad isn't Free

Kelley RobinsonSharethrough

16:50 - 17:30
Talk

Exercises in Programming Style

Crista LopesUniversity of California, Irvine

16:00 - 17:30: CurryOn - Session 3b at Auditorium Loyola

16:00 - 16:40
Talk

Doing data science with Clojure: the ugly, the sad, the joyful

Simon BelakGoOpti

16:50 - 17:30
Talk

Oden - A Functional Programming Language for the Go Ecosystem

Oskar WickströmNone (this is a free time project)

16:00 - 17:30: PX - Session 4 at Belli
Chair(s): Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research

16:00 - 16:45
Talk

Exemplifying Moldable Development.

Andrei ChişUniversity of Bern, Switzerland, Tudor GîrbaCompuGroup Medical Schweiz AG, Juraj KubelkaUniversity of Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhart, Aliaksei SyrelUniversity of Bern

16:45 - 17:30
Talk

Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs.

Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI

16:00 - 17:30: ICOOOLPS - Session 4 at Alfieri
Chair(s): Eric JulAlcatel-Lucent Bell Labs

16:00 - 16:30
Talk

TruffleReloader: A Low-Overhead Language-Neutral Reloader

Tõnis PoolZeroTurnaround / University of Tartu, Allan Raundahl GregersenZeroTurnaround, Vesal VojdaniUniversity of Tartu

Media Attached File Attached

16:30 - 17:00
Talk

Sulong - Execution of LLVM-Based Languages on the JVM

Manuel RiggerJohannes Kepler University, Linz, Austria, Matthias GrimmerJohannes Kepler University Linz, Hanspeter MössenböckJohannes Kepler University Linz

Media Attached File Attached

17:00 - 17:30
Talk

Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems

Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano

Media Attached File Attached

17:40 - 18:30: CurryOn - Keynote at Auditorium Loyola

17:40 - 18:30
Talk

The Racket Manifesto

Matthias FelleisenNortheastern University

17:40 - 18:30: IWACO - Session 3 at Quasimodo

17:40 - 18:30

Closing Discussions

Paley LiNortheastern University

17:40 - 18:30: ICOOOLPS - Session 5 at Alfieri
Chair(s): Stefan MarrJohannes Kepler University Linz

17:40 - 18:05
Demonstration

Demo of Docking: Enabling Language Based Dynamic Coupling

Magnus Haugom ChristensenUniversity of Oslo, Eric JulAlcatel-Lucent Bell Labs

18:05 - 18:30
Day closing

Discussions and Wrap Up

19:30 - 23:00: CurryOn - Curry On Party! at Mercati di Traiano

19:30 - 23:00
Social Event

Curry On Party!

Tue 19 Jul

08:45 - 09:45: COP - Opening and Keynote at Quasimodo

08:45 - 09:00
Day opening

Opening

09:00 - 09:45
Talk

Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty.

James NobleVictoria University of Wellington

08:45 - 09:45: GRACE - Opening session at Saba

08:45 - 09:45
Day opening

Overview of the Grace project and language

Kim BrucePomona College, Andrew BlackPortland State University

09:00 - 09:50: CurryOn - Keynote at Auditorium Loyola

09:00 - 09:50
Talk

It's the End of the World as We Know It, and I Feel Fine

Larry Wall

09:45 - 10:05: Catering - Coffee break at Ariosto + Manzoni

09:45 - 10:05
Coffee break

Coffee break

10:05 - 12:25: GRACE - Grace at Saba

10:05 - 10:45

Experience teaching with Grace

Andrew BlackPortland State University, Kim BrucePomona College

10:45 - 11:55

Recent changes and language design issues in Grace

Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington

11:55 - 12:25

The Recurring Rainfall Problem

Shriram KrishnamurthiBrown University

10:05 - 11:00: FTfJP - Invited talk at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology

10:05 - 10:10
Day opening

Opening

Vladimir KlebanovKarlsruhe Institute of Technology

10:10 - 11:00
Talk

Java Generics are Turing Complete

Radu GrigoreUniversity of Oxford

10:05 - 12:25: COP - Research Papers 1 at Quasimodo

10:05 - 10:50
Talk

Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor

Matthias SpringerTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Robert HirschfeldHPI

10:50 - 11:40
Talk

Consistent Unanticipated Adaptation for Context-Dependent Applications

Nguonly Taing, Markus Wutzler, Thomas Springer, Nicolás CardozoUniversidad de los Andes, Alexander Schill

11:40 - 12:25
Talk

Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy

Tobias PapeHPI, Germany, Tim FelgentreffHPI, Germany, Robert HirschfeldHPI

10:05 - 12:25: CurryOn - Session 4a at Foscolo

10:05 - 10:45
Talk

Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing

Jörgen BrandtHumboldt-Universität zu Berlin

10:55 - 11:35
Talk

The Future of Programming will be Live

Sean McDirmidMicrosoft Research

11:45 - 12:25
Talk

From Unikernels to Databases to UIs: Truly full-stack apps in OCaml

Sean GroveNone

10:05 - 12:25: CurryOn - Session 4b at Auditorium Loyola

10:05 - 10:45
Talk

Dartino - a managed language on micro-controllers?

Kasper LundGoogle

10:55 - 11:35
Talk

Redesigning Type Systems for Industry OO

Ross TateCornell University

11:45 - 12:25
Talk

Static analysis for security at the Facebook scale

Francesco LogozzoFacebook

10:45 - 12:25: JSTools - Session 1 at Alfieri

10:45 - 10:50
Day opening

Opening Remarks

Julian DolbyIBM Thomas J. Watson Research Center

10:50 - 11:30

So You Want to Build Memory Tooling For JavaScript?

Nick Fitzgerald

11:30 - 12:10

Sound Type Inference for JavaScript

Jean-Baptiste JeanninCarnegie Mellon University

11:00 - 12:25: FTfJP - Session 2 at Belli
Chair(s): Delphine DemangeIRISA / University of Rennes 1

11:00 - 11:30
Talk

A Mechanical Soundness Proof for Subtyping Over Recursive Types

Timothy JonesVictoria University of Wellington, David PearceVictoria University of Wellington

DOI Pre-print File Attached

11:30 - 12:00
Talk

A formal account of SSA in Java-like languages

Davide AnconaUniversity of Genova, Andrea Corradi

12:00 - 12:25
Talk

A Note on the Soundness of Difference Propagation

Jens DietrichMassey University, New Zealand, Nicholas HollingumThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia

12:25 - 13:50: Catering - Lunch at Ariosto + Manzoni

12:25 - 13:50
Lunch

Lunch

13:50 - 15:20: GRACE - Contributed Papers at Saba

13:50 - 14:20
Talk

Grace in Spoofax: Readable Specification and Implementation in One

Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology

Link to publication File Attached

14:20 - 14:50

Traitorous Traits

Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington

File Attached

14:50 - 15:20

Tooling matters – Why Grace needs a good IDE

Michael KöllingUniversity of Kent

13:50 - 15:20: COP - Research Papers 2 at Quasimodo

13:50 - 14:20
Talk

A Context-Oriented Software Architecture

Kim MensUniversité Catholique de Louvain, Belgium, Nicolás CardozoUniversidad de los Andes, Benoît Duhoux

14:20 - 14:50
Talk

Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android

Tetsuo KaminaRitsumeikan University, Noriyuki Suzuki, Katsuhisa Maruyama

14:50 - 15:20
Talk

Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP

Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI

13:50 - 15:20: JSTools - Session 2 at Alfieri

13:50 - 14:20
Talk

Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins

Mark MillerGoogle Inc.

14:20 - 14:50

JavaScript Verification

Philippa GardnerImperial College London

14:50 - 15:20

What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript

Alexander JordanOracle Labs, Australia

13:50 - 15:20: FTfJP - Session 3 at Belli
Chair(s): Davide AnconaUniversity of Genova

13:50 - 14:20
Talk

Generating Concurrency Checks Automatically

Jonathan HoylandRoyal Holloway University of London, Matthew HagueRoyal Holloway University of London

14:20 - 14:50
Talk

An Extended Buffered Memory Model With Full Reorderings

Gurvan Cabon, David Cachera, David PichardieIRISA / ENS Rennes

14:50 - 15:20
Talk

Towards a Model of Corecursion with Default

Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova

13:50 - 15:20: CurryOn - Session 5a at Foscolo

13:50 - 14:30
Talk

On the chemistry of typestate-oriented actors

Silvia CrafaUniversità di Padova, Italy

14:40 - 15:20
Talk

Become a Polyglot by learning Java!

Jaroslav TulachOracle Labs

13:50 - 15:20: CurryOn - Session 5b at Auditorium Loyola

13:50 - 14:30
Talk

Practical Demystification of CRDTs

Dmitry IvanovTomTom, Nami NasserazadTomTom

14:40 - 15:20
Talk

Distributed Iterative Computation in TensorFlow

Yuan Yu

15:20 - 16:00: Catering - Coffee break at Ariosto + Manzoni

15:20 - 16:00
Coffee break

Coffee break

16:00 - 17:30: GRACE - Discussion at Saba

16:00 - 17:30

Next steps with Grace

16:00 - 17:30: JSTools - Session 3 at Alfieri

16:00 - 16:40

Verification of Communication in Web Applications

Nathalie OostvogelsVrije Universiteit Brussel

16:40 - 17:20

Fishing for JavaScript Bugs at the Shallow End

Max SchaeferSemmle

17:20 - 17:30
Day closing

Closing Remarks

Julian DolbyIBM Thomas J. Watson Research Center

16:00 - 18:30: FTfJP - Session 4 at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology

16:00 - 16:30
Demonstration

Tool Demonstration: The VeriFast Verification System for Java and C

Bart JacobsiMinds - Distrinet, KU Leuven

16:30 - 17:00
Talk

Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast

Bart JacobsiMinds - Distrinet, KU Leuven

17:00 - 17:30
Talk

Coupling Catch Clauses with Local Declarations

Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova

17:30 - 18:00
Talk

Towards Modular Reasoning for Context-Oriented Programs

Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University

18:00 - 18:30
Talk

Permission and Authority Revisited: Towards a Formalization

Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne

16:00 - 17:30: CurryOn - Session 6a at Foscolo

16:00 - 16:40
Talk

What is programming?

Juan LulkinKlarna

16:50 - 17:30
Talk

Are We Ready for Secure Languages?

Cristina CifuentesOracle Labs, Australia

16:00 - 17:30: CurryOn - Session 6b at Auditorium Loyola

16:00 - 16:40
Talk

Distributed Configuration with Clojure

Renzo BorgattiMailonline

16:50 - 17:30
Talk

Using Object Algebras To Design Embedded Domain Specific Languages

Julien Richard-FoyZengularity

17:30 - 18:30: Catering - Poster Session & Workshops Reception at Manzoni

17:30 - 18:30
Social Event

Poster Session & Workshops Reception

17:40 - 18:20: CurryOn - Session 7a at Foscolo

17:40 - 18:20
Talk

To Macros and Beyond!: How macros changed Scala, and what's coming next

Eugene BurmakoEPFL

17:40 - 18:20: CurryOn - Session 7b at Auditorium Loyola

17:40 - 18:20
Talk

A brief and incomplete history of programming languages

Andrea Magnorsky

18:30 - 19:20: CurryOn - Keynote at Auditorium Loyola

18:30 - 19:20
Talk

Building an Open Source Research Lab

Dave HermanMozilla Research

Wed 20 Jul

08:45 - 10:00: Research Track - Invited Talk at Auditorium Loyola
Chair(s): Camil DemetrescuSapienza University of Rome

08:45 - 09:00

Welcome address

09:00 - 10:00
Talk

The Elements of Decision Alignment: Large programs as complex organizations

Mark MillerGoogle Inc.

Media Attached

10:00 - 10:30: Catering - Coffee break at Ariosto + Manzoni

10:00 - 10:30
Coffee break

Coffee break

10:30 - 12:00: Summer School - Lecture 1 at Leopardi
Chair(s): Jan VitekNortheastern University

10:30 - 12:00
Talk

28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand

Matthias FelleisenNortheastern University

File Attached

10:30 - 12:00: Research Track - Session 1 at Auditorium Loyola
Chair(s): Camil DemetrescuSapienza University of Rome

10:30 - 10:55
Talk

Higher-Order Demand-Driven Program Analysis

Zachary PalmerSwarthmore College, Scott F. SmithThe Johns Hopkins University

Link to publication DOI Media Attached

10:55 - 11:20
Talk

Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

Maxime Chevalier-BoisvertUniversity of Montreal, Marc FeeleyUniversité de Montréal

Link to publication DOI Media Attached

11:20 - 11:45
Talk

Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic

Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Jens DietrichMassey University, New Zealand

Link to publication DOI Pre-print Media Attached

11:45 - 12:00

Awards

12:00 - 13:30: Catering - Lunch at Ariosto + Manzoni

12:00 - 13:30
Lunch

Lunch

13:30 - 15:00: Summer School - Lecture 2a at Leopardi
Chair(s): Jan VitekNortheastern University

13:30 - 15:00
Talk

Building a Research Program for Scripting Languages

Shriram KrishnamurthiBrown University

13:45 - 15:00: Research Track - Session 2 at Auditorium Loyola
Chair(s): James NobleVictoria University of Wellington

13:45 - 14:10
Talk

C++ const and Immutability: An Empirical Study of Writes-Through-const

Jonathan EyolfsonUniversity of Waterloo, Patrick LamUniversity of Waterloo, Canada

Link to publication DOI Pre-print Media Attached

14:10 - 14:35
Talk

Formal Language Recognition with the Java Type Checker

Yossi GilIsrael Institute of Technology, Tomer LevyTechnion – Israel Institute of Technology

Link to publication DOI

14:35 - 15:00
Talk

Towards Ontology-Based Program Analysis

Yue ZhaoNCSU, Guoyang Chen, Chunhua LiaoLLNL, Xipeng ShenNCSU

Link to publication DOI Media Attached

15:00 - 15:30: Catering - Coffee break at Ariosto + Manzoni

15:00 - 15:30
Coffee break

Coffee break

15:30 - 17:00: Summer School - Lecture 2b at Leopardi
Chair(s): Jan VitekNortheastern University

15:30 - 17:00
Talk

Building a Research Program for Scripting Languages

Shriram KrishnamurthiBrown University

15:30 - 16:45: Research Track - Session 3 at Auditorium Loyola
Chair(s): Colin GordonDrexel University

15:30 - 15:55
Talk

Making an Embedded DBMS JIT-friendly

Carl Friedrich Bolz-TereickKing's College London , Darya MelicherCarnegie Mellon University, Laurence TrattKing's College London

Link to publication DOI Pre-print Media Attached

15:55 - 16:20
Talk

QL: Object-oriented Queries on Relational Data

Pavel AvgustinovSemmle, Oege de MoorSemmle, Michael Peyton JonesSemmle, Max SchaeferSemmle

Link to publication DOI Pre-print

16:20 - 16:45
Talk

Transactional Tasks: Parallelism in Software Transactions

Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel

Link to publication DOI Pre-print Media Attached

Thu 21 Jul

09:00 - 10:00: Research Track - DN Talk at Auditorium Loyola
Chair(s): Eric JulAlcatel-Lucent Bell Labs

09:00 - 10:00
Talk

Half a Life in Software (Senior DN Prize Lecture)

James NobleVictoria University of Wellington

Media Attached

10:00 - 10:30: Catering - Coffee break at Ariosto + Manzoni

10:00 - 10:30
Coffee break

Coffee break

10:30 - 12:00: Summer School - Lecture 3 at Leopardi
Chair(s): Jan VitekNortheastern University

10:30 - 12:00
Talk

Gradual Type Systems

Jeremy G. SiekIndiana University

File Attached

10:30 - 11:45: Research Track - Session 4 at Auditorium Loyola
Chair(s): Sebastian ErdwegTU Delft

10:30 - 10:55
Talk

A Calculus for Variational Programming

Sheng ChenUniversity of Louisiana at Lafayette, Martin ErwigOregon State University, Eric WalkingshawOregon State University

Link to publication DOI Media Attached

10:55 - 11:20
Talk

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

Atsushi OhoriTohoku University, Katsuhiro UenoTohoku University, Tomohiro SasakiTohoku University, Daisuke KikuchiTohoku University and Hitachi Solutions East Japan, Ltd.

Link to publication DOI Pre-print Media Attached

11:20 - 11:45
Talk

Transforming programs between APIs with Many-to-Many Mappings

Chenglong WangUniversity of Washington, Jiajun JiangPeking University, Jun LiPeking University, Yingfei XiongPeking University, Xiangyu LuoPeking University, Lu ZhangPeking University, Zhenjiang HuNational Institute of Informatics

Link to publication DOI Pre-print Media Attached

11:45 - 13:30: Catering - Lunch at Ariosto + Manzoni

11:45 - 13:30
Lunch

Lunch

13:30 - 15:00: Summer School - Lecture 4a at Leopardi
Chair(s): Jan VitekNortheastern University

13:30 - 15:00
Talk

A JIT Compiler (almost) for Free

Carl Friedrich Bolz-TereickKing's College London , Laurence TrattKing's College London

File Attached

13:45 - 15:00: Research Track - Session 5 at Auditorium Loyola
Chair(s): Kim BrucePomona College

13:45 - 14:10
Talk

LJGS: Gradual Security Types for Object-Oriented Languages

Luminous FennellUniversity of Freiburg, Germany, Peter ThiemannUniversity of Freiburg

Link to publication DOI Media Attached

14:10 - 14:35
Talk

Lightweight session programming in Scala

Alceste ScalasImperial College London, Nobuko YoshidaImperial College London, UK

Link to publication DOI Media Attached

14:35 - 15:00
Talk

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Esben AndreasenAarhus University, Colin GordonDrexel University, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Frank TipSamsung Research America, Koushik SenUniversity of California, Berkeley

Link to publication DOI Pre-print Media Attached

15:00 - 15:30: Catering - Coffee break at Ariosto + Manzoni

15:00 - 15:30
Coffee break

Coffee break

15:30 - 17:00: Summer School - Lecture 4b at Leopardi
Chair(s): Jan VitekNortheastern University

15:30 - 17:00
Talk

A JIT Compiler (almost) for Free

Carl Friedrich Bolz-TereickKing's College London , Laurence TrattKing's College London

File Attached

15:30 - 16:45: Research Track - Session 6 at Auditorium Loyola
Chair(s): Sophia DrossopoulouImperial College London

15:30 - 15:55
Talk

Object Inheritance without Classes

Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington, Kim BrucePomona College

Link to publication DOI Pre-print Media Attached

15:55 - 16:20
Talk

Program Tailoring: Slicing by Sequential Criteria

Yue LiUNSW Australia, Tian TanUNSW Australia, Yifei ZhangUNSW Australia, Jingling XueUNSW Australia

Link to publication DOI Pre-print Media Attached

16:20 - 16:45
Talk

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

Casper Bach PoulsenTU Delft, Pierre NeronFrench Network and Information Security Agency (ANSSI), Andrew TolmachPortland State University, Eelco VisserDelft University of Technology

Link to publication DOI Pre-print Media Attached

19:30 - 23:00: Catering - Banquet at Pinacoteca del Tesoriere

19:30 - 23:00
Dinner

ECOOP Banquet

Fri 22 Jul

09:00 - 10:00: Research Track - DN Talk at Auditorium Loyola
Chair(s): Eric JulAlcatel-Lucent Bell Labs

09:00 - 10:00
Talk

Synthesis and Verification for All (Junior DN Prize Lecture)

Emina TorlakUniversity of Washington

Media Attached

10:00 - 10:30: Catering - Coffee break at Ariosto + Manzoni

10:00 - 10:30
Coffee break

Coffee break

10:30 - 12:00: Summer School - Lecture 5a at Leopardi
Chair(s): Jan VitekNortheastern University

10:30 - 12:00
Talk

Experimental Evaluation of Programming Systems

Tomas KaliberaNortheastern University, Jan VitekNortheastern University

File Attached

10:30 - 11:45: Research Track - Session 7 at Auditorium Loyola
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center

10:30 - 10:55
Talk

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

Johannes SpäthFraunhofer SIT, Lisa Nguyen Quang DoFraunhofer IEM, Karim AliTU Darmstadt, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Link to publication DOI Pre-print Media Attached

10:55 - 11:20
Talk

IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs

Daco HarkesDelft University of Technology, Danny M. GroenewegenDelft University of Technology, Eelco VisserDelft University of Technology

Link to publication DOI Pre-print Media Attached

11:20 - 11:45
Talk

Reference Capabilities for Concurrency Control

Elias CastegrenUppsala University, Tobias WrigstadUppsala University

Link to publication DOI Pre-print Media Attached

11:45 - 13:30: Catering - Lunch at Ariosto + Manzoni

11:45 - 13:30
Lunch

Lunch

13:30 - 15:20: Research Track - Session 8 at Auditorium Loyola
Chair(s): Matthias KeilUniversity of Freiburg, Eric JulAlcatel-Lucent Bell Labs

13:30 - 13:55
Talk

Composing Interfering Abstract Protocols

Filipe MilitãoCarnegie Mellon University & Universidade Nova de Lisboa, Jonathan AldrichCarnegie Mellon University, Luís CairesFCT / Universidade Nova de Lisboa

Link to publication DOI Pre-print Media Attached

13:55 - 14:20
Talk

Fine-grained Language Composition: A Case Study

Edd BarrettKing's College London, Carl Friedrich Bolz-TereickKing's College London , Lukas DiekmannKing's College London, Laurence TrattKing's College London

Link to publication DOI Pre-print Media Attached

14:20 - 14:45
Talk

One Way to Select Many

Jaakko JärviTexas A&M University, Sean ParentAdobe Systems, Inc.

Link to publication DOI Media Attached

14:45 - 15:10
Talk

Staccato: A Bug Finder for Dynamic Configuration Updates

John TomanUniversity of Washington, Dan GrossmanUniversity of Washington, USA

Link to publication DOI Media Attached

15:10 - 15:20

Adjourn

13:40 - 15:20: Summer School - Lecture 5b at Leopardi
Chair(s): Jan VitekNortheastern University

13:40 - 15:10
Talk

Experimental Evaluation of Programming Systems

Tomas KaliberaNortheastern University, Jan VitekNortheastern University

File Attached

15:10 - 15:20

Adjourn

15:20 - 16:20: Catering - Ice Cream Social at Manzoni

15:20 - 16:20
Social Event

Social

Sun 17 Jul 2016


Room	8:00	30		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
Alfieri			STOP Session 1 08:45 - 09:45					STOP Session 2 10:05 - 12:25									STOP Session 3 13:50 - 15:20						STOP Session 4 16:00 - 16:40		Summer School Welcome Session 16:45 - 18:45
Ariosto						Catering Coffee break 09:45 - 10:05							Catering Lunch 12:25 - 13:50								Catering Coffee break 15:20 - 16:00
Belli			Doctoral Symposium Opening 08:45 - 09:45					Doctoral Symposium Session 1 10:05 - 12:25									Doctoral Symposium Session 2 13:50 - 15:20						Doctoral Symposium Session 3 16:00 - 17:30
Foscolo			LIVE Winter 08:45 - 09:45					LIVE Spring 10:05 - 12:25									LIVE Summer 13:50 - 15:20						LIVE Fall 16:00 - 18:20
Montale			PMLDC Invited talk 08:45 - 09:45				PMLDC Session 1: Programming Languages 10:00 - 12:30										PMLDC Session 2: Conflict-Free Replicated Data Types 13:50 - 15:20						PMLDC Session 3: Consistency 16:00 - 17:30

Mon 18 Jul 2016


Room	8:00	30		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	20:00	30	21:00	30	22:00	30	23:00	30
Alfieri					ICOOOLPS Session 1 09:10 - 09:45				ICOOOLPS Session 2 10:05 - 12:25										ICOOOLPS Session 3 13:50 - 15:20						ICOOOLPS Session 4 16:00 - 17:30					ICOOOLPS Session 5 17:40 - 18:30
Ariosto + Manzoni							Catering Coffee break 09:45 - 10:05							Catering Lunch 12:25 - 13:50									Catering Coffee break 15:20 - 16:00
Auditorium Loyola			CurryOn Keynote 08:45 - 09:50						CurryOn Session 1b 10:05 - 12:25										CurryOn Session 2b 13:50 - 15:20						CurryOn Session 3b 16:00 - 17:30					CurryOn Keynote 17:40 - 18:30
Belli			PX Session 1 08:45 - 09:45						PX Session 2 10:05 - 12:30										PX Session 3 13:50 - 15:20						PX Session 4 16:00 - 17:30
Foscolo									CurryOn Session 1a 10:05 - 12:25										CurryOn Session 2a 13:50 - 15:20						CurryOn Session 3a 16:00 - 17:30
Mercati di Traiano																	CurryOn Curry On Party! 19:30 - 23:00
Quasimodo																	IWACO Session 1 13:50 - 15:20							IWACO Session 2 16:00 - 17:30				IWACO Session 3 17:40 - 18:30
Saba									VORTEX Session 1 10:05 - 12:25										VORTEX Session 2 13:50 - 15:20

Tue 19 Jul 2016


Room	8:00	30		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
Alfieri										JSTools Session 1 10:45 - 12:25									JSTools Session 2 13:50 - 15:20						JSTools Session 3 16:00 - 17:30
Ariosto + Manzoni						Catering Coffee break 09:45 - 10:05								Catering Lunch 12:25 - 13:50									Catering Coffee break 15:20 - 16:00
Auditorium Loyola				CurryOn Keynote 09:00 - 09:50				CurryOn Session 4b 10:05 - 12:25											CurryOn Session 5b 13:50 - 15:20						CurryOn Session 6b 16:00 - 17:30				CurryOn Session 7b 17:40 - 18:20		CurryOn Keynote 18:30 - 19:20
Belli								FTfJP Invited talk 10:05 - 11:00			FTfJP Session 2 11:00 - 12:25								FTfJP Session 3 13:50 - 15:20						FTfJP Session 4 16:00 - 18:30
Foscolo								CurryOn Session 4a 10:05 - 12:25											CurryOn Session 5a 13:50 - 15:20						CurryOn Session 6a 16:00 - 17:30				CurryOn Session 7a 17:40 - 18:20
Manzoni																	Catering Poster Session & Workshops Reception 17:30 - 18:30
Quasimodo			COP Opening and Keynote 08:45 - 09:45					COP Research Papers 1 10:05 - 12:25											COP Research Papers 2 13:50 - 15:20
Saba			GRACE Opening session 08:45 - 09:45					GRACE Grace 10:05 - 12:25											GRACE Contributed Papers 13:50 - 15:20						GRACE Discussion 16:00 - 17:30

Wed 20 Jul 2016


Room	8:00	30		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
Ariosto + Manzoni						Catering Coffee break 10:00 - 10:30				Catering Lunch 12:00 - 13:30							Catering Coffee break 15:00 - 15:30
Auditorium Loyola			Research Track Invited Talk 08:45 - 10:00				Research Track Session 1 10:30 - 12:00							Research Track Session 2 13:45 - 15:00				Research Track Session 3 15:30 - 16:45
Leopardi							Summer School Lecture 1 10:30 - 12:00						Summer School Lecture 2a 13:30 - 15:00					Summer School Lecture 2b 15:30 - 17:00

Thu 21 Jul 2016


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	20:00	30	21:00	30	22:00	30	23:00	30
Ariosto + Manzoni			Catering Coffee break 10:00 - 10:30				Catering Lunch 11:45 - 13:30									Catering Coffee break 15:00 - 15:30
Auditorium Loyola	Research Track DN Talk 09:00 - 10:00			Research Track Session 4 10:30 - 11:45								Research Track Session 5 13:45 - 15:00					Research Track Session 6 15:30 - 16:45
Leopardi				Summer School Lecture 3 10:30 - 12:00							Summer School Lecture 4a 13:30 - 15:00						Summer School Lecture 4b 15:30 - 17:00
Pinacoteca del Tesoriere														Catering Banquet 19:30 - 23:00

Fri 22 Jul 2016


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
Ariosto + Manzoni			Catering Coffee break 10:00 - 10:30				Catering Lunch 11:45 - 13:30
Auditorium Loyola	Research Track DN Talk 09:00 - 10:00			Research Track Session 7 10:30 - 11:45							Research Track Session 8 13:30 - 15:20
Leopardi				Summer School Lecture 5a 10:30 - 12:00								Summer School Lecture 5b 13:40 - 15:20
Manzoni														Catering Ice Cream Social 15:20 - 16:20

Sun 17 Jul 2016


Room	8:00	15	30	45		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
Alfieri				STOP Opening remarks 08:45 - 08:55	STOP Types for Ruby 08:55 - 09:45						STOP Optional Typing in Dart: Purity and Practice 10:05 - 10:55						STOP Beyond Types: Extending the Gradual Guarantee 10:55 - 11:25				STOP Gradual Typing for Delimited Continuations 11:25 - 11:55				STOP Automating Gradual Typing 11:55 - 12:25										STOP Gradual types for real-world objects 13:50 - 14:40						STOP A Systematic Performance Evaluation of Gradually Typed Functions and Re ... 14:40 - 15:10								STOP From Optional to Gradual Typing via Transient Checks 16:00 - 16:30		STOP Closing remarks 16:30 - 16:40	ECOOP Summer School Welcome 16:45 - 16:55		ECOOP Summer School My twenty-five years of ECOOP 16:55 - 17:45					ECOOP Summer School Research in Academia and Industry 17:45 - 18:45
Ariosto									CurryOn Catering Coffee break 09:45 - 10:05																			CurryOn Catering Lunch 12:25 - 13:50																		CurryOn Catering Coffee break 15:20 - 16:00
Belli				ECOOP Doctoral Symposium Welcome 08:45 - 08:55	ECOOP Doctoral Symposium Lightning Talks 08:55 - 09:15		ECOOP Doctoral Symposium Live Programming Environments for Reactive MVU Applications 09:15 - 09:45				ECOOP Doctoral Symposium User-Centric Static Analysis 10:05 - 10:35				ECOOP Doctoral Symposium Domain-based Simulation Modelling to Enable Continuous Testing for Soft ... 10:35 - 11:05				ECOOP Doctoral Symposium Coffee break 11:05 - 11:25		ECOOP Doctoral Symposium Language Design for Validatable Information System Specifications 11:25 - 11:55				ECOOP Doctoral Symposium Compositional and Mechanically Verified Program Analyzers 11:55 - 12:25										ECOOP Doctoral Symposium Invited Talk: How to get your Ph.D. DONE 13:50 - 14:20				ECOOP Doctoral Symposium Concept Parameters as a New Mechanism of Generic Programming for C# Lan ... 14:20 - 14:50				ECOOP Doctoral Symposium Exploring optional security typing 14:50 - 15:20						ECOOP Doctoral Symposium Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages 16:00 - 16:30		ECOOP Doctoral Symposium Invited Talk: Papers vs. Artefacts 16:30 - 17:00				ECOOP Doctoral Symposium Invited Talk: PhD Reflections 17:00 - 17:30
Foscolo				LIVE The Promise of Live Programming 08:45 - 09:45							LIVE Language Hacking in a Live Programming Environment 10:05 - 10:25		LIVE Towards Live Language Development 10:25 - 10:45			LIVE Live Programming with Code Portals 10:45 - 11:05				LIVE Live end-user programming: a demo/manifesto 11:15 - 11:35			LIVE Discuss: New Interfaces for Programming 11:35 - 12:25												LIVE Live Programming by Example: Using Direct Manipulation for Live Program ... 13:50 - 14:10		LIVE Live Literals 14:10 - 14:30			LIVE Liveness for Verification 14:30 - 14:50			LIVE Live Lightning Talks 14:50 - 15:20						LIVE Leveraging live programming in the classroom — an experience report 16:00 - 16:50				LIVE Live Tuning: Expanding Live Programming Benefits to Non-Programmers 16:50 - 17:10			LIVE Sintr: Experimenting with liveness at scale 17:10 - 17:30		LIVE Discuss: Live Programming, Live Coding, and Intelligence Amplification 17:30 - 18:20
Montale				PMLDC Opening Remarks 08:45 - 09:00		PMLDC We Are All Distributed System Engineers 09:00 - 09:45				PMLDC Implicitly Distributing Pervasively Concurrent Programs 10:00 - 10:30				PMLDC Static Type Checking for the Kompics Component Model -- Kola - The Komp ... 10:30 - 11:00				PMLDC Towards Aggregate Programming in Scala 11:00 - 11:30				PMLDC Building Distributed Applications with Data and Time Frames 11:30 - 12:00				PMLDC Fractional Permissions for Race-Free Mutable References in a Dataflow I ... 12:00 - 12:30									PMLDC Tracking the Elephants in the System 13:50 - 14:20				PMLDC Join Decompositions for Efficient Synchronization of CRDTs after a Netw ... 14:20 - 14:50				PMLDC Integration Challenges of Pure Operation-based CRDTs in Redis 14:50 - 15:20						PMLDC The Consistency Babel 16:00 - 16:30		PMLDC Data-centric Consistency Policies: A Programming Model for Distributed ... 16:30 - 17:00				PMLDC On the Potential of Event Sourcing for Retroactive Actor-based Programming 17:00 - 17:30

Mon 18 Jul 2016


Room	8:00	15	30	45	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	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45	23:00	15	30	45
Alfieri						ICOOOLPS Welcome 09:10 - 09:15	ICOOOLPS Source Language Representation of Function Summaries in Static Analysis 09:15 - 09:45				ICOOOLPS Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrume ... 10:05 - 11:05									ICOOOLPS The Performance of Object Encodings in JavaScript 11:05 - 11:35				ICOOOLPS Virtual Machine Warm-up Blows Hot and Cold 11:35 - 12:05			ICOOOLPS Discussions 12:05 - 12:25										ICOOOLPS Growing an Abstract Grammar: Teaching Language Engineering 13:50 - 14:50								ICOOOLPS MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Langua ... 14:50 - 15:20						ICOOOLPS TruffleReloader: A Low-Overhead Language-Neutral Reloader 16:00 - 16:30		ICOOOLPS Sulong - Execution of LLVM-Based Languages on the JVM 16:30 - 17:00			ICOOOLPS Efficient Profiling of Actor-based Applications in Parallel and Distrib ... 17:00 - 17:30				ICOOOLPS Demo of Docking: Enabling Language Based Dynamic Coupling 17:40 - 18:05			ICOOOLPS Discussions and Wrap Up 18:05 - 18:30
Ariosto + Manzoni									CurryOn Catering Coffee break 09:45 - 10:05																				CurryOn Catering Lunch 12:25 - 13:50																			CurryOn Catering Coffee break 15:20 - 16:00
Auditorium Loyola				CurryOn Curry On opening remarks 08:45 - 09:00	CurryOn How To Win Big With Old Ideas 09:00 - 09:50						CurryOn Move Fast to Fix More Things 10:05 - 10:45							CurryOn Notes on Post-Post-Modern-Modern Programming 10:55 - 11:35							CurryOn A Type is Worth a Thousand Tests 11:45 - 12:25												CurryOn Building Scalable Stateful Services 13:50 - 14:30						CurryOn Data-driven Software security using Differential Privacy and Deep Learning 14:40 - 15:20								CurryOn Doing data science with Clojure: the ugly, the sad, the joyful 16:00 - 16:40				CurryOn Oden - A Functional Programming Language for the Go Ecosystem 16:50 - 17:30					CurryOn The Racket Manifesto 17:40 - 18:30
Belli				PX Introduction 08:45 - 09:00	PX How Live are Live Programming Systems? – Benchmarking the Response Time ... 09:00 - 09:45						PX Envision – Turning the IDE into a Visual Information System. 10:05 - 10:50						PX Satisfaction, Time Investment and Success in Students' Programming Exer ... 10:50 - 11:35							PX Towards Gaze Control in Programming Environments. 11:35 - 12:20													PX Towards Making a Computer Tutor for Children of All Ages - A Memo. 13:50 - 14:35					PX I sit down at my editor, and feel relaxed. 14:35 - 15:20									PX Exemplifying Moldable Development. 16:00 - 16:45			PX Evolving User Interfaces From Within Self-sustaining Programming Enviro ... 16:45 - 17:30
Foscolo											CurryOn The Functional Programming Languages Nomad 10:05 - 10:45							CurryOn Creating a Fun Game with Elm 10:55 - 11:35							CurryOn Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us 11:45 - 12:25												CurryOn Sieve: Cryptographically Enforced Access Control for User Data in Untru ... 13:50 - 14:30						CurryOn Rascal: the Swiss Army Knife of Meta Programming 14:40 - 15:20								CurryOn Why The Free Monad isn't Free 16:00 - 16:40				CurryOn Exercises in Programming Style 16:50 - 17:30
Mercati di Traiano																																		CurryOn Curry On Party! 19:30 - 23:00
Quasimodo																																		IWACO Frozen Realms: Confining effects for safer JavaScript plugins 13:50 - 14:20			IWACO Towards Enabling Low-Level Memory Optimisations at the High-Level with ... 14:20 - 14:50			IWACO Objects as Session-Typed Processes 14:50 - 15:20									IWACO Are Ownership Types Reaching the World Yet? 16:00 - 16:30		IWACO Kappa: Insights, Current Status and Future Work 16:30 - 17:00		IWACO Abstract Data Types in Object-Capability Systems 17:00 - 17:30				IWACO Closing Discussions 17:40 - 18:30
Saba											VORTEX Opening Remarks 10:05 - 10:10	VORTEX StaRVOOrS: A framework for static and runtime verification of data and ... 10:10 - 10:40			VORTEX Runtime Verification with Data 10:40 - 11:10						VORTEX Runtime Verification of Safe Advisories in the Next-Generation Airborne ... 11:10 - 11:40																VORTEX Extracting Runtime Monitors from Tests: An Overview and a way forward 13:50 - 14:20			VORTEX Runtime checks as nominal types 14:20 - 14:50					VORTEX The Early Bird Catches the Worm: first Verify, then Monitor! 14:50 - 15:19			VORTEX Closing Remarks 15:19 - 15:20

Tue 19 Jul 2016


Room	8:00	15	30	45	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
Alfieri														JSTools Opening Remarks 10:45 - 10:50	JSTools So You Want to Build Memory Tooling For JavaScript? 10:50 - 11:30				JSTools Sound Type Inference for JavaScript 11:30 - 12:10														JSTools Invited Talk - Frozen Realms: Confining effects for safer JavaScript pl ... 13:50 - 14:20			JSTools JavaScript Verification 14:20 - 14:50				JSTools What Went Wrong? Automatic Triage of Precision Loss During Static Analy ... 14:50 - 15:20						JSTools Verification of Communication in Web Applications 16:00 - 16:40			JSTools Fishing for JavaScript Bugs at the Shallow End 16:40 - 17:20					JSTools Closing Remarks 17:20 - 17:30
Ariosto + Manzoni								CurryOn Catering Coffee break 09:45 - 10:05																	CurryOn Catering Lunch 12:25 - 13:50																		CurryOn Catering Coffee break 15:20 - 16:00
Auditorium Loyola					CurryOn It's the End of the World as We Know It, and I Feel Fine 09:00 - 09:50					CurryOn Dartino - a managed language on micro-controllers? 10:05 - 10:45						CurryOn Redesigning Type Systems for Industry OO 10:55 - 11:35					CurryOn Static analysis for security at the Facebook scale 11:45 - 12:25												CurryOn Practical Demystification of CRDTs 13:50 - 14:30					CurryOn Distributed Iterative Computation in TensorFlow 14:40 - 15:20								CurryOn Distributed Configuration with Clojure 16:00 - 16:40					CurryOn Using Object Algebras To Design Embedded Domain Specific Languages 16:50 - 17:30					CurryOn A brief and incomplete history of programming languages 17:40 - 18:20				CurryOn Building an Open Source Research Lab 18:30 - 19:20
Belli										FTfJP Opening 10:05 - 10:10	FTfJP Java Generics are Turing Complete 10:10 - 11:00						FTfJP A Mechanical Soundness Proof for Subtyping Over Recursive Types 11:00 - 11:30		FTfJP A formal account of SSA in Java-like languages 11:30 - 12:00				FTfJP A Note on the Soundness of Difference Propagation 12:00 - 12:25										FTfJP Generating Concurrency Checks Automatically 13:50 - 14:20			FTfJP An Extended Buffered Memory Model With Full Reorderings 14:20 - 14:50				FTfJP Towards a Model of Corecursion with Default 14:50 - 15:20						FTfJP Tool Demonstration: The VeriFast Verification System for Java and C 16:00 - 16:30		FTfJP Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast 16:30 - 17:00				FTfJP Coupling Catch Clauses with Local Declarations 17:00 - 17:30			FTfJP Towards Modular Reasoning for Context-Oriented Programs 17:30 - 18:00			FTfJP Permission and Authority Revisited: Towards a Formalization 18:00 - 18:30
Foscolo										CurryOn Functional Programming and Foreign Language Interfaces: Essentials in D ... 10:05 - 10:45						CurryOn The Future of Programming will be Live 10:55 - 11:35					CurryOn From Unikernels to Databases to UIs: Truly full-stack apps in OCaml 11:45 - 12:25												CurryOn On the chemistry of typestate-oriented actors 13:50 - 14:30					CurryOn Become a Polyglot by learning Java! 14:40 - 15:20								CurryOn What is programming? 16:00 - 16:40					CurryOn Are We Ready for Secure Languages? 16:50 - 17:30					CurryOn To Macros and Beyond!: How macros changed Scala, and what's coming next 17:40 - 18:20
Manzoni																														CurryOn Catering Poster Session & Workshops Reception 17:30 - 18:30
Quasimodo				COP Opening 08:45 - 09:00	COP Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty. 09:00 - 09:45					COP Classes as Layers: Rewriting Design Patterns with COP - Alternative Imp ... 10:05 - 10:50					COP Consistent Unanticipated Adaptation for Context-Dependent Applications 10:50 - 11:40					COP Optimizing Sideways Composition: Fast Context-Oriented Programming in C ... 11:40 - 12:25													COP A Context-Oriented Software Architecture 13:50 - 14:20			COP Detecting Invalid Layer Combinations Using Control-Flow Analysis for An ... 14:20 - 14:50				COP Transaction Layers: Controlling Granularity of Change in Live Programmi ... 14:50 - 15:20
Saba				GRACE Overview of the Grace project and language 08:45 - 09:45						GRACE Experience teaching with Grace 10:05 - 10:45				GRACE Recent changes and language design issues in Grace 10:45 - 11:55								GRACE The Recurring Rainfall Problem 11:55 - 12:25											GRACE Grace in Spoofax: Readable Specification and Implementation in One 13:50 - 14:20			GRACE Traitorous Traits 14:20 - 14:50

ECOOP 2016 Program

Sun 17 Jul

Mon 18 Jul

Tue 19 Jul

Wed 20 Jul

Thu 21 Jul

Fri 22 Jul

Sun 17 Jul 2016

STOP

STOP

STOP

STOP

Summer School

Catering

Catering

Catering

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

LIVE

LIVE

LIVE

LIVE

PMLDC

PMLDC

PMLDC

PMLDC

Mon 18 Jul 2016

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

ICOOOLPS

Catering

Catering

Catering

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

PX

PX

PX

PX

CurryOn

CurryOn

CurryOn

CurryOn

IWACO

IWACO

IWACO

VORTEX

VORTEX

Tue 19 Jul 2016

JSTools

JSTools

JSTools

Catering

Catering

Catering

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

CurryOn

FTfJP

FTfJP

FTfJP

FTfJP

CurryOn

CurryOn

CurryOn

CurryOn

Catering

COP

COP

COP