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

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

Conference Day
Sun 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. FosterUniversity 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 SchusterUniversity of California, Santa Cruz
08:45 - 09:45
WinterLIVE at Foscolo
08:45
60m
Talk
The Promise of Live Programming
LIVE
Sean McDirmidMicrosoft 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 LercheIndependent 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 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
30m
Gradual Typing for Delimited Continuations
STOP
Yusuke MiyazakiKyoto University, Taro Sekiyama, Atsushi IgarashiKyoto University
Link to publication
11:55
30m
Talk
Automating Gradual Typing
STOP
Timothy JonesVictoria 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 DoFraunhofer IEM
10:35
30m
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
20m
Coffee break
Coffee break
Doctoral Symposium

11:25
30m
Talk
Language Design for Validatable Information System Specifications
Doctoral Symposium
A: Daco HarkesDelft University of Technology
11:55
30m
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
20m
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
20m
Talk
Towards Live Language Development
LIVE
Gabriël KonatTU Delft, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology
Pre-print
10:45
20m
Talk
Live Programming with Code Portals
LIVE
Alexander BreckelInstitute of Software Engineering and Compiler Construction, Matthias TichyChalmers University of Technology
Media Attached
11:15
20m
Talk
Live end-user programming: a demo/manifesto
LIVE
Jonathan EdwardsCDG Labs, Jodie ChenMIT, Alessandro WarthHARC / Y Combinator Research
Pre-print
11:35
50m
Other
Discuss: New Interfaces for Programming
LIVE
Roly PereraUniversity 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 VitekNortheastern University
14:40
30m
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
13:50
30m
Talk
Invited Talk: How to get your Ph.D. DONE
Doctoral Symposium
Eric JulAlcatel-Lucent Bell Labs
14:20
30m
Talk
Concept Parameters as a New Mechanism of Generic Programming for C# Language
Doctoral Symposium
A: Julia BelyakovaSouthern 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 SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz
Pre-print
14:10
20m
Talk
Live Literals
LIVE
Tijs van der StormCWI, Felienne HermansDelft University of Technology
Pre-print
14:30
20m
Talk
Liveness for Verification
LIVE
Roly PereraUniversity 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. SiekIndiana 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 RiggerJohannes Kepler University, Linz, Austria
16:30
30m
Talk
Invited Talk: Papers vs. Artefacts
Doctoral Symposium
Philipp HallerKTH 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 WarthHARC / Y Combinator Research
File Attached
16:50
20m
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
20m
Talk
Sintr: Experimenting with liveness at scale
LIVE
Luke Church, Mariana MarasoiuUniversity of Cambridge, Alan BlackwellUniversity of Cambridge
Pre-print
17:30
50m
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
30m
The Consistency Babel
PMLDC
Rodrigo RodriguesInstituto 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 ZazaUniversità della Svizzera italiana, Nate NystromUniversita 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 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
10m
Day opening
Welcome
Summer School

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

Conference Day
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 VitekNortheastern University, Heather MillerEcole Polytechnique Federale de Lausanne
09:00
50m
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
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 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
5m
Day opening
Welcome
ICOOOLPS
Stefan MarrJohannes Kepler University Linz
09:15
30m
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
09:45
20m
Coffee break
Coffee break
CurryOn Catering

10:05 - 12:25
Session 2ICOOOLPS at Alfieri
Chair(s): Tomas KaliberaNortheastern University
10:05
60m
Talk
Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation
ICOOOLPS
Lubomír BulejCharles University
Media Attached File Attached
11:05
30m
Talk
The Performance of Object Encodings in JavaScript
ICOOOLPS
Forrest AlexanderPortland State University, Andrew BlackPortland State University
Media Attached File Attached
11:35
30m
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
20m
Other
Discussions
ICOOOLPS

10:05 - 12:25
10:05
40m
Talk
Move Fast to Fix More Things
CurryOn
S: Peter O'HearnFacebook
10:55
40m
Talk
Notes on Post-Post-Modern-Modern Programming
CurryOn
S: James NobleVictoria University of Wellington
11:45
40m
Talk
A Type is Worth a Thousand Tests
CurryOn
S: Manuel ChakravartyUNSW Australia & Applicative
10:05 - 12:25
Session 1VORTEX at Saba
10:05
5m
Day opening
Opening Remarks
VORTEX
Davide AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
10:10
30m
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
Gerardo SchneiderUniversity of Gothenburg
10:40
30m
Runtime Verification with Data
VORTEX
Martin LeuckerUniversity of Lübeck
11:10
30m
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste JeanninCarnegie Mellon University
12:25 - 13:50
12:25
85m
Lunch
Lunch
CurryOn Catering

13:50 - 15:20
Session 3ICOOOLPS at Alfieri
Chair(s): Edd BarrettKing's College London
13:50
60m
Talk
Growing an Abstract Grammar: Teaching Language Engineering
ICOOOLPS
Theo D'HondtVrije Universiteit Brussel
Media Attached
14:50
30m
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
45m
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
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 ZuccaUniversity of Genova, Marco ServettoVictoria 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 AnconaUniversity of Genova, Frank S. de BoerCentrum 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 JulAlcatel-Lucent Bell Labs
16:00
30m
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
30m
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
30m
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 4PX at Belli
Chair(s): Robert HirschfeldHPI, Hidehiko MasuharaTokyo Institute of Technology, Richard P. GabrielDream Songs, Inc. & IBM Research
16:00
45m
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
45m
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
40m
Talk
Why The Free Monad isn't Free
CurryOn
Kelley RobinsonSharethrough
16:50
40m
Talk
Exercises in Programming Style
CurryOn
S: Crista LopesUniversity of California, Irvine
16:00 - 17:30
Session 2IWACO at Quasimodo
16:00
30m
Talk
Are Ownership Types Reaching the World Yet?
IWACO
Patrick LamUniversity of Waterloo, Canada
File Attached
16:30
30m
Kappa: Insights, Current Status and Future Work
IWACO
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Pre-print
17:00
30m
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
25m
Demonstration
Demo of Docking: Enabling Language Based Dynamic Coupling
ICOOOLPS
Magnus Haugom ChristensenUniversity of Oslo, Eric JulAlcatel-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 FelleisenNortheastern University
17:40 - 18:30
Session 3IWACO at Quasimodo
17:40
50m
Closing Discussions
IWACO
Paley LiNortheastern University
19:30 - 23:00
Curry On Party!CurryOn at Mercati di Traiano
19:30
3h30m
Social Event
Curry On Party!
CurryOn

Conference Day
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 NobleVictoria 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 BrucePomona College, Andrew BlackPortland 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 KlebanovKarlsruhe Institute of Technology
10:05
5m
Day opening
Opening
FTfJP
Vladimir KlebanovKarlsruhe Institute of Technology
10:10
50m
Talk
Java Generics are Turing Complete
FTfJP
Radu GrigoreUniversity of Oxford
10:05 - 12:25
GraceGRACE at Saba
10:05
40m
Experience teaching with Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College
10:45
70m
Recent changes and language design issues in Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
11:55
30m
The Recurring Rainfall Problem
GRACE
Shriram KrishnamurthiBrown University
10:45 - 12:25
Session 1JSTools at Alfieri
10:45
5m
Day opening
Opening Remarks
JSTools
Julian DolbyIBM 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 JeanninCarnegie Mellon University
11:00 - 12:25
Session 2FTfJP at Belli
Chair(s): Delphine DemangeIRISA / University of Rennes 1
11:00
30m
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
30m
Talk
A formal account of SSA in Java-like languages
FTfJP
Davide AnconaUniversity of Genova, Andrea Corradi
12:00
25m
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
12:25
85m
Lunch
Lunch
CurryOn Catering

13:50 - 15:20
Session 3FTfJP at Belli
Chair(s): Davide AnconaUniversity of Genova
13:50
30m
Talk
Generating Concurrency Checks Automatically
FTfJP
Jonathan HoylandRoyal Holloway University of London, Matthew HagueRoyal 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 AnconaUniversity of Genova, Francesco Dagnino, Elena ZuccaUniversity of Genova
13:50 - 15:20
Session 5aCurryOn at Foscolo
13:50
40m
Talk
On the chemistry of typestate-oriented actors
CurryOn
Silvia CrafaUniversità di Padova, Italy
14:40
40m
Talk
Become a Polyglot by learning Java!
CurryOn
S: Jaroslav TulachOracle Labs
13:50 - 15:20
Contributed PapersGRACE at Saba
13:50
30m
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
30m
Traitorous Traits
GRACE
Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
File Attached
14:50
30m
Tooling matters – Why Grace needs a good IDE
GRACE
Michael KöllingUniversity 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 OostvogelsVrije Universiteit Brussel
16:40
40m
Fishing for JavaScript Bugs at the Shallow End
JSTools
17:20
10m
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
30m
Demonstration
Tool Demonstration: The VeriFast Verification System for Java and C
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
16:30
30m
Talk
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
17:00
30m
Talk
Coupling Catch Clauses with Local Declarations
FTfJP
Paola Giannini, Marco ServettoVictoria University of Wellington, Elena ZuccaUniversity of Genova
17:30
30m
Talk
Towards Modular Reasoning for Context-Oriented Programs
FTfJP
Tomoyuki AotaniTokyo Institute of Technology, Japan, Gary LeavensCentral Florida University
18:00
30m
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
40m
Talk
What is programming?
CurryOn
16:50
40m
Talk
Are We Ready for Secure Languages?
CurryOn
S: Cristina CifuentesOracle 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 HermanMozilla Research

Conference Day
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 DemetrescuSapienza 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 MillerGoogle 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 DemetrescuSapienza University of Rome
10:30
25m
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
25m
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
25m
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
15m
Awards
Research Track

10:30 - 12:00
Lecture 1Summer School at Leopardi
Chair(s): Jan VitekNortheastern University
10:30
90m
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
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
Lecture 2aSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
13:30
90m
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
25m
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
25m
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
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 - 17:00
Lecture 2bSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
15:30
90m
Talk
Building a Research Program for Scripting Languages
Summer School
S: Shriram KrishnamurthiBrown University

Conference Day
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 JulAlcatel-Lucent Bell Labs
09:00
60m
Talk
Half a Life in Software (Senior DN Prize Lecture)
Research Track
P: James NobleVictoria 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 ErdwegTU Delft
10:30
25m
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
25m
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
25m
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
90m
Talk
Gradual Type Systems
Summer School
Jeremy G. SiekIndiana 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 VitekNortheastern University
13:30
90m
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
25m
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
25m
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
25m
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
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 16:45
Session 6Research Track at Auditorium Loyola
Chair(s): Sophia DrossopoulouImperial College London
15:30
25m
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
25m
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
25m
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
90m
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
19:30
3h30m
Dinner
ECOOP Banquet
Catering

Conference Day
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 JulAlcatel-Lucent Bell Labs
09:00
60m
Talk
Synthesis and Verification for All (Junior DN Prize Lecture)
Research Track
P: Emina TorlakUniversity 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 DolbyIBM 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ä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
25m
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
25m
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
90m
Talk
Experimental Evaluation of Programming Systems
Summer School
S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern 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 KeilUniversity of Freiburg, Eric JulAlcatel-Lucent Bell Labs
13:30
25m
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
25m
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
25m
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
25m
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
10m
Adjourn
Research Track

13:40 - 15:20
Lecture 5bSummer School at Leopardi
Chair(s): Jan VitekNortheastern University
13:40
90m
Talk
Experimental Evaluation of Programming Systems
Summer School
S: Tomas KaliberaNortheastern University, S: Jan VitekNortheastern 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