Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016
Rome, Italy
Toggle navigation
Attending
Venue: Congress Center
Venue: Curry On Party
Venue: ECOOP Banquet
About
Awards
Registration
Housing
Travel & Local Info
Students
Sponsoring
Conduct
Program
ECOOP Program
Your Program
Sun 17 Jul
Mon 18 Jul
Tue 19 Jul
Wed 20 Jul
Thu 21 Jul
Fri 22 Jul
Tracks
ECOOP 2016
Artifacts
Doctoral Symposium
Posters
Research Track
Student Volunteers
Summer School
Workshops
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Workshops
COP
FTfJP
GRACE
ICOOOLPS
IWACO
JSTools
LIVE
PMLDC
PX
STOP
VORTEX
Organization
ECOOP 2016 Committees
Organizing Committee
Track Committees
Artifacts
Doctoral Symposium
Academic Panel
Invited Speakers
Program Committee
Posters
Organizers
Poster Awards Committee
Research Track
Program Committee
External Review Committee
Student Volunteers
Summer School
Organizing Committee
Senior Mentors
Speakers
Workshops
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
Workshops
COP
Organizing Committee
Program Committee
FTfJP
Program Committee
GRACE
Program Committee
ICOOOLPS
Organizers
Program Committee
IWACO
Program Committee
JSTools
Program Committee
LIVE
Program Committee
PMLDC
Program Committee
PX
Organizing Committee
Program Committee
STOP
Program Committee
VORTEX
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 2016
(
series
) /
Congress Center
/
Room information: Auditorium Loyola
Venue
Congress Center
Room name
Auditorium Loyola
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:50
Keynote
CurryOn
at
Auditorium Loyola
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
10:05 - 12:25
Session 1b
CurryOn
at
Auditorium Loyola
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
13:50 - 15:20
Session 2b
CurryOn
at
Auditorium Loyola
13:50
40m
Talk
Building Scalable Stateful Services
CurryOn
Caitie McCaffrey
Twitter
14:40
40m
Talk
Data-driven Software security using Differential Privacy and Deep Learning
CurryOn
S:
Úlfar Erlingsson
Google
16:00 - 17:30
Session 3b
CurryOn
at
Auditorium Loyola
16:00
40m
Talk
Doing data science with Clojure: the ugly, the sad, the joyful
CurryOn
Simon Belak
GoOpti
16:50
40m
Talk
Oden - A Functional Programming Language for the Go Ecosystem
CurryOn
Oskar Wickström
None (this is a free time project)
17:40 - 18:30
Keynote
CurryOn
at
Auditorium Loyola
17:40
50m
Talk
The Racket Manifesto
CurryOn
S:
Matthias Felleisen
Northeastern University
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:50
Keynote
CurryOn
at
Auditorium Loyola
09:00
50m
Talk
It's the End of the World as We Know It, and I Feel Fine
CurryOn
S:
Larry Wall
10:05 - 12:25
Session 4b
CurryOn
at
Auditorium Loyola
10:05
40m
Talk
Dartino - a managed language on micro-controllers?
CurryOn
S:
Kasper Lund
Google
10:55
40m
Talk
Redesigning Type Systems for Industry OO
CurryOn
Ross Tate
Cornell University
11:45
40m
Talk
Static analysis for security at the Facebook scale
CurryOn
S:
Francesco Logozzo
Facebook
13:50 - 15:20
Session 5b
CurryOn
at
Auditorium Loyola
13:50
40m
Talk
Practical Demystification of CRDTs
CurryOn
Dmitry Ivanov
TomTom
,
Nami Nasserazad
TomTom
14:40
40m
Talk
Distributed Iterative Computation in TensorFlow
CurryOn
S:
Yuan Yu
16:00 - 17:30
Session 6b
CurryOn
at
Auditorium Loyola
16:00
40m
Talk
Distributed Configuration with Clojure
CurryOn
Renzo Borgatti
Mailonline
16:50
40m
Talk
Using Object Algebras To Design Embedded Domain Specific Languages
CurryOn
Julien Richard-Foy
Zengularity
17:40 - 18:20
Session 7b
CurryOn
at
Auditorium Loyola
17:40
40m
Talk
A brief and incomplete history of programming languages
CurryOn
Andrea Magnorsky
18:30 - 19:20
Keynote
CurryOn
at
Auditorium Loyola
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 Talk
Research 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:30 - 12:00
Session 1
Research Track
at
Auditorium Loyola
Chair(s):
Camil Demetrescu
Sapienza University of Rome
10:30
25m
Talk
Higher-Order Demand-Driven Program Analysis
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
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
13:45 - 15:00
Session 2
Research 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
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 Checker
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
Yue Zhao
NCSU
,
Guoyang Chen
,
Chunhua Liao
LLNL
,
Xipeng Shen
NCSU
Link to publication
DOI
Media Attached
15:30 - 16:45
Session 3
Research Track
at
Auditorium Loyola
Chair(s):
Colin Gordon
Drexel University
15:30
25m
Talk
Making an Embedded DBMS JIT-friendly
Research Track
CF 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
Pavel Avgustinov
Semmle
,
Oege de Moor
Semmle
,
Michael Peyton Jones
Semmle
,
Max Schaefer
Semmle
Link to publication
DOI
Pre-print
16:20
25m
Talk
Transactional Tasks: Parallelism in Software Transactions
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
Thu 21 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
DN Talk
Research 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:30 - 11:45
Session 4
Research 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
13:45 - 15:00
Session 5
Research Track
at
Auditorium Loyola
Chair(s):
Kim Bruce
Pomona College
13:45
25m
Talk
LJGS: Gradual Security Types for Object-Oriented Languages
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
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:30 - 16:45
Session 6
Research Track
at
Auditorium Loyola
Chair(s):
Sophia Drossopoulou
Imperial College London
15:30
25m
Talk
Object Inheritance without Classes
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
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
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
Fri 22 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
DN Talk
Research 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:30 - 11:45
Session 7
Research 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
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
13:30 - 15:20
Session 8
Research 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
Research Track
Edd Barrett
King's College London
,
CF 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
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
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
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Auditorium Loyola
CurryOn
Keynote
CurryOn
Session 1b
CurryOn
Session 2b
CurryOn
Session 3b
CurryOn
Keynote
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Auditorium Loyola
CurryOn
Keynote
CurryOn
Session 4b
CurryOn
Session 5b
CurryOn
Session 6b
CurryOn
Session 7b
CurryOn
Keynote
Wed 20 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Auditorium Loyola
Research Track
Invited Talk
Research Track
Session 1
Research Track
Session 2
Research Track
Session 3
Thu 21 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Auditorium Loyola
Research Track
DN Talk
Research Track
Session 4
Research Track
Session 5
Research Track
Session 6
Fri 22 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Auditorium Loyola
Research Track
DN Talk
Research Track
Session 7
Research Track
Session 8
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Auditorium Loyola
CurryOn
Curry On opening remarks
08:45 - 09:00
CurryOn
How To Win Big With Old Ideas
09:00 - 09:50
CurryOn
Move Fast to Fix More Things
10:05 - 10:45
CurryOn
Notes on Post-Post-Modern-Modern Programming
10:55 - 11:35
CurryOn
A Type is Worth a Thousand Tests
11:45 - 12:25
CurryOn
Building Scalable Stateful Services
13:50 - 14:30
CurryOn
Data-driven Software security using Differential Privacy and Deep Learning
14:40 - 15:20
CurryOn
Doing data science with Clojure: the ugly, the sad, the joyful
16:00 - 16:40
CurryOn
Oden - A Functional Programming Language for the Go Ecosystem
16:50 - 17:30
CurryOn
The Racket Manifesto
17:40 - 18:30
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Auditorium Loyola
CurryOn
It's the End of the World as We Know It, and I Feel Fine
09:00 - 09:50
CurryOn
Dartino - a managed language on micro-controllers?
10:05 - 10:45
CurryOn
Redesigning Type Systems for Industry OO
10:55 - 11:35
CurryOn
Static analysis for security at the Facebook scale
11:45 - 12:25
CurryOn
Practical Demystification of CRDTs
13:50 - 14:30
CurryOn
Distributed Iterative Computation in TensorFlow
14:40 - 15:20
CurryOn
Distributed Configuration with Clojure
16:00 - 16:40
CurryOn
Using Object Algebras To Design Embedded Domain Specific Languages
16:50 - 17:30
CurryOn
A brief and incomplete history of programming languages
17:40 - 18:20
CurryOn
Building an Open Source Research Lab
18:30 - 19:20
Wed 20 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Auditorium Loyola
ECOOP Research Track
Welcome address
08:45 - 09:00
ECOOP Research Track
The Elements of Decision Alignment: Large programs as complex organizations
09:00 - 10:00
ECOOP Research Track
Higher-Order Demand-Driven Program Analysis
10:30 - 10:55
ECOOP Research Track
Interprocedural Type Specialization of JavaScript Programs Without Type ...
10:55 - 11:20
ECOOP Research Track
Magic with Dynamo – Flexible Cross-Component Linking for Java with Invo ...
11:20 - 11:45
ECOOP Research Track
Awards
11:45 - 12:00
ECOOP Research Track
C++ const and Immutability: An Empirical Study of Writes-Through-const
13:45 - 14:10
ECOOP Research Track
Formal Language Recognition with the Java Type Checker
14:10 - 14:35
ECOOP Research Track
Towards Ontology-Based Program Analysis
14:35 - 15:00
ECOOP Research Track
Making an Embedded DBMS JIT-friendly
15:30 - 15:55
ECOOP Research Track
QL: Object-oriented Queries on Relational Data
15:55 - 16:20
ECOOP Research Track
Transactional Tasks: Parallelism in Software Transactions
16:20 - 16:45
Thu 21 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Auditorium Loyola
ECOOP Research Track
Half a Life in Software (Senior DN Prize Lecture)
09:00 - 10:00
ECOOP Research Track
A Calculus for Variational Programming
10:30 - 10:55
ECOOP Research Track
A Calculus with Partially Dynamic Records for Typeful Manipulation of J ...
10:55 - 11:20
ECOOP Research Track
Transforming programs between APIs with Many-to-Many Mappings
11:20 - 11:45
ECOOP Research Track
LJGS: Gradual Security Types for Object-Oriented Languages
13:45 - 14:10
ECOOP Research Track
Lightweight session programming in Scala
14:10 - 14:35
ECOOP Research Track
Trace Typing: An Approach for Evaluating Retrofitted Type Systems
14:35 - 15:00
ECOOP Research Track
Object Inheritance without Classes
15:30 - 15:55
ECOOP Research Track
Program Tailoring: Slicing by Sequential Criteria
15:55 - 16:20
ECOOP Research Track
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Se ...
16:20 - 16:45
Fri 22 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Auditorium Loyola
ECOOP Research Track
Synthesis and Verification for All (Junior DN Prize Lecture)
09:00 - 10:00
ECOOP Research Track
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis f ...
10:30 - 10:55
ECOOP Research Track
IceDust: Incremental and Eventual Computation of Derived Values in Pers ...
10:55 - 11:20
ECOOP Research Track
Reference Capabilities for Concurrency Control
11:20 - 11:45
ECOOP Research Track
Composing Interfering Abstract Protocols
13:30 - 13:55
ECOOP Research Track
Fine-grained Language Composition: A Case Study
13:55 - 14:20
ECOOP Research Track
One Way to Select Many
14:20 - 14:45
ECOOP Research Track
Staccato: A Bug Finder for Dynamic Configuration Updates
14:45 - 15:10
ECOOP Research Track
Adjourn
15:10 - 15:20
x
Thu 21 Nov 10:18