CurryOn 2016
Mon 18 - Tue 19 July 2016 Rome, Italy
co-located with ECOOP 2016
VenueCongress Center
Room nameAuditorium Loyola
Floor0
Additional informationThere is no additional information of this room 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
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
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
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)
17:40 - 18:30: KeynoteCurryOn at Auditorium Loyola
17:40 - 18:30
Talk
The Racket Manifesto
CurryOn
S: Matthias FelleisenNortheastern University

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

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
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
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 TalkECOOP Research Track at Auditorium Loyola
Chair(s): Camil DemetrescuSapienza University of Rome
08:45 - 09:00
Welcome address
ECOOP Research Track
09:00 - 10:00
Talk
The Elements of Decision Alignment: Large programs as complex organizations
ECOOP Research Track
Mark MillerGoogle Inc.
Media Attached
10:30 - 12:00: Session 1ECOOP Research Track at Auditorium Loyola
Chair(s): Camil DemetrescuSapienza University of Rome
10:30 - 10:55
Talk
Higher-Order Demand-Driven Program Analysis[AEC approved]
ECOOP 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
ECOOP 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]
ECOOP 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
ECOOP Research Track
13:45 - 15:00: Session 2ECOOP Research 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]
ECOOP 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
ECOOP 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
ECOOP Research Track
Link to publication DOI Media Attached
15:30 - 16:45: Session 3ECOOP Research Track at Auditorium Loyola
Chair(s): Colin GordonDrexel University
15:30 - 15:55
Talk
Making an Embedded DBMS JIT-friendly[AEC approved]
ECOOP 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
ECOOP Research Track
Link to publication DOI Pre-print
16:20 - 16:45
Talk
Transactional Tasks: Parallelism in Software Transactions[AEC approved]Distinguished Paper
ECOOP Research Track
Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached

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

09:00 - 10:00: DN TalkECOOP Research 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)
ECOOP Research Track
P: James NobleVictoria University of Wellington
Media Attached
10:30 - 11:45: Session 4ECOOP Research Track at Auditorium Loyola
Chair(s): Sebastian ErdwegTU Delft
10:30 - 10:55
Talk
A Calculus for Variational Programming
ECOOP 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
ECOOP 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
ECOOP 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
13:45 - 15:00: Session 5ECOOP Research Track at Auditorium Loyola
Chair(s): Kim BrucePomona College
13:45 - 14:10
Talk
LJGS: Gradual Security Types for Object-Oriented Languages[AEC approved]
ECOOP 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]
ECOOP 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
ECOOP 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:30 - 16:45: Session 6ECOOP Research Track at Auditorium Loyola
Chair(s): Sophia DrossopoulouImperial College London
15:30 - 15:55
Talk
Object Inheritance without Classes[AEC approved]
ECOOP 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
ECOOP 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]
ECOOP 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

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

09:00 - 10:00: DN TalkECOOP Research 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)
ECOOP Research Track
P: Emina TorlakUniversity of Washington
Media Attached
10:30 - 11:45: Session 7ECOOP Research 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]
ECOOP 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
ECOOP 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
ECOOP Research Track
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication DOI Pre-print Media Attached
13:30 - 15:20: Session 8ECOOP Research Track at Auditorium Loyola
Chair(s): Matthias KeilUniversity of Freiburg, Eric JulAlcatel-Lucent Bell Labs
13:30 - 13:55
Talk
Composing Interfering Abstract Protocols
ECOOP 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]
ECOOP 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]
ECOOP 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]
ECOOP Research Track
John TomanUniversity of Washington, Dan GrossmanUniversity of Washington, USA
Link to publication DOI Media Attached
15:10 - 15:20
Adjourn
ECOOP Research Track

Mon 18 Jul
Times are displayed in 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
Times are displayed in 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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