Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 17 Jul

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

08:45 - 09:45
Session 1STOP at Alfieri
08:45
10m
Day opening
Opening remarks
STOP

08:55
50m
Talk
Types for Ruby
STOP
Jeffrey S. Foster University of Maryland, College Park
08:45 - 09:45
08:45
10m
Day opening
Welcome
Doctoral Symposium

08:55
20m
Talk
Lightning Talks
Doctoral Symposium

09:15
30m
Talk
Live Programming Environments for Reactive MVU Applications
Doctoral Symposium
A: Christopher Schuster University of California, Santa Cruz
08:45 - 09:45
WinterLIVE at Foscolo
08:45
60m
Talk
The Promise of Live Programming
LIVE
Sean McDirmid Microsoft Research
Pre-print
08:45 - 09:45
Invited talkPMLDC at Montale
08:45
15m
Day opening
Opening Remarks
PMLDC

09:00
45m
Talk
We Are All Distributed System Engineers
PMLDC
Carl Lerche Independent Consultant
09:45 - 10:05
Coffee breakCurryOn Catering at Ariosto
09:45
20m
Coffee break
Coffee break
CurryOn Catering

10:05 - 12:25
Session 2STOP at Alfieri
10:05
50m
Talk
Optional Typing in Dart: Purity and Practice
STOP
Pre-print
10:55
30m
Beyond Types: Extending the Gradual Guarantee
STOP
James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Andrew Black Portland State University, Kim Bruce Pomona College
Link to publication
11:25
30m
Gradual Typing for Delimited Continuations
STOP
Yusuke Miyazaki Kyoto University, Taro Sekiyama , Atsushi Igarashi Kyoto University
Link to publication
11:55
30m
Talk
Automating Gradual Typing
STOP
Timothy Jones Victoria University of Wellington
Link to publication File Attached
10:05 - 12:25
10:05
30m
Talk
User-Centric Static Analysis
Doctoral Symposium
A: Lisa Nguyen Quang Do Fraunhofer IEM
10:35
30m
Talk
Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry
Doctoral Symposium
A: Adam Ziolkowski University of East Anglia
11:05
20m
Coffee break
Coffee break
Doctoral Symposium

11:25
30m
Talk
Language Design for Validatable Information System Specifications
Doctoral Symposium
A: Daco Harkes Delft University of Technology
11:55
30m
Talk
Compositional and Mechanically Verified Program Analyzers
Doctoral Symposium
A: David Darais University of Maryland, College Park
10:05 - 12:25
SpringLIVE at Foscolo
10:05
20m
Talk
Language Hacking in a Live Programming Environment
LIVE
Patrick Dubroy HARC / Y Combinator Research, Saketh Kasibatla Communications Design Group / UCLA, Meixian Li Communications Design Group / Y Combinator Research, Marko Röder HARC / Y Combinator Research, Alessandro Warth HARC / Y Combinator Research
Pre-print
10:25
20m
Talk
Towards Live Language Development
LIVE
Gabriël Konat TU Delft, Sebastian Erdweg TU Delft, Eelco Visser Delft University of Technology
Pre-print
10:45
20m
Talk
Live Programming with Code Portals
LIVE
Alexander Breckel Institute of Software Engineering and Compiler Construction, Matthias Tichy Chalmers University of Technology
Media Attached
11:15
20m
Talk
Live end-user programming: a demo/manifesto
LIVE
Jonathan Edwards CDG Labs, Jodie Chen MIT, Alessandro Warth HARC / Y Combinator Research
Pre-print
11:35
50m
Other
Discuss: New Interfaces for Programming
LIVE
Roly Perera University of {Glasgow, Edinburgh}
12:25 - 13:50
12:25
85m
Lunch
Lunch
CurryOn Catering

13:50 - 15:20
Session 3STOP at Alfieri
13:50
50m
Talk
Gradual types for real-world objects
STOP
Jan Vitek Northeastern University
14:40
30m
A Systematic Performance Evaluation of Gradually Typed Functions and References
STOP
Andre Kuhlenschmidt Indiana University, Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University
13:50 - 15:20
13:50
30m
Talk
Invited Talk: How to get your Ph.D. DONE
Doctoral Symposium
Eric Jul Alcatel-Lucent Bell Labs
14:20
30m
Talk
Concept Parameters as a New Mechanism of Generic Programming for C# Language
Doctoral Symposium
A: Julia Belyakova Southern Federal University
14:50
30m
Talk
Exploring optional security typing
Doctoral Symposium
13:50 - 15:20
SummerLIVE at Foscolo
13:50
20m
Talk
Live Programming by Example: Using Direct Manipulation for Live Program Synthesis
LIVE
Christopher Schuster University of California, Santa Cruz, Cormac Flanagan University of California, Santa Cruz
Pre-print
14:10
20m
Talk
Live Literals
LIVE
Tijs van der Storm CWI, Felienne Hermans Delft University of Technology
Pre-print
14:30
20m
Talk
Liveness for Verification
LIVE
Roly Perera University of {Glasgow, Edinburgh}, Simon J. Gay
Pre-print Media Attached
14:50
30m
Other
Live Lightning Talks
LIVE
15:20 - 16:00
Coffee breakCurryOn Catering at Ariosto
15:20
40m
Coffee break
Coffee break
CurryOn Catering

16:00 - 16:40
Session 4STOP at Alfieri
16:00
30m
From Optional to Gradual Typing via Transient Checks
STOP
Michael Vitousek , Jeremy G. Siek Indiana University
16:30
10m
Day closing
Closing remarks
STOP

16:00 - 17:30
16:00
30m
Talk
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
Doctoral Symposium
A: Manuel Rigger Johannes Kepler University, Linz, Austria
16:30
30m
Talk
Invited Talk: Papers vs. Artefacts
Doctoral Symposium
Philipp Haller KTH Royal Institute of Technology
17:00
30m
Talk
Invited Talk: PhD Reflections
Doctoral Symposium
16:00 - 18:20
FallLIVE at Foscolo
16:00
50m
Talk
Leveraging live programming in the classroom — an experience report
LIVE
Alessandro Warth HARC / Y Combinator Research
File Attached
16:50
20m
Talk
Live Tuning: Expanding Live Programming Benefits to Non-Programmers
LIVE
Jun Kato National Institute of Advanced Industrial Science and Technology, Japan, Masataka Goto National Institute of Advanced Industrial Science and Technology, Japan
Pre-print
17:10
20m
Talk
Sintr: Experimenting with liveness at scale
LIVE
Luke Church , Mariana Marasoiu University of Cambridge, Alan Blackwell University of Cambridge
Pre-print
17:30
50m
Other
Discuss: Live Programming, Live Coding, and Intelligence Amplification
LIVE
Sean McDirmid Microsoft Research, Jun Kato National Institute of Advanced Industrial Science and Technology, Japan
16:00 - 17:30
Session 3: ConsistencyPMLDC at Montale
16:00
30m
The Consistency Babel
PMLDC
Rodrigo Rodrigues Instituto Superior Técnico, University of Lisboa & INESC-ID
16:30
30m
Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency
PMLDC
Nosheen Zaza Università della Svizzera italiana, Nate Nystrom Universita della Svizzera italiana (USI)
Link to publication DOI Pre-print
17:00
30m
On the Potential of Event Sourcing for Retroactive Actor-based Programming
PMLDC
Benjamin Erb Ulm University, Germany , Gerhard Habiger , Franz J. Hauck
Link to publication DOI
16:45 - 18:45
Welcome SessionSummer School at Alfieri
Chair(s): Jan Vitek Northeastern University
16:45
10m
Day opening
Welcome
Summer School

16:55
50m
Talk
My twenty-five years of ECOOP
Summer School
Jan Vitek Northeastern University
File Attached
17:45
60m
Talk
Research in Academia and Industry
Summer School
S: Jade Alglave University College London

Mon 18 Jul

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

08:45 - 09:50
08:45
15m
Day opening
Curry On opening remarks
CurryOn
Jan Vitek Northeastern University, Heather Miller Ecole Polytechnique Federale de Lausanne
09:00
50m
Talk
How To Win Big With Old Ideas
CurryOn
S: David Nolen Cognitec
08:45 - 09:45
Session 1PX at Belli
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology
08:45
15m
Day opening
Introduction
PX

09:00
45m
Talk
How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.
PX
Patrick Rein Hasso Plattner Institute, Stefan Lehmann Hasso-Plattner-Institute, Potsdam, Toni Mattis Hasso Plattner Institute, Robert Hirschfeld HPI
09:10 - 09:45
Session 1ICOOOLPS at Alfieri
Chair(s): Stefan Marr Johannes Kepler University Linz
09:10
5m
Day opening
Welcome
ICOOOLPS
Stefan Marr Johannes Kepler University Linz
09:15
30m
Talk
Source Language Representation of Function Summaries in Static Analysis
ICOOOLPS
Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Media Attached File Attached
09:45 - 10:05
09:45
20m
Coffee break
Coffee break
CurryOn Catering

10:05 - 12:25
Session 2ICOOOLPS at Alfieri
Chair(s): Tomas Kalibera Northeastern University
10:05
60m
Talk
Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation
ICOOOLPS
Lubomír Bulej Charles University
Media Attached File Attached
11:05
30m
Talk
The Performance of Object Encodings in JavaScript
ICOOOLPS
Forrest Alexander Portland State University, Andrew Black Portland State University
Media Attached File Attached
11:35
30m
Talk
Virtual Machine Warm-up Blows Hot and Cold
ICOOOLPS
Edd Barrett King's College London, Carl Friedrich Bolz-Tereick King's College London , Rebecca Killick Department of Mathematics and Statistics, University of Lancaster, Vincent Knight School of Mathematics, Cardiff University, Sarah Mount King's College London, Laurence Tratt King's College London
Link to publication Media Attached File Attached
12:05
20m
Other
Discussions
ICOOOLPS

10:05 - 12:25
10:05
40m
Talk
Move Fast to Fix More Things
CurryOn
S: Peter O'Hearn Facebook
10:55
40m
Talk
Notes on Post-Post-Modern-Modern Programming
CurryOn
S: James Noble Victoria University of Wellington
11:45
40m
Talk
A Type is Worth a Thousand Tests
CurryOn
S: Manuel Chakravarty UNSW Australia & Applicative
10:05 - 12:25
Session 1aCurryOn at Foscolo
10:05
40m
Talk
The Functional Programming Languages Nomad
CurryOn
S: Michael Sperber Active Group GmbH
10:55
40m
Talk
Creating a Fun Game with Elm
CurryOn
Andrey Kuzmin Zalando, Kolja Wilcke Zalando
11:45
40m
Talk
Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us
CurryOn
Ron Pressler Parallel Universe
10:05 - 12:25
Session 1VORTEX at Saba
10:05
5m
Day opening
Opening Remarks
VORTEX
Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
10:10
30m
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
Gerardo Schneider University of Gothenburg
10:40
30m
Runtime Verification with Data
VORTEX
Martin Leucker University of Lübeck
11:10
30m
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste Jeannin Carnegie Mellon University
12:25 - 13:50
12:25
85m
Lunch
Lunch
CurryOn Catering

13:50 - 15:20
Session 3ICOOOLPS at Alfieri
Chair(s): Edd Barrett King's College London
13:50
60m
Talk
Growing an Abstract Grammar: Teaching Language Engineering
ICOOOLPS
Theo D'Hondt Vrije Universiteit Brussel
Media Attached
14:50
30m
Talk
MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations
ICOOOLPS
Shijie Xu University of New Brunswick, David Bremner University of New Brunswick, Daniel Heidinga IBM
Media Attached File Attached
13:50 - 15:20
Session 3PX at Belli
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology
13:50
45m
Talk
Towards Making a Computer Tutor for Children of All Ages - A Memo.
PX
Yoshiki Ohshima Viewpoints Research Institute, Alessandro Warth HARC / Y Combinator Research, Bert Freudenberg , Aran Lunzer , Alan Kay University of California at Los Angeles, USA
14:35
45m
Demonstration
I sit down at my editor, and feel relaxed.
PX
13:50 - 15:20
Session 2VORTEX at Saba
13:50
30m
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
14:20
30m
Runtime checks as nominal types
VORTEX
Paola Giannini , Elena Zucca University of Genova, Marco Servetto Victoria University of Wellington
14:50
29m
The Early Bird Catches the Worm: first Verify, then Monitor!
VORTEX
15:19
1m
Day closing
Closing Remarks
VORTEX
Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
15:20 - 16:00
15:20
40m
Coffee break
Coffee break
CurryOn Catering

16:00 - 17:30
Session 4ICOOOLPS at Alfieri
Chair(s): Eric Jul Alcatel-Lucent Bell Labs
16:00
30m
Talk
TruffleReloader: A Low-Overhead Language-Neutral Reloader
ICOOOLPS
Tõnis Pool ZeroTurnaround / University of Tartu, Allan Raundahl Gregersen ZeroTurnaround, Vesal Vojdani University of Tartu
Media Attached File Attached
16:30
30m
Talk
Sulong - Execution of LLVM-Based Languages on the JVM
ICOOOLPS
Manuel Rigger Johannes Kepler University, Linz, Austria, Matthias Grimmer Johannes Kepler University Linz, Hanspeter Mössenböck Johannes Kepler University Linz
Media Attached File Attached
17:00
30m
Talk
Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems
ICOOOLPS
Andrea Rosà Università della Svizzera italiana, Lydia Y. Chen IBM Research Lab Zurich, Walter Binder University of Lugano
Media Attached File Attached
16:00 - 17:30
Session 4PX at Belli
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research, Robert Hirschfeld HPI, Hidehiko Masuhara Tokyo Institute of Technology
16:00
45m
Talk
Exemplifying Moldable Development.
PX
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba CompuGroup Medical Schweiz AG, Juraj Kubelka University of Chile, Oscar Nierstrasz University of Bern, Switzerland, Stefan Reichhart , Aliaksei Syrel University of Bern
16:45
45m
Talk
Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs.
PX
Marcel Taeumel Hasso Plattner Institute, Robert Hirschfeld HPI
16:00 - 17:30
Session 3aCurryOn at Foscolo
16:00
40m
Talk
Why The Free Monad isn't Free
CurryOn
Kelley Robinson Sharethrough
16:50
40m
Talk
Exercises in Programming Style
CurryOn
S: Crista Lopes University of California, Irvine
16:00 - 17:30
Session 2IWACO at Quasimodo
16:00
30m
Talk
Are Ownership Types Reaching the World Yet?
IWACO
Patrick Lam University of Waterloo, Canada
File Attached
16:30
30m
Kappa: Insights, Current Status and Future Work
IWACO
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Pre-print
17:00
30m
Abstract Data Types in Object-Capability Systems
IWACO
James Noble Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Mark Miller Google Inc., Toby Murray University of Melbourne, Alex Potanin Victoria University of Wellington
Pre-print File Attached
17:40 - 18:30
Session 5ICOOOLPS at Alfieri
Chair(s): Stefan Marr Johannes Kepler University Linz
17:40
25m
Demonstration
Demo of Docking: Enabling Language Based Dynamic Coupling
ICOOOLPS
Magnus Haugom Christensen University of Oslo, Eric Jul Alcatel-Lucent Bell Labs
18:05
25m
Day closing
Discussions and Wrap Up
ICOOOLPS

17:40 - 18:30
17:40
50m
Talk
The Racket Manifesto
CurryOn
S: Matthias Felleisen Northeastern University
17:40 - 18:30
Session 3IWACO at Quasimodo
17:40
50m
Closing Discussions
IWACO
Paley Li Northeastern University
19:30 - 23:00
Curry On Party!CurryOn at Mercati di Traiano
19:30
3h30m
Social Event
Curry On Party!
CurryOn

Tue 19 Jul

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

08:45 - 09:45
Opening and KeynoteCOP at Quasimodo
08:45
15m
Day opening
Opening
COP

09:00
45m
Talk
Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty.
COP
James Noble Victoria University of Wellington
08:45 - 09:45
Opening sessionGRACE at Saba
08:45
60m
Day opening
Overview of the Grace project and language
GRACE
Kim Bruce Pomona College, Andrew Black Portland State University
09:45 - 10:05
09:45
20m
Coffee break
Coffee break
CurryOn Catering

10:05 - 11:00
Invited talkFTfJP at Belli
Chair(s): Vladimir Klebanov Karlsruhe Institute of Technology
10:05
5m
Day opening
Opening
FTfJP
Vladimir Klebanov Karlsruhe Institute of Technology
10:10
50m
Talk
Java Generics are Turing Complete
FTfJP
Radu Grigore University of Oxford
10:05 - 12:25
GraceGRACE at Saba
10:05
40m
Experience teaching with Grace
GRACE
Andrew Black Portland State University, Kim Bruce Pomona College
10:45
70m
Recent changes and language design issues in Grace
GRACE
Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Victoria University of Wellington
11:55
30m
The Recurring Rainfall Problem
GRACE
Shriram Krishnamurthi Brown University
10:45 - 12:25
Session 1JSTools at Alfieri
10:45
5m
Day opening
Opening Remarks
JSTools
Julian Dolby IBM Thomas J. Watson Research Center
10:50
40m
So You Want to Build Memory Tooling For JavaScript?
JSTools
11:30
40m
Sound Type Inference for JavaScript
JSTools
Jean-Baptiste Jeannin Carnegie Mellon University
11:00 - 12:25
Session 2FTfJP at Belli
Chair(s): Delphine Demange IRISA / University of Rennes 1
11:00
30m
Talk
A Mechanical Soundness Proof for Subtyping Over Recursive Types
FTfJP
Timothy Jones Victoria University of Wellington, David J. Pearce Victoria University of Wellington
DOI Pre-print File Attached
11:30
30m
Talk
A formal account of SSA in Java-like languages
FTfJP
Davide Ancona University of Genova, Andrea Corradi
12:00
25m
Talk
A Note on the Soundness of Difference Propagation
FTfJP
Jens Dietrich Massey University, New Zealand, Nicholas Hollingum The University of Sydney, Bernhard Scholz University of Sydney, Australia
12:25 - 13:50
12:25
85m
Lunch
Lunch
CurryOn Catering

13:50 - 15:20
Session 3FTfJP at Belli
Chair(s): Davide Ancona University of Genova
13:50
30m
Talk
Generating Concurrency Checks Automatically
FTfJP
Jonathan Hoyland Royal Holloway University of London, Matthew Hague Royal Holloway University of London
14:20
30m
Talk
An Extended Buffered Memory Model With Full Reorderings
FTfJP
14:50
30m
Talk
Towards a Model of Corecursion with Default
FTfJP
Davide Ancona University of Genova, Francesco Dagnino , Elena Zucca University of Genova
13:50 - 15:20
Session 5aCurryOn at Foscolo
13:50
40m
Talk
On the chemistry of typestate-oriented actors
CurryOn
Silvia Crafa Università di Padova, Italy
14:40
40m
Talk
Become a Polyglot by learning Java!
CurryOn
S: Jaroslav Tulach Oracle Labs
13:50 - 15:20
Research Papers 2COP at Quasimodo
13:50
30m
Talk
A Context-Oriented Software Architecture
COP
Kim Mens Université Catholique de Louvain, Belgium, Nicolás Cardozo Universidad de los Andes, Benoît Duhoux
14:20
30m
Talk
Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android
COP
14:50
30m
Talk
Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP
COP
Toni Mattis Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld HPI
13:50 - 15:20
Contributed PapersGRACE at Saba
13:50
30m
Talk
Grace in Spoofax: Readable Specification and Implementation in One
GRACE
Michiel Haisma TU Delft, Vlad Vergu TU Delft, Eelco Visser Delft University of Technology
Link to publication File Attached
14:20
30m
Traitorous Traits
GRACE
Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington
File Attached
14:50
30m
Tooling matters – Why Grace needs a good IDE
GRACE
Michael Kölling University of Kent
15:20 - 16:00
15:20
40m
Coffee break
Coffee break
CurryOn Catering

16:00 - 17:30
Session 3JSTools at Alfieri
16:00
40m
Verification of Communication in Web Applications
JSTools
Nathalie Oostvogels Vrije Universiteit Brussel
16:40
40m
Fishing for JavaScript Bugs at the Shallow End
JSTools
17:20
10m
Day closing
Closing Remarks
JSTools
Julian Dolby IBM Thomas J. Watson Research Center
16:00 - 18:30
Session 4FTfJP at Belli
Chair(s): Vladimir Klebanov Karlsruhe Institute of Technology
16:00
30m
Demonstration
Tool Demonstration: The VeriFast Verification System for Java and C
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
16:30
30m
Talk
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
17:00
30m
Talk
Coupling Catch Clauses with Local Declarations
FTfJP
Paola Giannini , Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova
17:30
30m
Talk
Towards Modular Reasoning for Context-Oriented Programs
FTfJP
Tomoyuki Aotani Tokyo Institute of Technology, Japan, Gary Leavens Central Florida University
18:00
30m
Talk
Permission and Authority Revisited: Towards a Formalization
FTfJP
Sophia Drossopoulou Imperial College London, James Noble Victoria University of Wellington, Mark Miller Google Inc., Toby Murray University of Melbourne
16:00 - 17:30
Session 6aCurryOn at Foscolo
16:00
40m
Talk
What is programming?
CurryOn
16:50
40m
Talk
Are We Ready for Secure Languages?
CurryOn
S: Cristina Cifuentes Oracle Labs, Australia
16:00 - 17:30
DiscussionGRACE at Saba
16:00
90m
Next steps with Grace
GRACE

17:30 - 18:30
Poster Session & Workshops ReceptionCurryOn Catering at Manzoni
17:30
60m
Social Event
Poster Session & Workshops Reception
CurryOn Catering

18:30 - 19:20
18:30
50m
Talk
Building an Open Source Research Lab
CurryOn
S: Dave Herman Mozilla Research

Wed 20 Jul

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

08:45 - 10:00
Invited TalkResearch Track at Auditorium Loyola
Chair(s): Camil Demetrescu Sapienza University of Rome
08:45
15m
Welcome address
Research Track

09:00
60m
Talk
The Elements of Decision Alignment: Large programs as complex organizations
Research Track
Mark Miller Google Inc.
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering

10:30 - 12:00
Session 1Research Track at Auditorium Loyola
Chair(s): Camil Demetrescu Sapienza University of Rome
10:30
25m
Talk
Higher-Order Demand-Driven Program Analysis[AEC approved]
Research Track
Zachary Palmer Swarthmore College, Scott F. Smith The Johns Hopkins University
Link to publication DOI Media Attached
10:55
25m
Talk
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis
Research Track
Maxime Chevalier-Boisvert University of Montreal, Marc Feeley Université de Montréal
Link to publication DOI Media Attached
11:20
25m
Talk
Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic[AEC approved]
Research Track
Kamil Jezek University of West Bohemia, Pilsen, CZ, Jens Dietrich Massey University, New Zealand
Link to publication DOI Pre-print Media Attached
11:45
15m
Awards
Research Track

10:30 - 12:00
Lecture 1Summer School at Leopardi
Chair(s): Jan Vitek Northeastern University
10:30
90m
Talk
28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand
Summer School
S: Matthias Felleisen Northeastern University
File Attached
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Lecture 2aSummer School at Leopardi
Chair(s): Jan Vitek Northeastern University
13:30
90m
Talk
Building a Research Program for Scripting Languages
Summer School
S: Shriram Krishnamurthi Brown University
13:45 - 15:00
Session 2Research Track at Auditorium Loyola
Chair(s): James Noble Victoria University of Wellington
13:45
25m
Talk
C++ const and Immutability: An Empirical Study of Writes-Through-const[AEC approved]
Research Track
Jonathan Eyolfson University of Waterloo, Patrick Lam University of Waterloo, Canada
Link to publication DOI Pre-print Media Attached
14:10
25m
Talk
Formal Language Recognition with the Java Type CheckerDistinguished Paper
Research Track
Yossi Gil Israel Institute of Technology, Tomer Levy Technion – Israel Institute of Technology
Link to publication DOI
14:35
25m
Talk
Towards Ontology-Based Program Analysis
Research Track
Link to publication DOI Media Attached
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 16:45
Session 3Research Track at Auditorium Loyola
Chair(s): Colin Gordon Drexel University
15:30
25m
Talk
Making an Embedded DBMS JIT-friendly[AEC approved]
Research Track
Carl Friedrich Bolz-Tereick King's College London , Darya Melicher Carnegie Mellon University, Laurence Tratt King's College London
Link to publication DOI Pre-print Media Attached
15:55
25m
Talk
QL: Object-oriented Queries on Relational Data
Research Track
Link to publication DOI Pre-print
16:20
25m
Talk
Transactional Tasks: Parallelism in Software Transactions[AEC approved]Distinguished Paper
Research Track
Janwillem Swalens Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
15:30 - 17:00
Lecture 2bSummer School at Leopardi
Chair(s): Jan Vitek Northeastern University
15:30
90m
Talk
Building a Research Program for Scripting Languages
Summer School
S: Shriram Krishnamurthi Brown University

Thu 21 Jul

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

09:00 - 10:00
DN TalkResearch Track at Auditorium Loyola
Chair(s): Eric Jul Alcatel-Lucent Bell Labs
09:00
60m
Talk
Half a Life in Software (Senior DN Prize Lecture)
Research Track
P: James Noble Victoria University of Wellington
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering

10:30 - 11:45
Session 4Research Track at Auditorium Loyola
Chair(s): Sebastian Erdweg TU Delft
10:30
25m
Talk
A Calculus for Variational Programming
Research Track
Sheng Chen University of Louisiana at Lafayette, Martin Erwig Oregon State University, Eric Walkingshaw Oregon State University
Link to publication DOI Media Attached
10:55
25m
Talk
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects
Research Track
Atsushi Ohori Tohoku University, Katsuhiro Ueno Tohoku University, Tomohiro Sasaki Tohoku University, Daisuke Kikuchi Tohoku University and Hitachi Solutions East Japan, Ltd.
Link to publication DOI Pre-print Media Attached
11:20
25m
Talk
Transforming programs between APIs with Many-to-Many Mappings
Research Track
Chenglong Wang University of Washington, Jiajun Jiang Peking University, Jun Li Peking University, Yingfei Xiong Peking University, Xiangyu Luo Peking University, Lu Zhang Peking University, Zhenjiang Hu National Institute of Informatics
Link to publication DOI Pre-print Media Attached
10:30 - 12:00
Lecture 3Summer School at Leopardi
Chair(s): Jan Vitek Northeastern University
10:30
90m
Talk
Gradual Type Systems
Summer School
Jeremy G. Siek Indiana University
File Attached
11:45 - 13:30
11:45
1h45m
Lunch
Lunch
Catering

13:30 - 15:00
Lecture 4aSummer School at Leopardi
Chair(s): Jan Vitek Northeastern University
13:30
90m
Talk
A JIT Compiler (almost) for Free
Summer School
S: Carl Friedrich Bolz-Tereick King's College London , S: Laurence Tratt King's College London
File Attached
13:45 - 15:00
Session 5Research Track at Auditorium Loyola
Chair(s): Kim Bruce Pomona College
13:45
25m
Talk
LJGS: Gradual Security Types for Object-Oriented Languages[AEC approved]
Research Track
Luminous Fennell University of Freiburg, Germany, Peter Thiemann University of Freiburg
Link to publication DOI Media Attached
14:10
25m
Talk
Lightweight session programming in Scala[AEC approved]
Research Track
Alceste Scalas Imperial College London, Nobuko Yoshida Imperial College London, UK
Link to publication DOI Media Attached
14:35
25m
Talk
Trace Typing: An Approach for Evaluating Retrofitted Type Systems
Research Track
Esben Andreasen Aarhus University, Colin Gordon Drexel University, Satish Chandra Samsung Research America, Manu Sridharan Samsung Research America, Frank Tip Samsung Research America, Koushik Sen University of California, Berkeley
Link to publication DOI Pre-print Media Attached
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 16:45
Session 6Research Track at Auditorium Loyola
Chair(s): Sophia Drossopoulou Imperial College London
15:30
25m
Talk
Object Inheritance without Classes[AEC approved]
Research Track
Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington, Kim Bruce Pomona College
Link to publication DOI Pre-print Media Attached
15:55
25m
Talk
Program Tailoring: Slicing by Sequential Criteria[AEC approved]Distinguished Paper
Research Track
Yue Li UNSW Australia, Tian Tan UNSW Australia, Yifei Zhang UNSW Australia, Jingling Xue UNSW Australia
Link to publication DOI Pre-print Media Attached
16:20
25m
Talk
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics[AEC approved]
Research Track
Casper Bach Poulsen TU Delft, Pierre Neron French Network and Information Security Agency (ANSSI), Andrew Tolmach Portland State University, Eelco Visser Delft University of Technology
Link to publication DOI Pre-print Media Attached
15:30 - 17:00
Lecture 4bSummer School at Leopardi
Chair(s): Jan Vitek Northeastern University
15:30
90m
Talk
A JIT Compiler (almost) for Free
Summer School
S: Carl Friedrich Bolz-Tereick King's College London , S: Laurence Tratt King's College London
File Attached
19:30 - 23:00
19:30
3h30m
Dinner
ECOOP Banquet
Catering

Fri 22 Jul

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

09:00 - 10:00
DN TalkResearch Track at Auditorium Loyola
Chair(s): Eric Jul Alcatel-Lucent Bell Labs
09:00
60m
Talk
Synthesis and Verification for All (Junior DN Prize Lecture)
Research Track
P: Emina Torlak University of Washington
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering

10:30 - 11:45
Session 7Research Track at Auditorium Loyola
Chair(s): Julian Dolby IBM Thomas J. Watson Research Center
10:30
25m
Talk
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java[AEC approved]
Research Track
Johannes Späth Fraunhofer SIT, Lisa Nguyen Quang Do Fraunhofer IEM, Karim Ali TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI Pre-print Media Attached
10:55
25m
Talk
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs
Research Track
Daco Harkes Delft University of Technology, Danny Groenewegen Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Pre-print Media Attached
11:20
25m
Talk
Reference Capabilities for Concurrency Control
Research Track
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Link to publication DOI Pre-print Media Attached
10:30 - 12:00
Lecture 5aSummer School at Leopardi
Chair(s): Jan Vitek Northeastern University
10:30
90m
Talk
Experimental Evaluation of Programming Systems
Summer School
S: Tomas Kalibera Northeastern University, S: Jan Vitek Northeastern University
File Attached
11:45 - 13:30
11:45
1h45m
Lunch
Lunch
Catering

13:30 - 15:20
Session 8Research Track at Auditorium Loyola
Chair(s): Matthias Keil University of Freiburg, Eric Jul Alcatel-Lucent Bell Labs
13:30
25m
Talk
Composing Interfering Abstract Protocols
Research Track
Filipe Militão Carnegie Mellon University & Universidade Nova de Lisboa, Jonathan Aldrich Carnegie Mellon University, Luís Caires FCT / Universidade Nova de Lisboa
Link to publication DOI Pre-print Media Attached
13:55
25m
Talk
Fine-grained Language Composition: A Case Study[AEC approved]
Research Track
Edd Barrett King's College London, Carl Friedrich Bolz-Tereick King's College London , Lukas Diekmann King's College London, Laurence Tratt King's College London
Link to publication DOI Pre-print Media Attached
14:20
25m
Talk
One Way to Select Many[AEC approved]
Research Track
Jaakko Järvi Texas A&M University, Sean Parent Adobe Systems, Inc.
Link to publication DOI Media Attached
14:45
25m
Talk
Staccato: A Bug Finder for Dynamic Configuration Updates[AEC approved]
Research Track
John Toman University of Washington, Dan Grossman University of Washington, USA
Link to publication DOI Media Attached
15:10
10m
Adjourn
Research Track

13:40 - 15:20
Lecture 5bSummer School at Leopardi
Chair(s): Jan Vitek Northeastern University
13:40
90m
Talk
Experimental Evaluation of Programming Systems
Summer School
S: Tomas Kalibera Northeastern University, S: Jan Vitek Northeastern University
File Attached
15:10
10m
Adjourn
Summer School

15:20 - 16:20
Ice Cream SocialCatering at Manzoni
15:20
60m
Social Event
Social
Catering