Program - ECOOP 2016

Sun 17 - Fri 22 July 2016 Rome, Italy

Filter

Sun 17 Jul

08:45 - 09:45: PMLDC - Invited talk at Montale

08:45 - 09:00
Day opening

Opening Remarks

09:00 - 09:45
Talk

We Are All Distributed System Engineers

08:45 - 09:45: Doctoral Symposium - Opening at Belli

08:45 - 08:55
Day opening

08:55 - 09:15
Talk

Lightning Talks

09:15 - 09:45
Talk

Live Programming Environments for Reactive MVU Applications

Christopher Schuster

08:45 - 09:45: STOP - Session 1 at Alfieri

08:45 - 08:55
Day opening

Opening remarks

08:55 - 09:45
Talk

Jeffrey S. Foster

08:45 - 09:45: LIVE - Winter at Foscolo

08:45 - 09:45
Talk

The Promise of Live Programming

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

09:45 - 10:05
Coffee break

10:00 - 12:30: PMLDC - Session 1: Programming Languages at Montale

10:00 - 10:30

Implicitly Distributing Pervasively Concurrent Programs

John A. Thywissen, Arthur Michener Peters, William Cook

Link to publication DOI

10:30 - 11:00

Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language

Lars Kroll, Jim Dowling, Seif Haridi

Link to publication DOI File Attached

11:00 - 11:30

Towards Aggregate Programming in Scala

Roberto Casadei, Mirko Viroli, Roberto Casadei, Roberto Casadei

Link to publication DOI

11:30 - 12:00

Building Distributed Applications with Data and Time Frames

Crista Lopes, Rohan Achar, Arthur Valadares

12:00 - 12:30

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language

Matteo Cimini, Jeremy G. Siek

10:05 - 12:25: Doctoral Symposium - Session 1 at Belli

10:05 - 10:35
Talk

User-Centric Static Analysis

Lisa Nguyen Quang Do

10:35 - 11:05
Talk

Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry

Adam Ziolkowski

11:05 - 11:25
Coffee break

11:25 - 11:55
Talk

Language Design for Validatable Information System Specifications

11:55 - 12:25
Talk

Compositional and Mechanically Verified Program Analyzers

10:05 - 12:25: STOP - Session 2 at Alfieri

10:05 - 10:55
Talk

Optional Typing in Dart: Purity and Practice

10:55 - 11:25

Beyond Types: Extending the Gradual Guarantee

James Noble, Michael Homer, Timothy Jones, Sophia Drossopoulou, Andrew Black, Kim Bruce

Link to publication

11:25 - 11:55

Gradual Typing for Delimited Continuations

Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi

Link to publication

11:55 - 12:25
Talk

Automating Gradual Typing

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 Dubroy, Saketh Kasibatla, Meixian Li, Marko Röder, Alessandro Warth

10:25 - 10:45
Talk

Towards Live Language Development

Gabriël Konat, Sebastian Erdweg, Eelco Visser

10:45 - 11:05
Talk

Live Programming with Code Portals

Alexander Breckel, Matthias Tichy

11:15 - 11:35
Talk

Live end-user programming: a demo/manifesto

Jonathan Edwards, Jodie Chen, Alessandro Warth

11:35 - 12:25
Other

Discuss: New Interfaces for Programming

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

12:25 - 13:50
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

14:20 - 14:50
Talk

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

Julia Belyakova

14:50 - 15:20
Talk

Exploring optional security typing

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

13:50 - 14:20

Tracking the Elephants in the System

14:20 - 14:50

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition

Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker

Link to publication DOI Pre-print

14:50 - 15:20

Integration Challenges of Pure Operation-based CRDTs in Redis

Georges Younes, Ali Shoker, 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

14:40 - 15:10

A Systematic Performance Evaluation of Gradually Typed Functions and References

Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek

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 Schuster, Cormac Flanagan

14:10 - 14:30
Talk

Tijs van der Storm, Felienne Hermans

14:30 - 14:50
Talk

Liveness for Verification

Roly Perera, Simon J. Gay

Pre-print Media Attached

14:50 - 15:20
Other

Live Lightning Talks

Jonathan Edwards

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

15:20 - 16:00
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 Warth

16:50 - 17:10
Talk

Live Tuning: Expanding Live Programming Benefits to Non-Programmers

Jun Kato, Masataka Goto

17:10 - 17:30
Talk

Sintr: Experimenting with liveness at scale

Luke Church, Mariana Marasoiu, Alan Blackwell

17:30 - 18:20
Other

Discuss: Live Programming, Live Coding, and Intelligence Amplification

Sean McDirmid, Jun Kato

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

16:30 - 17:00
Talk

Invited Talk: Papers vs. Artefacts

17:00 - 17:30
Talk

Invited Talk: PhD Reflections

Sebastian Erdweg

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

16:00 - 16:30

The Consistency Babel

Rodrigo Rodrigues

16:30 - 17:00

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

Nosheen Zaza, Nate Nystrom

Link to publication DOI Pre-print

17:00 - 17:30

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

Benjamin Erb, 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. Siek

16:30 - 16:40
Day closing

Closing remarks

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

16:45 - 16:55
Day opening

16:55 - 17:45
Talk

My twenty-five years of ECOOP

17:45 - 18:45
Talk

Research in Academia and Industry

Mon 18 Jul

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

08:45 - 09:00
Day opening

Curry On opening remarks

Jan Vitek, Heather Miller

09:00 - 09:50
Talk

How To Win Big With Old Ideas

08:45 - 09:45: PX - Session 1 at Belli
Chair(s): Hidehiko Masuhara, Robert Hirschfeld, Richard P. Gabriel

08:45 - 09:00
Day opening

09:00 - 09:45
Talk

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

Patrick Rein, Stefan Lehmann, Toni Mattis, Robert Hirschfeld

09:10 - 09:45: ICOOOLPS - Session 1 at Alfieri
Chair(s): Stefan Marr

09:10 - 09:15
Day opening

09:15 - 09:45
Talk

Source Language Representation of Function Summaries in Static Analysis

Gábor Horváth, Norbert Pataki

Media Attached File Attached

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

09:45 - 10:05
Coffee break

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

10:05 - 10:10
Day opening

Opening Remarks

Davide Ancona, Frank S. de Boer

10:10 - 10:40

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

Gerardo Schneider

10:40 - 11:10

Runtime Verification with Data

11:10 - 11:40

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

Jean-Baptiste Jeannin

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

10:05 - 10:45
Talk

The Functional Programming Languages Nomad

Michael Sperber

10:55 - 11:35
Talk

Creating a Fun Game with Elm

Andrey Kuzmin, Kolja Wilcke

11:45 - 12:25
Talk

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

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

10:05 - 10:45
Talk

Move Fast to Fix More Things

10:55 - 11:35
Talk

Notes on Post-Post-Modern-Modern Programming

11:45 - 12:25
Talk

A Type is Worth a Thousand Tests

Manuel Chakravarty

10:05 - 12:30: PX - Session 2 at Belli
Chair(s): Hidehiko Masuhara, Richard P. Gabriel, Robert Hirschfeld

10:05 - 10:50
Demonstration

Envision – Turning the IDE into a Visual Information System.

Dimitar Asenov, Peter Müller

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 Taeumel, Robert Hirschfeld

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

10:05 - 11:05
Talk

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

Media Attached File Attached

11:05 - 11:35
Talk

The Performance of Object Encodings in JavaScript

Forrest Alexander, Andrew Black

Media Attached File Attached

11:35 - 12:05
Talk

Virtual Machine Warm-up Blows Hot and Cold

Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Vincent Knight, Sarah Mount, Laurence Tratt

Link to publication Media Attached File Attached

12:05 - 12:25
Other

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

12:25 - 13:50
Lunch

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

13:50 - 14:20
Talk

Frozen Realms: Confining effects for safer JavaScript plugins

14:20 - 14:50

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

Juliana Franco, Tobias Wrigstad, Sophia Drossopoulou

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 Pace

14:20 - 14:50

Runtime checks as nominal types

Paola Giannini, Elena Zucca, Marco Servetto

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 Ancona, Frank S. de Boer

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

14:40 - 15:20
Talk

Rascal: the Swiss Army Knife of Meta Programming

Tijs van der Storm

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

13:50 - 14:30
Talk

Building Scalable Stateful Services

Caitie McCaffrey

14:40 - 15:20
Talk

Data-driven Software security using Differential Privacy and Deep Learning

Úlfar Erlingsson

13:50 - 15:20: PX - Session 3 at Belli
Chair(s): Robert Hirschfeld, Richard P. Gabriel, Hidehiko Masuhara

13:50 - 14:35
Talk

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

Yoshiki Ohshima, Alessandro Warth, Bert Freudenberg, Aran Lunzer, Alan Kay

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 Barrett

13:50 - 14:50
Talk

Growing an Abstract Grammar: Teaching Language Engineering

14:50 - 15:20
Talk

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

Shijie Xu, David Bremner, Daniel Heidinga

Media Attached File Attached

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

15:20 - 16:00
Coffee break

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

16:00 - 16:30
Talk

Are Ownership Types Reaching the World Yet?

16:30 - 17:00

Kappa: Insights, Current Status and Future Work

Elias Castegren, Tobias Wrigstad

17:00 - 17:30

Abstract Data Types in Object-Capability Systems

James Noble, Sophia Drossopoulou, Mark Miller, Toby Murray, Alex Potanin

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 Robinson

16:50 - 17:30
Talk

Exercises in Programming Style

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

16:50 - 17:30
Talk

Oden - A Functional Programming Language for the Go Ecosystem

Oskar Wickström

16:00 - 17:30: PX - Session 4 at Belli
Chair(s): Robert Hirschfeld, Hidehiko Masuhara, Richard P. Gabriel

16:00 - 16:45
Talk

Exemplifying Moldable Development.

Andrei Chiş, Tudor Gîrba, Juraj Kubelka, Oscar Nierstrasz, Stefan Reichhart, Aliaksei Syrel

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 Taeumel, Robert Hirschfeld

16:00 - 17:30: ICOOOLPS - Session 4 at Alfieri
Chair(s): Eric Jul

16:00 - 16:30
Talk

TruffleReloader: A Low-Overhead Language-Neutral Reloader

Tõnis Pool, Allan Raundahl Gregersen, Vesal Vojdani

Media Attached File Attached

16:30 - 17:00
Talk

Sulong - Execution of LLVM-Based Languages on the JVM

Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck

Media Attached File Attached

17:00 - 17:30
Talk

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

Andrea Rosà, Lydia Y. Chen, Walter Binder

Media Attached File Attached

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

17:40 - 18:30
Talk

The Racket Manifesto

Matthias Felleisen

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

17:40 - 18:30

Closing Discussions

17:40 - 18:30: ICOOOLPS - Session 5 at Alfieri
Chair(s): Stefan Marr

17:40 - 18:05
Demonstration

Demo of Docking: Enabling Language Based Dynamic Coupling

Magnus Haugom Christensen, Eric Jul

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

09:00 - 09:45
Talk

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

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

08:45 - 09:45
Day opening

Overview of the Grace project and language

Kim Bruce, Andrew Black

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

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

09:45 - 10:05
Coffee break

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

10:05 - 10:45

Experience teaching with Grace

Andrew Black, Kim Bruce

10:45 - 11:55

Recent changes and language design issues in Grace

Andrew Black, Kim Bruce, James Noble

11:55 - 12:25

The Recurring Rainfall Problem

Shriram Krishnamurthi

10:05 - 11:00: FTfJP - Invited talk at Belli
Chair(s): Vladimir Klebanov

10:05 - 10:10
Day opening

Vladimir Klebanov

10:10 - 11:00
Talk

Java Generics are Turing Complete

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 Springer, Hidehiko Masuhara, Robert Hirschfeld

10:50 - 11:40
Talk

Consistent Unanticipated Adaptation for Context-Dependent Applications

Nguonly Taing, Markus Wutzler, Thomas Springer, Nicolás Cardozo, Alexander Schill

11:40 - 12:25
Talk

Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy

Tobias Pape, Tim Felgentreff, Robert Hirschfeld

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

10:05 - 10:45
Talk

Functional Programming and Foreign Language Interfaces: Essentials in Distributed Computing

10:55 - 11:35
Talk

The Future of Programming will be Live

11:45 - 12:25
Talk

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

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

10:05 - 10:45
Talk

Dartino - a managed language on micro-controllers?

10:55 - 11:35
Talk

Redesigning Type Systems for Industry OO

11:45 - 12:25
Talk

Static analysis for security at the Facebook scale

Francesco Logozzo

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

10:45 - 10:50
Day opening

Opening Remarks

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 Jeannin

11:00 - 12:25: FTfJP - Session 2 at Belli
Chair(s): Delphine Demange

11:00 - 11:30
Talk

A Mechanical Soundness Proof for Subtyping Over Recursive Types

Timothy Jones, David Pearce

DOI Pre-print File Attached

11:30 - 12:00
Talk

A formal account of SSA in Java-like languages

Davide Ancona, Andrea Corradi

12:00 - 12:25
Talk

A Note on the Soundness of Difference Propagation

Jens Dietrich, Nicholas Hollingum, Bernhard Scholz

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

12:25 - 13:50
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 Haisma, Vlad Vergu, Eelco Visser

Link to publication File Attached

14:20 - 14:50

Traitorous Traits

Michael Homer, Timothy Jones

14:50 - 15:20

Tooling matters – Why Grace needs a good IDE

Michael Kölling

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

13:50 - 14:20
Talk

A Context-Oriented Software Architecture

Kim Mens, Nicolás Cardozo, Benoît Duhoux

14:20 - 14:50
Talk

Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android

Tetsuo Kamina, Noriyuki Suzuki, Katsuhisa Maruyama

14:50 - 15:20
Talk

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

Toni Mattis, Patrick Rein, Robert Hirschfeld

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

13:50 - 14:20
Talk

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

14:20 - 14:50

JavaScript Verification

Philippa Gardner

14:50 - 15:20

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

Alexander Jordan

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

13:50 - 14:20
Talk

Generating Concurrency Checks Automatically

Jonathan Hoyland, Matthew Hague

14:20 - 14:50
Talk

An Extended Buffered Memory Model With Full Reorderings

Gurvan Cabon, David Cachera, David Pichardie

14:50 - 15:20
Talk

Towards a Model of Corecursion with Default

Davide Ancona, Francesco Dagnino, Elena Zucca

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

13:50 - 14:30
Talk

On the chemistry of typestate-oriented actors

14:40 - 15:20
Talk

Become a Polyglot by learning Java!

Jaroslav Tulach

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

13:50 - 14:30
Talk

Practical Demystification of CRDTs

Dmitry Ivanov, Nami Nasserazad

14:40 - 15:20
Talk

Distributed Iterative Computation in TensorFlow

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

15:20 - 16:00
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 Oostvogels

16:40 - 17:20

Fishing for JavaScript Bugs at the Shallow End

17:20 - 17:30
Day closing

Closing Remarks

16:00 - 18:30: FTfJP - Session 4 at Belli
Chair(s): Vladimir Klebanov

16:00 - 16:30
Demonstration

Tool Demonstration: The VeriFast Verification System for Java and C

16:30 - 17:00
Talk

Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast

17:00 - 17:30
Talk

Coupling Catch Clauses with Local Declarations

Paola Giannini, Marco Servetto, Elena Zucca

17:30 - 18:00
Talk

Towards Modular Reasoning for Context-Oriented Programs

Tomoyuki Aotani, Gary Leavens

18:00 - 18:30
Talk

Permission and Authority Revisited: Towards a Formalization

Sophia Drossopoulou, James Noble, Mark Miller, Toby Murray

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

16:00 - 16:40
Talk

What is programming?

16:50 - 17:30
Talk

Are We Ready for Secure Languages?

Cristina Cifuentes

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

16:00 - 16:40
Talk

Distributed Configuration with Clojure

16:50 - 17:30
Talk

Using Object Algebras To Design Embedded Domain Specific Languages

Julien Richard-Foy

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

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

Wed 20 Jul

08:45 - 10:00: Research Track - Invited Talk at Auditorium Loyola
Chair(s): Camil Demetrescu

08:45 - 09:00

Welcome address

09:00 - 10:00
Talk

The Elements of Decision Alignment: Large programs as complex organizations

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

10:00 - 10:30
Coffee break

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

10:30 - 12:00
Talk

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

Matthias Felleisen

10:30 - 12:00: Research Track - Session 1 at Auditorium Loyola
Chair(s): Camil Demetrescu

10:30 - 10:55
Talk

Higher-Order Demand-Driven Program Analysis

Zachary Palmer, Scott F. Smith

Link to publication DOI Media Attached

10:55 - 11:20
Talk

Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

Maxime Chevalier-Boisvert, Marc Feeley

Link to publication DOI Media Attached

11:20 - 11:45
Talk

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

Kamil Jezek, Jens Dietrich

Link to publication DOI Pre-print Media Attached

11:45 - 12:00

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

12:00 - 13:30
Lunch

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

13:30 - 15:00
Talk

Building a Research Program for Scripting Languages

Shriram Krishnamurthi

13:45 - 15:00: Research Track - Session 2 at Auditorium Loyola
Chair(s): James Noble

13:45 - 14:10
Talk

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

Jonathan Eyolfson, Patrick Lam

Link to publication DOI Pre-print Media Attached

14:10 - 14:35
Talk

Formal Language Recognition with the Java Type Checker

Distinguished Paper

Yossi Gil, Tomer Levy

Link to publication DOI

14:35 - 15:00
Talk

Towards Ontology-Based Program Analysis

Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen

Link to publication DOI Media Attached

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

15:00 - 15:30
Coffee break

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

15:30 - 17:00
Talk

Building a Research Program for Scripting Languages

Shriram Krishnamurthi

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

15:30 - 15:55
Talk

Making an Embedded DBMS JIT-friendly

Carl Friedrich Bolz-Tereick, Darya Melicher, Laurence Tratt

Link to publication DOI Pre-print Media Attached

15:55 - 16:20
Talk

QL: Object-oriented Queries on Relational Data

Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schaefer

Link to publication DOI Pre-print

16:20 - 16:45
Talk

Transactional Tasks: Parallelism in Software Transactions

Distinguished Paper

Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter

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 Jul

09:00 - 10:00
Talk

Half a Life in Software (Senior DN Prize Lecture)

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

10:00 - 10:30
Coffee break

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

10:30 - 12:00
Talk

Gradual Type Systems

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

10:30 - 10:55
Talk

A Calculus for Variational Programming

Sheng Chen, Martin Erwig, Eric Walkingshaw

Link to publication DOI Media Attached

10:55 - 11:20
Talk

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

Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi

Link to publication DOI Pre-print Media Attached

11:20 - 11:45
Talk

Transforming programs between APIs with Many-to-Many Mappings

Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu

Link to publication DOI Pre-print Media Attached

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

11:45 - 13:30
Lunch

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

13:30 - 15:00
Talk

A JIT Compiler (almost) for Free

Carl Friedrich Bolz-Tereick, Laurence Tratt

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

13:45 - 14:10
Talk

LJGS: Gradual Security Types for Object-Oriented Languages

Luminous Fennell, Peter Thiemann

Link to publication DOI Media Attached

14:10 - 14:35
Talk

Lightweight session programming in Scala

Alceste Scalas, Nobuko Yoshida

Link to publication DOI Media Attached

14:35 - 15:00
Talk

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Esben Andreasen, Colin Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

Link to publication DOI Pre-print Media Attached

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

15:00 - 15:30
Coffee break

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

15:30 - 17:00
Talk

A JIT Compiler (almost) for Free

Carl Friedrich Bolz-Tereick, Laurence Tratt

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

15:30 - 15:55
Talk

Object Inheritance without Classes

Timothy Jones, Michael Homer, James Noble, Kim Bruce

Link to publication DOI Pre-print Media Attached

15:55 - 16:20
Talk

Program Tailoring: Slicing by Sequential Criteria

Distinguished Paper

Yue Li, Tian Tan, Yifei Zhang, Jingling Xue

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 Poulsen, Pierre Neron, Andrew Tolmach, Eelco Visser

Link to publication DOI Pre-print Media Attached

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

19:30 - 23:00
Dinner

Fri 22 Jul

09:00 - 10:00: Research Track - DN Talk at Auditorium Loyola
Chair(s): Eric Jul

09:00 - 10:00
Talk

Synthesis and Verification for All (Junior DN Prize Lecture)

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

10:00 - 10:30
Coffee break

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

10:30 - 12:00
Talk

Experimental Evaluation of Programming Systems

Tomas Kalibera, Jan Vitek

10:30 - 11:45: Research Track - Session 7 at Auditorium Loyola
Chair(s): Julian Dolby

10:30 - 10:55
Talk

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

Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden

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 Harkes, Danny M. Groenewegen, Eelco Visser

Link to publication DOI Pre-print Media Attached

11:20 - 11:45
Talk

Reference Capabilities for Concurrency Control

Elias Castegren, Tobias Wrigstad

Link to publication DOI Pre-print Media Attached

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

11:45 - 13:30
Lunch

13:30 - 15:20: Research Track - Session 8 at Auditorium Loyola
Chair(s): Matthias Keil, Eric Jul

13:30 - 13:55
Talk

Composing Interfering Abstract Protocols

Filipe Militão, Jonathan Aldrich, Luís Caires

Link to publication DOI Pre-print Media Attached

13:55 - 14:20
Talk

Fine-grained Language Composition: A Case Study

Edd Barrett, Carl Friedrich Bolz-Tereick, Lukas Diekmann, Laurence Tratt

Link to publication DOI Pre-print Media Attached

14:20 - 14:45
Talk

One Way to Select Many

Jaakko Järvi, Sean Parent

Link to publication DOI Media Attached

14:45 - 15:10
Talk

Staccato: A Bug Finder for Dynamic Configuration Updates

John Toman, Dan Grossman

Link to publication DOI Media Attached

15:10 - 15:20

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

13:40 - 15:10
Talk

Experimental Evaluation of Programming Systems

Tomas Kalibera, Jan Vitek

15:10 - 15:20

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

15:20 - 16:20
Social Event

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 2016 Summer School Welcome 16:45 - 16:55		ECOOP 2016 Summer School My twenty-five years of ECOOP 16:55 - 17:45										ECOOP 2016 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 2016 Doctoral Symposium Welcome 08:45 - 08:55		ECOOP 2016 Doctoral Symposium Lightning Talks 08:55 - 09:15				ECOOP 2016 Doctoral Symposium Live Programming Environments for Reactive MVU Applications 09:15 - 09:45										ECOOP 2016 Doctoral Symposium User-Centric Static Analysis 10:05 - 10:35						ECOOP 2016 Doctoral Symposium Domain-based Simulation Modelling to Enable Continuous Testing for Soft ... 10:35 - 11:05						ECOOP 2016 Doctoral Symposium Coffee break 11:05 - 11:25				ECOOP 2016 Doctoral Symposium Language Design for Validatable Information System Specifications 11:25 - 11:55						ECOOP 2016 Doctoral Symposium Compositional and Mechanically Verified Program Analyzers 11:55 - 12:25																							ECOOP 2016 Doctoral Symposium Invited Talk: How to get your Ph.D. DONE 13:50 - 14:20						ECOOP 2016 Doctoral Symposium Concept Parameters as a New Mechanism of Generic Programming for C# Lan ... 14:20 - 14:50						ECOOP 2016 Doctoral Symposium Exploring optional security typing 14:50 - 15:20														ECOOP 2016 Doctoral Symposium Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages 16:00 - 16:30						ECOOP 2016 Doctoral Symposium Invited Talk: Papers vs. Artefacts 16:30 - 17:00						ECOOP 2016 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						GRACE Tooling matters – Why Grace needs a good IDE 14:50 - 15:20														GRACE Next steps with Grace 16:00 - 17:30

Wed 20 Jul 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00