Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:45: Session 1STOP at Alfieri
08:45 - 08:55
Day opening
Opening remarks
STOP
08:55 - 09:45
Talk
Types for Ruby
STOP
Jeffrey S. FosterUniversity of Maryland, College Park
08:45 - 09:45: OpeningDoctoral Symposium at Belli
08:45 - 08:55
Day opening
Welcome
Doctoral Symposium
08:55 - 09:15
Talk
Lightning Talks
Doctoral Symposium
09:15 - 09:45
Talk
Live Programming Environments for Reactive MVU Applications
Doctoral Symposium
A: Christopher SchusterUniversity of California, Santa Cruz
08:45 - 09:45: WinterLIVE at Foscolo
08:45 - 09:45
Talk
The Promise of Live Programming
LIVE
Sean McDirmidMicrosoft Research
Pre-print
08:45 - 09:45: Invited talkPMLDC at Montale
08:45 - 09:00
Day opening
Opening Remarks
PMLDC
09:00 - 09:45
Talk
We Are All Distributed System Engineers
PMLDC
Carl LercheIndependent Consultant
09:45 - 10:05: Coffee breakCurryOn Catering at Ariosto
09:45 - 10:05
Coffee break
Coffee break
CurryOn Catering
10:05 - 12:25: Session 2STOP at Alfieri
10:05 - 10:55
Talk
Optional Typing in Dart: Purity and Practice
STOP
Pre-print
10:55 - 11:25
Beyond Types: Extending the Gradual Guarantee
STOP
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
STOP
Yusuke MiyazakiKyoto University, Taro Sekiyama, Atsushi IgarashiKyoto University
Link to publication
11:55 - 12:25
Talk
Automating Gradual Typing
STOP
Timothy JonesVictoria University of Wellington
Link to publication File Attached
10:05 - 12:25: Session 1Doctoral Symposium at Belli
10:05 - 10:35
Talk
User-Centric Static Analysis
Doctoral Symposium
A: Lisa Nguyen Quang DoFraunhofer IEM
10:35 - 11:05
Talk
Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry
Doctoral Symposium
A: Adam ZiolkowskiUniversity of East Anglia
11:05 - 11:25
Coffee break
Coffee break
Doctoral Symposium
11:25 - 11:55
Talk
Language Design for Validatable Information System Specifications
Doctoral Symposium
A: Daco HarkesDelft University of Technology
11:55 - 12:25
Talk
Compositional and Mechanically Verified Program Analyzers
Doctoral Symposium
A: David DaraisUniversity of Maryland, College Park
10:05 - 12:25: SpringLIVE at Foscolo
10:05 - 10:25
Talk
Language Hacking in a Live Programming Environment
LIVE
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
LIVE
Gabriël KonatTU Delft, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology
Pre-print
10:45 - 11:05
Talk
Live Programming with Code Portals
LIVE
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
LIVE
Jonathan EdwardsCDG Labs, Jodie ChenMIT, Alessandro WarthHARC / Y Combinator Research
Pre-print
11:35 - 12:25
Other
Discuss: New Interfaces for Programming
LIVE
Roly PereraUniversity of {Glasgow, Edinburgh}
12:25 - 13:50: LunchCurryOn Catering at Ariosto
12:25 - 13:50
Lunch
Lunch
CurryOn Catering
13:50 - 15:20: Session 3STOP at Alfieri
13:50 - 14:40
Talk
Gradual types for real-world objects
STOP
Jan VitekNortheastern University
14:40 - 15:10
A Systematic Performance Evaluation of Gradually Typed Functions and References
STOP
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University
13:50 - 15:20: Session 2Doctoral Symposium at Belli
13:50 - 14:20
Talk
Invited Talk: How to get your Ph.D. DONE
Doctoral Symposium
Eric JulAlcatel-Lucent Bell Labs
14:20 - 14:50
Talk
Concept Parameters as a New Mechanism of Generic Programming for C# Language
Doctoral Symposium
A: Julia BelyakovaSouthern Federal University
14:50 - 15:20
Talk
Exploring optional security typing
Doctoral Symposium
13:50 - 15:20: SummerLIVE at Foscolo
13:50 - 14:10
Talk
Live Programming by Example: Using Direct Manipulation for Live Program Synthesis
LIVE
Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz
Pre-print
14:10 - 14:30
Talk
Live Literals
LIVE
Tijs van der StormCWI, Felienne HermansDelft University of Technology
Pre-print
14:30 - 14:50
Talk
Liveness for Verification
LIVE
Roly PereraUniversity of {Glasgow, Edinburgh}, Simon J. Gay
Pre-print Media Attached
14:50 - 15:20
Other
Live Lightning Talks
LIVE
15:20 - 16:00: Coffee breakCurryOn Catering at Ariosto
15:20 - 16:00
Coffee break
Coffee break
CurryOn Catering
16:00 - 16:40: Session 4STOP at Alfieri
16:00 - 16:30
From Optional to Gradual Typing via Transient Checks
STOP
Michael Vitousek, Jeremy G. SiekIndiana University
16:30 - 16:40
Day closing
Closing remarks
STOP
16:00 - 17:30: Session 3Doctoral Symposium at Belli
16:00 - 16:30
Talk
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
Doctoral Symposium
A: Manuel RiggerJohannes Kepler University, Linz, Austria
16:30 - 17:00
Talk
Invited Talk: Papers vs. Artefacts
Doctoral Symposium
Philipp HallerKTH Royal Institute of Technology
17:00 - 17:30
Talk
Invited Talk: PhD Reflections
Doctoral Symposium
16:00 - 18:20: FallLIVE at Foscolo
16:00 - 16:50
Talk
Leveraging live programming in the classroom — an experience report
LIVE
Alessandro WarthHARC / Y Combinator Research
File Attached
16:50 - 17:10
Talk
Live Tuning: Expanding Live Programming Benefits to Non-Programmers
LIVE
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
LIVE
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
LIVE
Sean McDirmidMicrosoft Research, Jun KatoNational Institute of Advanced Industrial Science and Technology, Japan
16:00 - 17:30: Session 3: ConsistencyPMLDC at Montale
16:00 - 16:30
The Consistency Babel
PMLDC
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
PMLDC
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
PMLDC
Benjamin ErbUlm University, Germany , Gerhard Habiger, Franz J. Hauck
Link to publication DOI
16:45 - 18:45: Welcome SessionSummer School at Alfieri
Chair(s): Jan VitekNortheastern University
16:45 - 16:55
Day opening
Welcome
Summer School
16:55 - 17:45
Talk
My twenty-five years of ECOOP
Summer School
Jan VitekNortheastern University
File Attached
17:45 - 18:45
Talk
Research in Academia and Industry
Summer School
S: Jade AlglaveUniversity College London

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:50: KeynoteCurryOn at Auditorium Loyola
08:45 - 09:00
Day opening
Curry On opening remarks
CurryOn
Jan VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
09:00 - 09:50
Talk
How To Win Big With Old Ideas
CurryOn
S: David NolenCognitec
08:45 - 09:45: Session 1PX 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
PX
09:00 - 09:45
Talk
How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.
PX
Patrick ReinHasso Plattner Institute, Stefan LehmannHasso-Plattner-Institute, Potsdam, Toni MattisHasso Plattner Institute, Robert HirschfeldHPI
09:10 - 09:45: Session 1ICOOOLPS at Alfieri
Chair(s): Stefan MarrJohannes Kepler University Linz
09:10 - 09:15
Day opening
Welcome
ICOOOLPS
Stefan MarrJohannes Kepler University Linz
09:15 - 09:45
Talk
Source Language Representation of Function Summaries in Static Analysis
ICOOOLPS
Gábor HorváthEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert PatakiEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Media Attached File Attached
09:45 - 10:05: Coffee breakCurryOn Catering at Ariosto + Manzoni
09:45 - 10:05
Coffee break
Coffee break
CurryOn Catering
10:05 - 12:25: Session 2ICOOOLPS at Alfieri
Chair(s): Tomas KaliberaNortheastern University
10:05 - 11:05
Talk
Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation
ICOOOLPS
Lubomír BulejCharles University
Media Attached File Attached
11:05 - 11:35
Talk
The Performance of Object Encodings in JavaScript
ICOOOLPS
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
ICOOOLPS
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
ICOOOLPS
10:05 - 12:25: Session 1bCurryOn at Auditorium Loyola
10:05 - 10:45
Talk
Move Fast to Fix More Things
CurryOn
S: Peter O'HearnFacebook
10:55 - 11:35
Talk
Notes on Post-Post-Modern-Modern Programming
CurryOn
S: James NobleVictoria University of Wellington
11:45 - 12:25
Talk
A Type is Worth a Thousand Tests
CurryOn
S: Manuel ChakravartyUNSW Australia & Applicative
10:05 - 12:25: Session 1aCurryOn at Foscolo
10:05 - 10:45
Talk
The Functional Programming Languages Nomad
CurryOn
S: Michael SperberActive Group GmbH
10:55 - 11:35
Talk
Creating a Fun Game with Elm
CurryOn
11:45 - 12:25
Talk
Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us
CurryOn
Ron PresslerParallel Universe
10:05 - 12:25: Session 1VORTEX at Saba
10:05 - 10:10
Day opening
Opening Remarks
VORTEX
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.
VORTEX
Gerardo SchneiderUniversity of Gothenburg
10:40 - 11:10
Runtime Verification with Data
VORTEX
Martin LeuckerUniversity of Lübeck
11:10 - 11:40
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste JeanninCarnegie Mellon University
12:25 - 13:50: LunchCurryOn Catering at Ariosto + Manzoni
12:25 - 13:50
Lunch
Lunch
CurryOn Catering
13:50 - 15:20: Session 3ICOOOLPS at Alfieri
Chair(s): Edd BarrettKing's College London
13:50 - 14:50
Talk
Growing an Abstract Grammar: Teaching Language Engineering
ICOOOLPS
Theo D'HondtVrije Universiteit Brussel
Media Attached
14:50 - 15:20
Talk
MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations
ICOOOLPS
Shijie XuUniversity of New Brunswick, David BremnerUniversity of New Brunswick, Daniel HeidingaIBM
Media Attached File Attached
13:50 - 15:20: Session 3PX 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.
PX
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.
PX
13:50 - 15:20: Session 1IWACO at Quasimodo
Chair(s): Paley LiNortheastern University
13:50 - 14:20
Talk
Frozen Realms: Confining effects for safer JavaScript plugins
IWACO
Mark MillerGoogle Inc.
14:20 - 14:50
Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations
IWACO
Juliana FrancoImperial College London, Tobias WrigstadUppsala University, Sophia DrossopoulouImperial College London
Pre-print
14:50 - 15:20
Talk
Objects as Session-Typed Processes
IWACO
13:50 - 15:20: Session 2VORTEX at Saba
13:50 - 14:20
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
14:20 - 14:50
Runtime checks as nominal types
VORTEX
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!
VORTEX
15:19 - 15:20
Day closing
Closing Remarks
VORTEX
Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
15:20 - 16:00: Coffee breakCurryOn Catering at Ariosto + Manzoni
15:20 - 16:00
Coffee break
Coffee break
CurryOn Catering
16:00 - 17:30: Session 4ICOOOLPS at Alfieri
Chair(s): Eric JulAlcatel-Lucent Bell Labs
16:00 - 16:30
Talk
TruffleReloader: A Low-Overhead Language-Neutral Reloader
ICOOOLPS
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
ICOOOLPS
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
ICOOOLPS
Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano
Media Attached File Attached
16:00 - 17:30: Session 3bCurryOn at Auditorium Loyola
16:00 - 16:40
Talk
Doing data science with Clojure: the ugly, the sad, the joyful
CurryOn
16:50 - 17:30
Talk
Oden - A Functional Programming Language for the Go Ecosystem
CurryOn
Oskar WickströmNone (this is a free time project)
16:00 - 17:30: Session 4PX 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.
PX
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.
PX
Marcel TaeumelHasso Plattner Institute, Robert HirschfeldHPI
16:00 - 17:30: Session 3aCurryOn at Foscolo
16:00 - 16:40
Talk
Why The Free Monad isn't Free
CurryOn
Kelley RobinsonSharethrough
16:50 - 17:30
Talk
Exercises in Programming Style
CurryOn
S: Crista LopesUniversity of California, Irvine
16:00 - 17:30: Session 2IWACO at Quasimodo
16:00 - 16:30
Talk
Are Ownership Types Reaching the World Yet?
IWACO
Patrick LamUniversity of Waterloo, Canada
File Attached
16:30 - 17:00
Kappa: Insights, Current Status and Future Work
IWACO
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Pre-print
17:00 - 17:30
Abstract Data Types in Object-Capability Systems
IWACO
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
17:40 - 18:30: Session 5ICOOOLPS at Alfieri
Chair(s): Stefan MarrJohannes Kepler University Linz
17:40 - 18:05
Demonstration
Demo of Docking: Enabling Language Based Dynamic Coupling
ICOOOLPS
Magnus Haugom ChristensenUniversity of Oslo, Eric JulAlcatel-Lucent Bell Labs
18:05 - 18:30
Day closing
Discussions and Wrap Up
ICOOOLPS
17:40 - 18:30: KeynoteCurryOn at Auditorium Loyola
17:40 - 18:30
Talk
The Racket Manifesto
CurryOn
S: Matthias FelleisenNortheastern University
17:40 - 18:30: Session 3IWACO at Quasimodo
17:40 - 18:30
Closing Discussions
IWACO
Paley LiNortheastern University
19:30 - 23:00: Curry On Party!CurryOn at Mercati di Traiano
19:30 - 23:00
Social Event
Curry On Party!
CurryOn

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:45: Opening and KeynoteCOP at Quasimodo
08:45 - 09:00
Day opening
Opening
COP
09:00 - 09:45
Talk
Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty.
COP
James NobleVictoria University of Wellington
08:45 - 09:45: Opening sessionGRACE at Saba
08:45 - 09:45
Day opening
Overview of the Grace project and language
GRACE
Kim BrucePomona College, Andrew BlackPortland State University
09:45 - 10:05: Coffee breakCurryOn Catering at Ariosto + Manzoni
09:45 - 10:05
Coffee break
Coffee break
CurryOn Catering
10:05 - 12:25: Session 4bCurryOn at Auditorium Loyola
10:05 - 10:45
Talk
Dartino - a managed language on micro-controllers?
CurryOn
S: Kasper LundGoogle
10:55 - 11:35
Talk
Redesigning Type Systems for Industry OO
CurryOn
Ross TateCornell University
11:45 - 12:25
Talk
Static analysis for security at the Facebook scale
CurryOn
10:05 - 11:00: Invited talkFTfJP at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology
10:05 - 10:10
Day opening
Opening
FTfJP
Vladimir KlebanovKarlsruhe Institute of Technology
10:10 - 11:00
Talk
Java Generics are Turing Complete
FTfJP
Radu GrigoreUniversity of Oxford
10:05 - 12:25: GraceGRACE at Saba
10:05 - 10:45
Experience teaching with Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College
10:45 - 11:55
Recent changes and language design issues in Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
11:55 - 12:25
The Recurring Rainfall Problem
GRACE
Shriram KrishnamurthiBrown University
10:45 - 12:25: Session 1JSTools at Alfieri
10:45 - 10:50
Day opening
Opening Remarks
JSTools
Julian DolbyIBM Thomas J. Watson Research Center
10:50 - 11:30
So You Want to Build Memory Tooling For JavaScript?
JSTools
11:30 - 12:10
Sound Type Inference for JavaScript
JSTools
Jean-Baptiste JeanninCarnegie Mellon University
11:00 - 12:25: Session 2FTfJP at Belli
Chair(s): Delphine DemangeIRISA / University of Rennes 1
11:00 - 11:30
Talk
A Mechanical Soundness Proof for Subtyping Over Recursive Types
FTfJP
Timothy JonesVictoria University of Wellington, David J. PearceVictoria University of Wellington
DOI Pre-print File Attached
11:30 - 12:00
Talk
A formal account of SSA in Java-like languages
FTfJP
Davide AnconaUniversity of Genova, Andrea Corradi
12:00 - 12:25
Talk
A Note on the Soundness of Difference Propagation
FTfJP
Jens DietrichMassey University, New Zealand, Nicholas HollingumThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia
12:25 - 13:50: LunchCurryOn Catering at Ariosto + Manzoni
12:25 - 13:50
Lunch
Lunch
CurryOn Catering
13:50 - 15:20: Session 5bCurryOn at Auditorium Loyola
13:50 - 14:30
Talk
Practical Demystification of CRDTs
CurryOn
14:40 - 15:20
Talk
Distributed Iterative Computation in TensorFlow
CurryOn
13:50 - 15:20: Session 3FTfJP at Belli
Chair(s): Davide AnconaUniversity of Genova
13:50 - 14:20
Talk
Generating Concurrency Checks Automatically
FTfJP
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
FTfJP
14:50 - 15:20
Talk
Towards a Model of Corecursion with Default
FTfJP
Davide AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova
13:50 - 15:20: Session 5aCurryOn at Foscolo
13:50 - 14:30
Talk
On the chemistry of typestate-oriented actors
CurryOn
Silvia CrafaUniversità di Padova, Italy
14:40 - 15:20
Talk
Become a Polyglot by learning Java!
CurryOn
S: Jaroslav TulachOracle Labs
13:50 - 15:20: Research Papers 2COP at Quasimodo
13:50 - 14:20
Talk
A Context-Oriented Software Architecture
COP
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
COP
14:50 - 15:20
Talk
Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP
COP
Toni MattisHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Robert HirschfeldHPI
13:50 - 15:20: Contributed PapersGRACE at Saba
13:50 - 14:20
Talk
Grace in Spoofax: Readable Specification and Implementation in One
GRACE
Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology
Link to publication File Attached
14:20 - 14:50
Traitorous Traits
GRACE
Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
File Attached
14:50 - 15:20
Tooling matters – Why Grace needs a good IDE
GRACE
Michael KöllingUniversity of Kent
15:20 - 16:00: Coffee breakCurryOn Catering at Ariosto + Manzoni
15:20 - 16:00
Coffee break
Coffee break
CurryOn Catering
16:00 - 17:30: Session 3JSTools at Alfieri
16:00 - 16:40
Verification of Communication in Web Applications
JSTools
Nathalie OostvogelsVrije Universiteit Brussel
16:40 - 17:20
Fishing for JavaScript Bugs at the Shallow End
JSTools
17:20 - 17:30
Day closing
Closing Remarks
JSTools
Julian DolbyIBM Thomas J. Watson Research Center
16:00 - 18:30: Session 4FTfJP at Belli
Chair(s): Vladimir KlebanovKarlsruhe Institute of Technology
16:00 - 16:30
Demonstration
Tool Demonstration: The VeriFast Verification System for Java and C
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
16:30 - 17:00
Talk
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
17:00 - 17:30
Talk
Coupling Catch Clauses with Local Declarations
FTfJP
Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
17:30 - 18:00
Talk
Towards Modular Reasoning for Context-Oriented Programs
FTfJP
Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
18:00 - 18:30
Talk
Permission and Authority Revisited: Towards a Formalization
FTfJP
Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne
16:00 - 17:30: Session 6aCurryOn at Foscolo
16:00 - 16:40
Talk
What is programming?
CurryOn
16:50 - 17:30
Talk
Are We Ready for Secure Languages?
CurryOn
S: Cristina CifuentesOracle Labs, Australia
16:00 - 17:30: DiscussionGRACE at Saba
16:00 - 17:30
Next steps with Grace
GRACE
17:30 - 18:30: Poster Session & Workshops ReceptionCurryOn Catering at Manzoni
17:30 - 18:30
Social Event
Poster Session & Workshops Reception
CurryOn Catering
18:30 - 19:20: KeynoteCurryOn at Auditorium Loyola
18:30 - 19:20
Talk
Building an Open Source Research Lab
CurryOn
S: Dave HermanMozilla Research

Wed 20 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 10:00: Invited TalkResearch Track at Auditorium Loyola
Chair(s): Camil DemetrescuSapienza University of Rome
08:45 - 09:00
Welcome address
Research Track
09:00 - 10:00
Talk
The Elements of Decision Alignment: Large programs as complex organizations
Research Track
Mark MillerGoogle Inc.
Media Attached
10:00 - 10:30: Coffee breakCatering at Ariosto + Manzoni
10:00 - 10:30
Coffee break
Coffee break
Catering
10:30 - 12:00: Session 1Research Track at Auditorium Loyola
Chair(s): Camil DemetrescuSapienza University of Rome
10:30 - 10:55
Talk
Higher-Order Demand-Driven Program Analysis[AEC approved]
Research Track
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
Research Track
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[AEC approved]
Research Track
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
Research Track
10:30 - 12:00: Lecture 1Summer School at Leopardi
Chair(s): Jan VitekNortheastern University
10:30 - 12:00
Talk
28 Years of Types for Untyped Languages: A Random Walk Thru TypeLand
Summer School
S: Matthias FelleisenNortheastern University
File Attached
12:00 - 13:30: LunchCatering at Ariosto + Manzoni
12:00 - 13:30
Lunch
Lunch
Catering
13:30 - 15:00: Lecture 2aSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
13:30 - 15:00
Talk
Building a Research Program for Scripting Languages
Summer School
S: Shriram KrishnamurthiBrown University
13:45 - 15:00: Session 2Research Track 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[AEC approved]
Research Track
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 CheckerDistinguished Paper
Research Track
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
Research Track
Link to publication DOI Media Attached
15:00 - 15:30: Coffee breakCatering at Ariosto + Manzoni
15:00 - 15:30
Coffee break
Coffee break
Catering
15:30 - 16:45: Session 3Research Track at Auditorium Loyola
Chair(s): Colin GordonDrexel University
15:30 - 15:55
Talk
Making an Embedded DBMS JIT-friendly[AEC approved]
Research Track
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
Research Track
Link to publication DOI Pre-print
16:20 - 16:45
Talk
Transactional Tasks: Parallelism in Software Transactions[AEC approved]Distinguished Paper
Research Track
Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
15:30 - 17:00: Lecture 2bSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
15:30 - 17:00
Talk
Building a Research Program for Scripting Languages
Summer School
S: Shriram KrishnamurthiBrown University

Thu 21 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: DN TalkResearch Track at Auditorium Loyola
Chair(s): Eric JulAlcatel-Lucent Bell Labs
09:00 - 10:00
Talk
Half a Life in Software (Senior DN Prize Lecture)
Research Track
P: James NobleVictoria University of Wellington
Media Attached
10:00 - 10:30: Coffee breakCatering at Ariosto + Manzoni
10:00 - 10:30
Coffee break
Coffee break
Catering
10:30 - 11:45: Session 4Research Track at Auditorium Loyola
Chair(s): Sebastian ErdwegTU Delft
10:30 - 10:55
Talk
A Calculus for Variational Programming
Research Track
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
Research Track
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
Research Track
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
10:30 - 12:00: Lecture 3Summer School at Leopardi
Chair(s): Jan VitekNortheastern University
10:30 - 12:00
Talk
Gradual Type Systems
Summer School
Jeremy G. SiekIndiana University
File Attached
11:45 - 13:30: LunchCatering at Ariosto + Manzoni
11:45 - 13:30
Lunch
Lunch
Catering
13:30 - 15:00: Lecture 4aSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
13:30 - 15:00
Talk
A JIT Compiler (almost) for Free
Summer School
S: Carl Friedrich Bolz-TereickKing's College London , S: Laurence TrattKing's College London
File Attached
13:45 - 15:00: Session 5Research Track at Auditorium Loyola
Chair(s): Kim BrucePomona College
13:45 - 14:10
Talk
LJGS: Gradual Security Types for Object-Oriented Languages[AEC approved]
Research Track
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[AEC approved]
Research Track
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
Research Track
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: Coffee breakCatering at Ariosto + Manzoni
15:00 - 15:30
Coffee break
Coffee break
Catering
15:30 - 16:45: Session 6Research Track at Auditorium Loyola
Chair(s): Sophia DrossopoulouImperial College London
15:30 - 15:55
Talk
Object Inheritance without Classes[AEC approved]
Research Track
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[AEC approved]Distinguished Paper
Research Track
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[AEC approved]
Research Track
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
15:30 - 17:00: Lecture 4bSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
15:30 - 17:00
Talk
A JIT Compiler (almost) for Free
Summer School
S: Carl Friedrich Bolz-TereickKing's College London , S: Laurence TrattKing's College London
File Attached
19:30 - 23:00: BanquetCatering at Pinacoteca del Tesoriere
19:30 - 23:00
Dinner
ECOOP Banquet
Catering

Fri 22 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: DN TalkResearch Track at Auditorium Loyola
Chair(s): Eric JulAlcatel-Lucent Bell Labs
09:00 - 10:00
Talk
Synthesis and Verification for All (Junior DN Prize Lecture)
Research Track
P: Emina TorlakUniversity of Washington
Media Attached
10:00 - 10:30: Coffee breakCatering at Ariosto + Manzoni
10:00 - 10:30
Coffee break
Coffee break
Catering
10:30 - 11:45: Session 7Research Track 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[AEC approved]
Research Track
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
Research Track
Daco HarkesDelft University of Technology, Danny 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
Research Track
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication DOI Pre-print Media Attached
10:30 - 12:00: Lecture 5aSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
10:30 - 12:00
Talk
Experimental Evaluation of Programming Systems
Summer School
S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern University
File Attached
11:45 - 13:30: LunchCatering at Ariosto + Manzoni
11:45 - 13:30
Lunch
Lunch
Catering
13:30 - 15:20: Session 8Research Track at Auditorium Loyola
Chair(s): Matthias KeilUniversity of Freiburg, Eric JulAlcatel-Lucent Bell Labs
13:30 - 13:55
Talk
Composing Interfering Abstract Protocols
Research Track
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[AEC approved]
Research Track
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[AEC approved]
Research Track
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[AEC approved]
Research Track
John TomanUniversity of Washington, Dan GrossmanUniversity of Washington, USA
Link to publication DOI Media Attached
15:10 - 15:20
Adjourn
Research Track
13:40 - 15:20: Lecture 5bSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
13:40 - 15:10
Talk
Experimental Evaluation of Programming Systems
Summer School
S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern University
File Attached
15:10 - 15:20
Adjourn
Summer School
15:20 - 16:20: Ice Cream SocialCatering at Manzoni
15:20 - 16:20
Social Event
Social
Catering

Fri 22 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Alfieri
STOP
Opening remarks
08:45 - 08:55
STOP
Types for Ruby
08:55 - 09:45
STOP
Closing remarks
16:30 - 16:40
Ariosto
Belli
Foscolo
LIVE
Live Literals
14:10 - 14:30
Montale

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Alfieri
ICOOOLPS
Welcome
09:10 - 09:15
ICOOOLPS
Discussions
12:05 - 12:25
Ariosto + Manzoni
Auditorium Loyola
Belli
PX
Introduction
08:45 - 09:00
Foscolo
Mercati di Traiano
Quasimodo
Saba

Tue 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Alfieri
Ariosto + Manzoni
Auditorium Loyola
Belli
FTfJP
Opening
10:05 - 10:10
Foscolo
Manzoni
Quasimodo
COP
Opening
08:45 - 09:00