STOP 2016
Mon 18 - Fri 22 July 2016 Rome, Italy
co-located with ECOOP 2016
VenueCongress Center
Room nameAuditorium Loyola
Floor0
Room InformationNo extra information available
Program

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
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
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
17:40 - 18:30
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

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 TalkECOOP Research Track at Auditorium Loyola
Chair(s): Camil Demetrescu Sapienza University of Rome
08:45
15m
Welcome address
ECOOP Research Track

09:00
60m
Talk
The Elements of Decision Alignment: Large programs as complex organizations
ECOOP Research Track
Mark Miller Google Inc.
Media Attached
10:30 - 12:00
Session 1ECOOP Research Track at Auditorium Loyola
Chair(s): Camil Demetrescu Sapienza University of Rome
10:30
25m
Talk
Higher-Order Demand-Driven Program Analysis[AEC approved]
ECOOP 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
ECOOP 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]
ECOOP 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
ECOOP Research Track

13:45 - 15:00
Session 2ECOOP 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[AEC approved]
ECOOP 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
ECOOP 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
ECOOP Research Track
Link to publication DOI Media Attached
15:30 - 16:45
Session 3ECOOP Research Track at Auditorium Loyola
Chair(s): Colin Gordon Drexel University
15:30
25m
Talk
Making an Embedded DBMS JIT-friendly[AEC approved]
ECOOP 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
ECOOP Research Track
Link to publication DOI Pre-print
16:20
25m
Talk
Transactional Tasks: Parallelism in Software Transactions[AEC approved]Distinguished Paper
ECOOP 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 TalkECOOP 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)
ECOOP Research Track
P: James Noble Victoria University of Wellington
Media Attached
10:30 - 11:45
10:30
25m
Talk
A Calculus for Variational Programming
ECOOP 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
ECOOP 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
ECOOP 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 5ECOOP Research Track at Auditorium Loyola
Chair(s): Kim Bruce Pomona College
13:45
25m
Talk
LJGS: Gradual Security Types for Object-Oriented Languages[AEC approved]
ECOOP 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]
ECOOP 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
ECOOP 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 6ECOOP Research Track at Auditorium Loyola
Chair(s): Sophia Drossopoulou Imperial College London
15:30
25m
Talk
Object Inheritance without Classes[AEC approved]
ECOOP 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
ECOOP 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]
ECOOP 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 TalkECOOP 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)
ECOOP Research Track
P: Emina Torlak University of Washington
Media Attached
10:30 - 11:45
Session 7ECOOP 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[AEC approved]
ECOOP 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
ECOOP 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
ECOOP Research Track
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Link to publication DOI Pre-print Media Attached
13:30 - 15:20
Session 8ECOOP 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
ECOOP 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]
ECOOP 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[AEC approved]
ECOOP 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]
ECOOP Research Track
John Toman University of Washington, Dan Grossman University of Washington, USA
Link to publication DOI Media Attached
15:10
10m
Adjourn
ECOOP Research Track

Mon 18 Jul

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Auditorium Loyola

Tue 19 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Auditorium Loyola

Wed 20 Jul

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

Thu 21 Jul

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

Fri 22 Jul

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