ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

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 5 Jul

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

08:45 - 09:00
WelcomeRIOT at FIT-111
Chair(s): Adam WelcOracle Labs
08:45
15m
Day opening
Introduction
RIOT
Adam WelcOracle Labs, Jan VitekNortheastern University
09:00 - 10:00
IntroductionPharo at FIT-301
09:00
60m
Day opening
Welcome + Presentation
Pharo
Stéphane Ducasse INRIA Lille
09:30 - 10:30
Student Talks 1Doctoral Symposium at FIT-302
09:30
10m
Day opening
Welcome
Doctoral Symposium
Timothy JonesVictoria University of Wellington
09:40
25m
Talk
A virtual machine for testing compilation/recompilation protocols in multiple inheritance
Doctoral Symposium
Julien PagèsLIRMM, Université de Montpellier
10:05
25m
Talk
Domain Behavior Analysis of Software Using Code Relative Detection
Doctoral Symposium
09:30 - 09:50
WelcomeMASPEGHI at FIT-364
09:30
20m
Day opening
Introduction
MASPEGHI

09:50 - 10:30
Position paper 1MASPEGHI at FIT-364
09:50
40m
Talk
jUCM: Universal Class Morphing
MASPEGHI
Aggelos BiboudisUniversity of Athens, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication
10:00 - 10:30
Coding ExamplePharo at FIT-301
10:00
30m
Other
Coding Example
Pharo
Stéphane Ducasse INRIA Lille
11:00 - 12:30
Session 1COP at FIT-107
11:00
30m
Talk
Context-Oriented Image Processing
COP
Didier VernaEPITA / LRDE, François RipaultEPITA / LRDE
11:30
30m
Talk
A Study of Context-Oriented Programming for Applying to Robot Development
COP
Harumi WatanabeTokai University, Midori SugayaShibaura Institute of Technology, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Kenji HisazumiKyushu University
12:00
30m
Talk
Towards a Decoupled Context-Oriented Programming Language for the Internet of Things
COP
Baptiste MaingretINSA Lyon, Frédéric Le MouëlINSA Lyon, Julien PongeINSA Lyon, Nicolas StoulsINSA Lyon, Jian CaoShanghai Jiao Tong University, Yannick LoiseauBlaise Pascale University , Aubière
11:00 - 12:30
AnalysisRIOT at FIT-111
11:00
30m
Talk
Detecting Memory Protection Errors in GNU-R using Static Checking
RIOT
Tomas KaliberaNortheastern University
11:30
30m
Talk
Distributed Performance Analysis for R
RIOT
Helena KotthausTU Dortmund
12:00
30m
Talk
Feature Specific Profiling in the R Language
RIOT
Leif AndersenPLT @ Northeastern University
11:00 - 12:30
Coding Session 1Pharo at FIT-301
11:00
90m
Other
Coding 1
Pharo

13:30 - 15:00
Session 2COP at FIT-107
13:30
30m
Talk
Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints
COP
Stefan LehmannHasso-Plattner-Institute, Potsdam, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI
14:00
30m
Talk
Method Safety Mechanism for Asynchronous Layer Deactivation
COP
Tetsuo KaminaRitsumeikan University, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Atsushi IgarashiKyoto University
14:30
30m
Talk
Context Slices: A lightweight discovery module for adaptations
COP
Nicolás CardozoTrinity College Dublin, Ireland, Siobhán ClarkeTrinity College Dublin, Ireland
13:30 - 15:00
Coding Session 2Pharo at FIT-301
13:30
90m
Other
Coding 2
Pharo

13:30 - 15:00
Invited Talks 1Doctoral Symposium at FIT-302
13:30
30m
Talk
The story of Arjun Guha, or: The arc of a research project
Doctoral Symposium
Shriram KrishnamurthiBrown University
14:00
60m
Talk
So you want to be an industrial researcher?
Doctoral Symposium
Mario WolczkoOracle Labs
13:30 - 14:30
Invited talkMASPEGHI at FIT-364
13:30
60m
Talk
Combining Inheritance and Modularity
MASPEGHI
14:00 - 15:00
OptimizationRIOT at FIT-111
14:00
30m
Talk
R as a Query Language
RIOT
Alex BertramBedatadriven
14:30
30m
Talk
Vectorization of Apply Operations for the Exploitation of the Efficient Interpretation of R
RIOT
Haichuan WangUniversity of Illinois at Urbana-Champaign
14:30 - 15:00
Position paper 2MASPEGHI at FIT-364
14:30
30m
Talk
On Feature Protection in C++, Java and Eiffel
MASPEGHI
Markku SakkinenUniversity of Jyväskylä
Link to publication Media Attached
15:30 - 17:00
Session 3COP at FIT-107
15:30
30m
Talk
Efficient Layered Method Execution in ContextAmber
COP
Matthias SpringerHasso Plattner Institute, Jens LinckeHasso Plattner Institute, Robert HirschfeldHPI
16:00
30m
Talk
Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation
COP
Tomoyuki AotaniTokyo Institute of Technology, Tetsuo KaminaRitsumeikan University, Hidehiko MasuharaTokyo Institute of Technology
16:30
30m
Other
Discussion
COP

15:30 - 17:30
Open DiscussionRIOT at FIT-111
15:30
2h
Other
Open discussion
RIOT

15:30 - 17:00
Coding Session 3Pharo at FIT-301
15:30
90m
Other
Coding 3
Pharo

15:30 - 17:00
Invited Talks 2Doctoral Symposium at FIT-302
15:30
30m
Talk
Happy Graduate School Years
Doctoral Symposium
Yu David LiuState University of New York (SUNY) Binghamton
16:00
30m
Talk
Tales from Dissertationland and the Job Hunt
Doctoral Symposium
Jonathan AldrichCarnegie Mellon University
16:30
10m
Day closing
Formation of next year's committee
Doctoral Symposium
Timothy JonesVictoria University of Wellington
15:30 - 16:40
DiscussionMASPEGHI at FIT-364
15:30
70m
Other
Discussion on approaches to multiple inheritance
MASPEGHI

16:40 - 17:00
Workshop retrospectiveMASPEGHI at FIT-364
16:40
20m
Day closing
Workshop retrospective
MASPEGHI

Conference Day
Mon 6 Jul

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

08:45 - 09:00
Curry On opening remarksCurry On at Bohemia I
08:45
15m
Day opening
Curry On opening remarks
Curry On

09:00 - 09:45
09:00
45m
Talk
Programs Wanted: Dead or Alive
Curry On
P: Gilad BrachaGoogle
09:00 - 09:10
WelcomeNetPL at Hluboka II
Chair(s): Robert SouléUniversità della Svizzera italiana, Marco CaniniUniversité catholique de Louvain
09:00
10m
Day opening
Welcome
NetPL
C: Marco CaniniUniversité catholique de Louvain, C: Robert SouléUniversità della Svizzera italiana
09:10 - 09:50
BallaniNetPL at Hluboka II
09:10
40m
Talk
Enabling End Host Network Functions
NetPL
Hitesh BallaniMicrosoft Research, UK
Link to publication
10:00 - 11:00
DebuggingICOOOLPS at Bohemia III
10:00
30m
Talk
Position Paper: Building Debuggers and Other Tools: We Can “Have it All”
ICOOOLPS
10:30
30m
Talk
Trace-based Debugging for Advanced-Dispatching Programming Languages
ICOOOLPS
Christoph BockischUniversity of Twente, Marnix van't RietUniversity of Twente, Haihan YinUniversity of Twente, Mehmet AksitUniversity of Twente, Ziyi LinShanghai Jiao Tong University, Yuting ChenShanghai Jiao Tong University, Jianjun ZhaoShanghai Jiao Tong University
10:05 - 10:10
WelcomePLAS at Karlstejn
Chair(s): Michael ClarksonCornell University, Limin JiaCarnegie Mellon University
10:05
5m
Day opening
Welcome
PLAS

10:05 - 10:50
LehtosaloSTOP at Moravia III
10:05
45m
Talk
MyPy, an Optionally-Typed Python
STOP
10:10 - 10:15
Day OpeningJSTools at Hluboka I
Chair(s): Julian DolbyIBM Research, Christian HammerSaarland University, Michael PradelTU Darmstadt, Shu-yu GuoMozilla Corporation
10:10
5m
Day opening
Opening Remarks
JSTools

10:10 - 11:10
KrishnamurthiNetPL at Hluboka II
10:10
60m
Talk
Static and Dynamic Reasoning for SDNs
NetPL
Shriram KrishnamurthiBrown University
Link to publication
10:15 - 10:45
TheoryJSTools at Hluboka I
Chair(s): Christian HammerSaarland University
10:15
30m
Talk
ES5strict -> IVL, Principled Translation using Operational Semantics
JSTools
Daiva NaudžiūnienėImperial College London
10:50 - 12:20
Invited Talks at STOPJSTools at Hluboka I
10:50
45m
Talk
Invited Talk at STOP by Andreas Rossberg
JSTools

11:35
45m
Talk
Invited Talk at STOP by Avik Chaudhuri
JSTools

11:00 - 12:00
Method CallICOOOLPS at Bohemia III
11:00
30m
Talk
Preexistence revisited
ICOOOLPS
Roland DucournauLIRMM, Université de Montpellier, Julien PagèsLIRMM, Université de Montpellier, Jean PrivatUniversité du Québec à Montréal, Colin VidalLIRMM, Université de Montpellier
11:30
30m
Talk
Short Paper: Call-target-specific Method Arguments
ICOOOLPS
Fabio NiephausHasso Plattner Institute, University of Potsdam, Matthias SpringerHasso Plattner Institute, Tim FelgentreffHasso-Plattner-Institute, Potsdam, Tobias PapeHasso-Plattner-Institute, Potsdam, Robert HirschfeldHPI
11:10 - 12:40
Technical talks IPLAS at Karlstejn
11:10
30m
Talk
Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World
PLAS
Sophia DrossopoulouImperial College London, James NobleVictoria University of Wellington, Mark MillerGoogle Inc.
11:40
30m
Talk
Memory-safe Execution of C on a Java VM
PLAS
Matthias GrimmerJohannes Kepler University Linz, Roland SchatzJohannes Kepler University Linz, Chris SeatonOracle Labs / University of Manchester, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz
12:10
30m
Talk
Dynamic Enforcement of Dynamic Policies
PLAS
Pablo BuirasChalmers University of Technology, Bart Van DelftChalmers University of Technology
11:50 - 12:30
11:50
40m
Talk
Program Synthesis for Network Updates
NetPL
Pavol CernyUniversity of Colorado Boulder
Link to publication
13:30 - 14:30
Garbage CollectionICOOOLPS at Bohemia III
13:30
30m
Talk
Ownership and Reference Counting based Garbage Collection in the Actor World
ICOOOLPS
Sylvan ClebschImperial College London, Sebastian BlessingCausality, Juliana FrancoImperial College London, Sophia DrossopoulouImperial College London
14:00
30m
Talk
METIS: A Smart Memory Allocator Using Historical Reclamation Information
ICOOOLPS
Shijie XuUniversity of New Brunswick, Qi GuoCarnegie Mellon University, Gerhard DueckUniversity of New Brunswick, David BremnerUniversity of New Brunswick, Yang WangUniversity of New Brunswick
13:50 - 14:30
13:50
40m
Talk
Empowering Spreadsheet Users with Probabilistic Programs
Curry On
Andrew D. GordonMicrosoft Research and University of Edinburgh
13:50 - 14:35
Invited Talks at STOP IIJSTools at Hluboka I
13:50
45m
Talk
Invited Talk at STOP by Satish Chandra
JSTools

13:50 - 14:50
Invited talk IIPLAS at Karlstejn
13:50
60m
Talk
Programming and Verifying Today's and Tomorrow's Networks
PLAS
Shriram KrishnamurthiBrown University
13:50 - 14:35
ChandraSTOP at Moravia III
13:50
45m
Talk
JavaScript in the Small
STOP
S: Satish ChandraSamsung Research America
14:30 - 15:30
Inside the Virtual MachineICOOOLPS at Bohemia III
14:30
30m
Talk
Towards Reducing the Need for Algorithmic Primitives in Dynamic Language VMs Through a Tracing JIT
ICOOOLPS
Tim FelgentreffHasso-Plattner-Institute, Potsdam, Tobias PapeHasso-Plattner-Institute, Potsdam, Lars WassermannUniversity of Potsdam, Robert HirschfeldHPI, Carl Friedrich Bolz-TereickKing's College London
15:00
30m
Talk
Techniques and Applications for Guest-Language Safepoints
ICOOOLPS
Benoit DalozeJohannes Kepler University, Chris SeatonOracle Labs / University of Manchester, Daniele BonettaOracle Labs, Hanspeter MössenböckJohannes Kepler University Linz
Pre-print
14:40 - 15:20
McMullenCurry On at Bohemia I
14:40
40m
Talk
It Probably Works
Curry On
14:40 - 15:40
Practical AnalysisJSTools at Hluboka I
Chair(s): Julian DolbyIBM Research
14:40
30m
Talk
HybriDroid: Analysis Framework for Android Hybrid Applications
JSTools
Sukyoung RyuKorea Advanced Institute of Science and Technology
15:10
30m
Talk
Jalangi: A Dynamic Analyses Framework for JavaScript
JSTools
Koushik SenUniversity of California, Berkeley
14:40 - 15:20
14:40
40m
Talk
Coccinelle for the Working Programmer
Curry On
P: Julia LawallInria/LIP6/UPMC/Sorbonne University
Link to publication
14:50 - 15:30
Technical talks IIPLAS at Karlstejn
14:50
20m
Talk
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages
PLAS
Toby MurrayNICTA and UNSW
15:10
20m
Talk
Short Paper: The Meaning of Attack-Resistant Systems
PLAS
Vijay GaneshUniversity of Waterloo, Sebastian BanescuTechnical University of Munich, Martín OchoaTechnical University of Munich
16:00 - 16:40
PrintezisCurry On at Bohemia I
16:00
40m
Talk
Java @ Twitter - a bird's eye view
Curry On
P: Tony PrintezisTwitter
16:00 - 17:00
16:00
30m
Other
Open discussion
ICOOOLPS

16:30
30m
Day closing
Wrap-up and future editions
ICOOOLPS

16:00 - 18:00
Practical Analysis IIJSTools at Hluboka I
Chair(s): Michael PradelTU Darmstadt
16:00
30m
Talk
EventRacer: Scalable Analysis for Event-Driven Systems
JSTools
Martin VechevETH Zurich
16:30
30m
Talk
Stateless Model Checking for JavaScript
JSTools
Anders MøllerAarhus University
17:00
30m
Talk
MemInsight: Platform-Independent Memory Profiling for JavaScript
JSTools
Manu SridharanSamsung Research America
17:30
30m
Talk
Visualizing the interactions of client and server JS code
JSTools
Saba AlimadadiUniversity of British Columbia
16:10 - 16:30
DiscussionPLAS at Karlstejn
16:10
20m
Other
The future of PLAS
PLAS

16:10 - 17:10
Gradual TypingSTOP at Moravia III
16:10
20m
Talk
Position Paper: Performance Evaluation for Gradual Typing
STOP
A: Asumu TakikawaNortheastern University, A: Daniel FelteyNortheastern University, A: Ben GreenmanNortheastern University, A: Max New, A: Jan VitekNortheastern University, A: Matthias FelleisenNortheastern University
Media Attached
16:30
20m
Talk
Towards Absolutely Efficient Gradually Typed Languages
STOP
A: Andre KuhlenschmidtIndiana University, A: Deyaaeldeen AlmahallawiIndiana University, A: Jeremy G. SiekIndiana University
File Attached
16:50
20m
Talk
Towards a Static Type Checker for Python
STOP
A: Francisco OrtinUniversity of Oviedo, A: Baltasar García Perez-Schofield, A: José Manuel Redondo LópezUniversity of Oviedo
File Attached
16:30 - 17:00
Workshop closingPLAS at Karlstejn
16:30
30m
Day closing
Informal social gathering
PLAS

16:50 - 17:30
16:50
40m
Talk
Post-FRP Frontend Programming
Curry On
17:10 - 19:00
Discussion: Felleisen v BrachaSTOP at Moravia III
17:10
1h50m
Talk
Types for an Untyped World
STOP
S: Matthias FelleisenNortheastern University, S: Gilad BrachaGoogle, M: Jan VitekNortheastern University
18:00 - 18:30
Day ClosingJSTools at Hluboka I
Chair(s): Michael PradelTU Darmstadt, Christian HammerSaarland University, Julian DolbyIBM Research, Shu-yu GuoMozilla Corporation
18:00
30m
Day closing
Closing Remarks
JSTools

18:00 - 18:40
Beerageous opinionNetPL at Hluboka II
18:00
40m
Other
Beerageous opinion
NetPL

19:30 - 23:00
Curry On PartyCurry On at Curry On Restaurant
19:30
3h30m
Other
Curry On Party
Curry On

Conference Day
Tue 7 Jul

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

09:00 - 09:45
09:00
45m
Talk
JS @ 20
Curry On
10:00 - 10:15
WelcomeML4PL at Moravia III
10:00
15m
Day opening
Welcome and introductions
ML4PL

10:05 - 10:45
10:05
40m
Talk
Bits of Advice for VM Writers
Curry On
P: Cliff Click0xdata
10:05 - 10:20
WelcomeTruffle at Bohemia III
Chair(s): Thomas WuerthingerOracle Labs, Adam WelcOracle Labs, Mario WolczkoOracle Labs
10:05
15m
Day opening
Introduction
Truffle
10:05 - 10:15
WelcomeFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
10:05
10m
Day opening
Opening
FTfJP

10:05 - 10:20
WelcomePLE at Hluboka II
10:05
15m
Day opening
Introduction
PLE
Dominic OrchardImperial College London
10:05 - 10:20
WelcomeDSLDI at Karlstejn
Chair(s): Tijs van der StormCWI, Sebastian ErdwegTU Darmstadt
10:05
15m
Day opening
Introduction
DSLDI
10:15 - 12:15
Session 1FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
10:15
30m
Talk
A three-valued type system for true positives detection in Java-like languages
FTfJP
Davide AnconaUniversity of Genova, Federico Frassetto
10:45
30m
Talk
Imperative Objects with Dependent Types
FTfJP
Joana CamposLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLasige / Faculty of Sciences, Universidade de Lisboa
11:15
30m
Talk
Foo: A minimal Modern OO Calculus
FTfJP
Prodromos GerakiosNational Technical University of Athens, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
11:45
30m
Talk
Delegation vs Inheritance for Typestate Analysis
FTfJP
Du LiCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
10:15 - 11:00
Invited TalkML4PL at Moravia III
10:15
45m
Talk
Machine Learning for Programming
ML4PL
Martin VechevETH Zurich
10:20 - 11:10
Session 1PLE at Hluboka II
10:20
25m
Talk
On the origin of the block concept
PLE
Gauthier van den HoveUniversity of Amsterdam
10:45
25m
Talk
Retrofitting static typing to Python
PLE
10:20 - 11:20
Session 1DSLDI at Karlstejn
10:20
30m
Talk
SCROLL - A Scala-based library for Roles at Runtime
DSLDI
Max LeuthäuserTechnische Universität Dresden
10:50
30m
Talk
A case for Rebel, a DSL for product specifications
DSLDI
10:55 - 11:35
10:55
40m
Talk
Pyro – Typing Python in Python
Curry On
11:10 - 11:40
DiscussionPLE at Hluboka II
11:10
30m
Other
Discussion
PLE

11:30 - 12:30
Session 2DSLDI at Karlstejn
11:30
30m
Talk
Flick: A DSL for middleboxes
DSLDI
Nik SultanaUniversity of Cambridge
12:00
30m
Talk
Towards a Next-Generation Parallel Particle-Mesh Language
DSLDI
Sven KarolTechnische Universität Dresden, Pietro IncardonaMax Planck Institute of Molecular Cell Biology and Genetics Dresden, Yaser Afshar, Ivo SbalzariniMax Planck Institute of Molecular Cell Biology and Genetics Dresden, Jeronimo CastrillonTechnische Universität Dresden
11:45 - 12:25
Friedman & HemannCurry On at Bohemia I
11:45
40m
Talk
How to be a good host: miniKanren as a case study
Curry On
Daniel FriedmanIndiana University, Jason HemannIndiana University
12:15 - 12:35
Tool Demonstration 1FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
12:15
20m
Other
Why3
FTfJP
Léon GondelmanLRI, Université Paris-Sud
12:25 - 12:35
Discussion 1Truffle at Bohemia III
12:25
10m
Other
Additional discussion 1
Truffle

13:30 - 14:30
Session 3DSLDI at Karlstejn
13:30
30m
Talk
DSLs for Graph Algorithms and Graph Pattern Matching
DSLDI
Oskar van RestOracle Labs, Sungpack HongOracle Labs, Hassan ChafiOracle Labs
14:00
30m
Talk
DSLs of Mathematics, Theorems and Translations
DSLDI
Cezar IonescuChalmers University of Technology, Patrik JanssonChalmers University of Technology
13:45 - 14:45
Session 2FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne KandzioraUniversity of Twente, Marieke HuismanUniversity of Twente, Christoph BockischUniversity of Twente, Marina Zaharieva-StojanovskiUniversity of Twente
13:45 - 15:45
Session 2ML4PL at Moravia III
13:45
30m
Talk
Problems and opportunities — Program similarity
ML4PL
Eran YahavTechnion
14:15
30m
Talk
Inferring Coding Conventions with Machine Learning
ML4PL
Miltiadis AllamanisUniversity of Edinburgh, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Charles SuttonUniversity of Edinburgh
14:45
30m
Talk
Using topic models to understand programming languages literature
ML4PL
Kathleen FisherTufts University
15:15
30m
Talk
Scaling Program Synthesis by Exploiting Existing Code
ML4PL
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington
13:50 - 14:30
StroustrupCurry On at Bohemia I
13:50
40m
Talk
What, if anything, have we learned from C++?
Curry On
Bjarne StroustrupMorgan Stanley
13:50 - 14:30
ChristiansenCurry On at Moravia I & II
13:50
40m
Talk
Coding for Types: The Universe Pattern in Idris
Curry On
David Thrane ChristiansenIT University of Copenhagen, Denmark
14:40 - 15:40
Session 4DSLDI at Karlstejn
14:40
30m
Talk
Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs
DSLDI
Spencer P. FlorenceNorthwestern University, Ryan CulpepperNortheastern University, Matthew FlattUniversity of Utah, Robby FindlerNorthwestern University
15:10
30m
Talk
Dynamic Compilation of DSLs
DSLDI
Vojin JovanovicEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne
14:40 - 15:20
14:40
40m
Talk
Everything old is new again: Quoted domain specific languages
Curry On
P: Philip WadlerUniversity of Edinburgh
14:45 - 15:35
Invited TalkFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
14:45
50m
Talk
Verification of Concurrent Software: Java and OpenCL
FTfJP
Marieke HuismanUniversity of Twente
15:30 - 15:40
Discussion 2Truffle at Bohemia III
15:30
10m
Other
Additional discussion 2
Truffle

16:00 - 16:40
16:00
40m
Talk
LLVM for JavaScript
Curry On
P: Filip PizloApple
Link to publication
16:00 - 17:30
Session 3FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
16:00
30m
Talk
Automatic Verification of Dafny Programs with Traits
FTfJP
Reza AhmadiUniversity of Tampere, K. Rustan M. LeinoMicrosoft Research, Jyrki NummenmaaUniversity of Tampere
16:30
30m
Talk
Conditional Effects in Fine-grained Region Logic
FTfJP
Yuyan BaoUniversity of Central Florida, Gary LeavensCentral Florida University, Gidon ErnstAugsburg University
17:00
30m
Talk
Regression Verification for Java Using a Secure Information Flow Calculus
FTfJP
Bernhard BeckertKarlsruhe Institute of Technology, Vladimir KlebanovKarlsruhe Institute of Technology, Mattias UlbrichKarlsruhe Institute of Technology
16:00 - 16:40
16:00
40m
Talk
GS Collections: Echoes of Smalltalk’s Past
Curry On
Alexander IlievGoldman Sachs
16:40 - 17:40
DiscussionDSLDI at Karlstejn
16:40
60m
Other
Panel Discussion: Language Composition
DSLDI
Jonathan AldrichCarnegie Mellon University, Matthew FlattUniversity of Utah, Laurence TrattKing's College London, Andrzej WąsowskiIT University of Copenhagen, Denmark, Sebastian ErdwegTU Darmstadt
16:50 - 17:30
16:50
40m
Talk
Java everywhere again - with DukeScript!
Curry On
Anton EppleNetbeans
17:30 - 17:50
Tool Demonstration 2FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
17:30
20m
Other
Viper (Verification Infrastructure for Permission-based Reasoning)
FTfJP
Malte SchwerhoffETH Zurich, Switzerland
17:40 - 18:20
Clebsch, Blessing & DrossopoulouCurry On at Bohemia I
17:40
40m
Talk
Pony: making it easy to write efficient, concurrent, data-race free programs
Curry On
Sylvan ClebschImperial College London, Sebastian BlessingCausality, Sophia DrossopoulouImperial College London
17:50 - 18:00
ClosingFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
17:50
10m
Day closing
Closing
FTfJP

Conference Day
Wed 8 Jul

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

09:00 - 10:00
Keynote: ChoiResearch Track at Bohemia
Chair(s): Jan VitekNortheastern University
09:00
60m
Talk
Programming in the Large for the Internet of Things
Research Track
P: Jong-Deok ChoiSamsung Electronics
10:30 - 12:00
Gradual TypingResearch Track at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
10:30
30m
Talk
Towards Practical Gradual Typing
Research Track
Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Earl DeanIndiana University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Sam Tobin-HochstadtIndiana University, Matthias FelleisenNortheastern University
11:00
30m
Talk
TreatJS: Higher-Order Contracts for JavaScripts
Research Track
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
Media Attached
11:30
30m
Talk
Trust, but Verify: Two-Phase Typing for Dynamic Languages
Research Track
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego
10:30 - 12:00
10:30
90m
Talk
Verifying Correctness of Statefull Networks
Summer School
P: Mooly SagivTel Aviv University
13:30 - 15:00
ImplementationResearch Track at Bohemia
Chair(s): Christian HammerSaarland University
13:30
30m
Talk
Concrete Types for TypeScript
Research Track
Gregor RichardsUniversity of Waterloo, Francesco Zappa NardelliInria, Jan VitekNortheastern University
14:00
30m
Talk
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Research Track
14:30
30m
Talk
Loop tiling in the presence of exceptions
Research Track
13:30 - 15:00
KrishnamurthiSummer School at Moravia
13:30
90m
Talk
The Evolving Design of Pyret
Summer School
P: Shriram KrishnamurthiBrown University
Link to publication
15:30 - 17:00
ObjectsResearch Track at Bohemia
Chair(s): Kim BrucePomona College
15:30
30m
Talk
A Theory of Tagged Objects
Research Track
Joseph LeeCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Troy ShawVictoria University of Wellington, Alex PotaninVictoria University of Wellington
16:00
30m
Talk
Brand Objects for Nominal Typing
Research Track
Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
16:30
30m
Talk
Transparent Object Proxies in JavaScript
Research Track
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
15:30 - 17:00
15:30
90m
Talk
Nimble yet Systematic Trading
Summer School
P: Robert GrimmGoldman Sachs
17:00 - 18:30
17:00
90m
Talk
Modern Concurrent Separation Logics
Summer School
P: Philippa GardnerImperial College London
17:30 - 18:30
Analysis IResearch Track at Bohemia
Chair(s): Werner DietlUniversity of Waterloo
17:30
30m
Talk
Access-rights Analysis in the Presence of Subjects
Research Track
Paolina CentonzeIona College, Marco PistoiaIBM Research, Omer TrippIBM Thomas J. Watson Research Center
18:00
30m
Talk
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses
Research Track
Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Claus BrabrandIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark

Conference Day
Thu 9 Jul

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

09:00 - 10:00
DN Senior: StroustrupResearch Track at Bohemia
Chair(s): Erik ErnstGoogle
09:00
60m
Talk
Object-Oriented Programming without Inheritance
Research Track
P: Bjarne StroustrupMorgan Stanley
10:30 - 12:00
Developer AssistanceResearch Track at Bohemia
Chair(s): Michael Van De VanterOracle Labs
10:30
30m
Talk
Optimization Coaching for JavaScript
Research Track
Vincent St-AmourNortheastern University, Shu-yu GuoMozilla Corporation
11:00
30m
Talk
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification
Research Track
Lu Fang, Liang DouEast China Normal University, Harry XuUniversity of California, Irvine
11:30
30m
Talk
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript
Research Track
Saba AlimadadiUniversity of British Columbia, Ali MesbahUniversity of British Columbia, Karthik PattabiramanUniversity of British Columbia
10:30 - 12:00
10:30
90m
Talk
Declarative Probabilistic Programming
Summer School
S: Molham ArefLogicblox
13:30 - 15:00
Type SystemsResearch Track at Bohemia
Chair(s): Peter MüllerETH Zurich
13:30
30m
Talk
Intensional Effect Polymorphism
Research Track
Yuheng LongIowa State University, Yu David LiuState University of New York (SUNY) Binghamton, Hridesh RajanIowa State University
14:00
30m
Talk
Type Inference for Place-Oblivious Objects
Research Track
Riyaz HaqueUniversity of California, Los Angeles (UCLA), Jens PalsbergUniversity of California, Los Angeles
14:30
30m
Talk
Asynchronous Liquid Separation Types
Research Track
Johannes KloosMPI-SWS, Rupak MajumdarMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
13:30 - 15:00
13:30
90m
Talk
Synthesis and Verification for Everyone
Summer School
P: Emina TorlakUniversity of Washington
15:30 - 17:00
ParallelismResearch Track at Bohemia
Chair(s): Walter BinderUniversity of Lugano
15:30
30m
Talk
The Eureka Programming Model for Speculative Task Parallelism
Research Track
Shams ImamRice University, Vivek SarkarRice University
16:00
30m
Talk
Cooking the Books: Formalizing JMM Implementation Recipes
Research Track
Gustavo PetriPurdue University, Jan VitekNortheastern University, Suresh JagannathanDARPA
16:30
30m
Talk
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
Research Track
Brijesh DongolBrunel University, John DerrickUniversity of Sheffield, Lindsay GrovesVictoria University of Wellington, Graeme SmithThe University of Queensland
17:00 - 18:30
17:00
90m
Talk
Noise-based Testing of Concurrent Software
Summer School
P: Tomáš VojnarBrno University of Technology
17:30 - 18:30
Empirical StudiesResearch Track at Bohemia
Chair(s): Jonathan AldrichCarnegie Mellon University
17:30
30m
Talk
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript
Research Track
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
18:00
30m
Talk
The Love/Hate Relationship with the C Preprocessor: An Interview Study
Research Track
Flavio MedeirosFederal University of Campina Grande, Christian KästnerCarnegie Mellon University, Márcio RibeiroFederal University of Alagoas (UFAL), Sarah NadiTechnische Universität Darmstadt, Rohit GheyiUFCG, Brazil
19:30 - 22:30
19:30
3h
Other
ECOOP Banquet
Research Track

Conference Day
Fri 10 Jul

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

09:00 - 10:00
DN Junior: SummersResearch Track at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
09:00
60m
Talk
Software Verification "Across the Stack"
Research Track
Media Attached
10:30 - 12:00
AbstractionResearch Track at Bohemia
Chair(s): Davide AnconaUniversity of Genova
10:30
30m
Talk
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Research Track
Avraham ShinnarIBM Research, Jerome SimeonIBM Research, Martin HirzelIBM Research
11:00
30m
Talk
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State
Research Track
Sebastian BurckhardtMicrosoft Research, Daan LeijenMicrosoft Research, Jonathan ProtzenkoMicrosoft Research, Manuel FähndrichGoogle
11:30
30m
Talk
Streams a la carte: Extensible Pipelines with Object Algebras
Research Track
Aggelos BiboudisUniversity of Athens, Nick PalladinosNessos Information Technologies, SA, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
13:30 - 14:30
Keynote: MeyerResearch Track at Bohemia
Chair(s): Jan VitekNortheastern University
13:30
60m
Talk
The Prague List: Open Problems in Object-Oriented Programming
Research Track
P: Bertrand MeyerETH Zurich, Innopolis University and Eiffel Software
15:00 - 16:30
VerificationResearch Track at Bohemia
Chair(s): Pavel ParizekCharles University in Prague
15:00
30m
Talk
Lightweight Support for Magic Wands in an Automatic Verifier
Research Track
Malte SchwerhoffETH Zurich, Switzerland, Alexander J. SummersETH Zurich
15:30
30m
Talk
Modular Verification of Finite Blocking in Non-terminating Programs
Research Track
Pontus BoströmAbo Akademi University, Peter MüllerETH Zurich
16:00
30m
Talk
Modular Termination Verification
Research Track
Bart JacobsiMinds - Distrinet, KU Leuven, Dragan BosnackiEindhoven University of Technology, The Netherlands, Ruurd KuiperEindhoven University of Technology, The Netherlands
15:00 - 16:30
15:00
90m
Talk
Programming with Millions of Examples
Summer School
Eran YahavTechnion
17:00 - 18:30
Analysis IIResearch Track at Bohemia
Chair(s): Francesco LogozzoFacebook
17:00
30m
Talk
Framework for Static Analysis of PHP Applications
Research Track
David HauzarCharles University in Prague, Jan KofroňCharles University in Prague
17:30
30m
Talk
Adaptive Context-sensitive Analysis for JavaScript
Research Track
Shiyi WeiVirginia Tech, Barbara RyderVirginia Tech
18:00
30m
Talk
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
Research Track
Changhee ParkKAIST, Sukyoung RyuKorea Advanced Institute of Science and Technology
17:00 - 18:30
17:00
90m
Talk
Herding Weak Memory Cats
Summer School
P: Jade AlglaveUniversity College London
Link to publication