ECOOP 2015 (series) /
ECOOP 2015 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 5 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 5 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:00 | |||
08:45 15mDay opening | Introduction RIOT | ||
09:00 - 10:30 | |||
09:00 30mTalk | The CXXR project: Status and Future RIOT Karl Millar Google | ||
09:30 30mTalk | The FastR Runtime - R as a Citizen of the Truffle Family of Languages RIOT Lukas Stadler Oracle Labs | ||
10:00 30mTalk | Supporting the "Rapi" C-language API in an R-compatible engine RIOT Michael Sannella TIBCO | ||
09:00 - 10:00 | |||
09:00 60mDay opening | Welcome + Presentation Pharo Stéphane Ducasse INRIA Lille | ||
09:30 - 10:30 | |||
09:30 60mTalk | Keynote: ContextJS and Lively Kernel: Safely Evolving a Self-supporting Development Environment with COP COP Jens Lincke Hasso Plattner Institute | ||
09:30 - 10:30 | |||
09:30 10mDay opening | Welcome Doctoral Symposium Timothy Jones Victoria University of Wellington | ||
09:40 25mTalk | A virtual machine for testing compilation/recompilation protocols in multiple inheritance Doctoral Symposium Julien Pagès LIRMM, Université de Montpellier | ||
10:05 25mTalk | Domain Behavior Analysis of Software Using Code Relative Detection Doctoral Symposium | ||
09:30 - 09:50 | |||
09:30 20mDay opening | Introduction MASPEGHI | ||
09:50 - 10:30 | |||
09:50 40mTalk | jUCM: Universal Class Morphing MASPEGHI Aggelos Biboudis University of Athens, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens Link to publication | ||
10:00 - 10:30 | |||
10:00 30mOther | Coding Example Pharo Stéphane Ducasse INRIA Lille | ||
11:00 - 12:30 | |||
11:00 30mTalk | Context-Oriented Image Processing COP | ||
11:30 30mTalk | A Study of Context-Oriented Programming for Applying to Robot Development COP Harumi Watanabe Tokai University, Midori Sugaya Shibaura Institute of Technology, Ikuta Tanigawa Kyusyu University, Nobuhiko Ogura Tokyo City University, Kenji Hisazumi Kyushu University | ||
12:00 30mTalk | Towards a Decoupled Context-Oriented Programming Language for the Internet of Things COP Baptiste Maingret INSA Lyon, Frédéric Le Mouël INSA Lyon, Julien Ponge INSA Lyon, Nicolas Stouls INSA Lyon, Jian Cao Shanghai Jiao Tong University, Yannick Loiseau Blaise Pascale University , Aubière | ||
11:00 - 12:30 | |||
11:00 30mTalk | Detecting Memory Protection Errors in GNU-R using Static Checking RIOT Tomas Kalibera Northeastern University | ||
11:30 30mTalk | Distributed Performance Analysis for R RIOT Helena Kotthaus TU Dortmund | ||
12:00 30mTalk | Feature Specific Profiling in the R Language RIOT Leif Andersen PLT @ Northeastern University | ||
11:00 - 12:30 | |||
11:00 25mTalk | Transformation language for expressing automated API Migration Doctoral Symposium Krishna Narasimhan Goethe University | ||
11:25 25mTalk | Analyzing Nonconformances in Contract-Based Programs Doctoral Symposium Alysson Milanez UFCG, Brazil | ||
11:50 40mTalk | Fast and Lean Immutable Data Structures Doctoral Symposium | ||
11:00 - 12:30 | |||
11:00 45mTalk | Analyzing inheritance hierarchies through Formal Concept Analysis: A 22-years walk in a landscape of conceptual structures MASPEGHI Marianne Huchard LIRMM Link to publication | ||
11:45 45mTalk | The Expression Problem, Gracefully MASPEGHI Andrew Black Portland State University Link to publication | ||
13:30 - 15:00 | |||
13:30 30mTalk | Connecting Object Constraints with Context-oriented Programming: Scoping Constraints with Layers and Activating Layers with Constraints COP Stefan Lehmann Hasso-Plattner-Institute, Potsdam, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI | ||
14:00 30mTalk | Method Safety Mechanism for Asynchronous Layer Deactivation COP Tetsuo Kamina Ritsumeikan University, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Atsushi Igarashi Kyoto University | ||
14:30 30mTalk | Context Slices: A lightweight discovery module for adaptations COP | ||
13:30 - 15:00 | |||
13:30 30mTalk | The story of Arjun Guha, or: The arc of a research project Doctoral Symposium Shriram Krishnamurthi Brown University | ||
14:00 60mTalk | So you want to be an industrial researcher? Doctoral Symposium Mario Wolczko Oracle Labs | ||
13:30 - 14:30 | |||
13:30 60mTalk | Combining Inheritance and Modularity MASPEGHI Gilad Bracha Google | ||
14:00 - 15:00 | |||
14:00 30mTalk | R as a Query Language RIOT Alex Bertram Bedatadriven | ||
14:30 30mTalk | Vectorization of Apply Operations for the Exploitation of the Efficient Interpretation of R RIOT Haichuan Wang University of Illinois at Urbana-Champaign | ||
14:30 - 15:00 | |||
14:30 30mTalk | On Feature Protection in C++, Java and Eiffel MASPEGHI Markku Sakkinen University of Jyväskylä Link to publication Media Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | Efficient Layered Method Execution in ContextAmber COP Matthias Springer Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI | ||
16:00 30mTalk | Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation COP Tomoyuki Aotani Tokyo Institute of Technology, Tetsuo Kamina Ritsumeikan University, Hidehiko Masuhara Tokyo Institute of Technology | ||
16:30 30mOther | Discussion COP | ||
15:30 - 17:30 | |||
15:30 2hOther | Open discussion RIOT | ||
15:30 - 17:00 | |||
15:30 30mTalk | Happy Graduate School Years Doctoral Symposium Yu David Liu State University of New York (SUNY) Binghamton | ||
16:00 30mTalk | Tales from Dissertationland and the Job Hunt Doctoral Symposium Jonathan Aldrich Carnegie Mellon University | ||
16:30 10mDay closing | Formation of next year's committee Doctoral Symposium Timothy Jones Victoria University of Wellington | ||
15:30 - 16:40 | |||
15:30 70mOther | Discussion on approaches to multiple inheritance MASPEGHI | ||
16:40 - 17:00 | |||
16:40 20mDay closing | Workshop retrospective MASPEGHI | ||
Mon 6 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 6 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:00 | |||
08:45 15mDay opening | Curry On opening remarks Curry On | ||
09:00 - 09:45 | |||
09:00 45mTalk | Programs Wanted: Dead or Alive Curry On | ||
09:00 - 09:45 | |||
09:00 45mTalk | Data-centric Metaprogramming in Object-Oriented Languages ICOOOLPS Vlad Ureche EPFL Link to publication | ||
09:00 - 09:10 | WelcomeNetPL at Hluboka II Chair(s): Marco Canini Université catholique de Louvain, Robert Soulé Università della Svizzera italiana | ||
09:00 10mDay opening | Welcome NetPL C: Marco Canini Université catholique de Louvain, C: Robert Soulé Università della Svizzera italiana | ||
09:10 - 09:50 | |||
09:10 40mTalk | Enabling End Host Network Functions NetPL Hitesh Ballani Microsoft Research, UK Link to publication | ||
10:00 - 11:00 | |||
10:00 30mTalk | Position Paper: Building Debuggers and Other Tools: We Can “Have it All” ICOOOLPS Michael Van De Vanter Oracle Labs | ||
10:30 30mTalk | Trace-based Debugging for Advanced-Dispatching Programming Languages ICOOOLPS Christoph Bockisch University of Twente, Marnix van't Riet University of Twente, Haihan Yin University of Twente, Mehmet Aksit University of Twente, Ziyi Lin Shanghai Jiao Tong University, Yuting Chen Shanghai Jiao Tong University, Jianjun Zhao Shanghai Jiao Tong University | ||
10:05 - 10:45 | |||
10:05 40mTalk | Kotlin: Challenges in language design Curry On Link to publication | ||
10:05 - 10:10 | WelcomePLAS at Karlstejn Chair(s): Michael Clarkson Cornell University, Limin Jia Carnegie Mellon University | ||
10:05 5mDay opening | Welcome PLAS | ||
10:05 - 10:45 | |||
10:05 40mTalk | Crystal: a programming language for humans and computers Curry On Link to publication | ||
10:05 - 10:50 | |||
10:05 45mTalk | MyPy, an Optionally-Typed Python STOP Jukka Lehtosalo Dropbox | ||
10:10 - 10:15 | Day OpeningJSTools at Hluboka I Chair(s): Julian Dolby IBM Research, Shu-yu Guo Mozilla Corporation, Christian Hammer Saarland University, Michael Pradel TU Darmstadt | ||
10:10 5mDay opening | Opening Remarks JSTools | ||
10:10 - 11:10 | |||
10:10 60mTalk | Static and Dynamic Reasoning for SDNs NetPL Shriram Krishnamurthi Brown University Link to publication | ||
10:10 - 11:10 | |||
10:10 60mTalk | Micro-Policies: Formally Verified, Tag-Based Security Monitors PLAS Cătălin Hriţcu INRIA Paris Link to publication | ||
10:15 - 10:45 | |||
10:15 30mTalk | ES5strict -> IVL, Principled Translation using Operational Semantics JSTools Daiva Naudžiūnienė Imperial College London | ||
10:50 - 12:20 | |||
10:50 45mTalk | Invited Talk at STOP by Andreas Rossberg JSTools | ||
11:35 45mTalk | Invited Talk at STOP by Avik Chaudhuri JSTools | ||
10:50 - 11:35 | |||
10:50 45mTalk | Experiments with Strengthening JavaScript STOP Andreas Rossberg Google | ||
10:55 - 11:35 | |||
10:55 40mTalk | Structured Synchronous Programming Curry On Francisco Sant'Anna PUC-Rio Link to publication | ||
10:55 - 11:35 | |||
10:55 40mTalk | Akka Typed: Between Session Types and the Actor Model Curry On Roland Kuhn Typesafe Media Attached | ||
11:00 - 12:00 | |||
11:00 30mTalk | Preexistence revisited ICOOOLPS Roland Ducournau LIRMM, Université de Montpellier, Julien Pagès LIRMM, Université de Montpellier, Jean Privat Université du Québec à Montréal, Colin Vidal LIRMM, Université de Montpellier | ||
11:30 30mTalk | Short Paper: Call-target-specific Method Arguments ICOOOLPS Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Matthias Springer Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Tobias Pape Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI | ||
11:10 - 11:50 | |||
11:10 40mTalk | Immutable Distributed Infrastructure with Unikernels NetPL Anil Madhavapeddy University of Cambridge Link to publication | ||
11:10 - 12:40 | |||
11:10 30mTalk | Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World PLAS Sophia Drossopoulou Imperial College London, James Noble Victoria University of Wellington, Mark Miller Google Inc. | ||
11:40 30mTalk | Memory-safe Execution of C on a Java VM PLAS Matthias Grimmer Johannes Kepler University Linz, Roland Schatz Johannes Kepler University Linz, Chris Seaton Oracle Labs / University of Manchester, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz | ||
12:10 30mTalk | Dynamic Enforcement of Dynamic Policies PLAS | ||
11:35 - 12:20 | |||
11:35 45mTalk | Flow: a static type checker for JavaScript STOP Link to publication | ||
11:45 - 12:25 | |||
11:45 40mTalk | Encapsulating replication, high concurrency and consistency with CRDTs Curry On | ||
11:45 - 12:25 | |||
11:45 40mTalk | Pull > Push: Please stop polluting our imperative languages with pure concepts Curry On Ron Pressler Parallel Universe | ||
11:50 - 12:30 | |||
11:50 40mTalk | Program Synthesis for Network Updates NetPL Pavol Cerny University of Colorado Boulder Link to publication | ||
13:30 - 14:30 | |||
13:30 30mTalk | Ownership and Reference Counting based Garbage Collection in the Actor World ICOOOLPS Sylvan Clebsch Imperial College London, Sebastian Blessing Causality, Juliana Franco Imperial College London, Sophia Drossopoulou Imperial College London | ||
14:00 30mTalk | METIS: A Smart Memory Allocator Using Historical Reclamation Information ICOOOLPS Shijie Xu University of New Brunswick, Qi Guo Carnegie Mellon University, Gerhard Dueck University of New Brunswick, David Bremner University of New Brunswick, Yang Wang University of New Brunswick | ||
13:50 - 14:30 | |||
13:50 40mTalk | Empowering Spreadsheet Users with Probabilistic Programs Curry On Andrew D. Gordon Microsoft Research and University of Edinburgh | ||
13:50 - 14:35 | |||
13:50 45mTalk | Invited Talk at STOP by Satish Chandra JSTools | ||
13:50 - 14:50 | |||
13:50 60mTalk | Programming and Verifying Today's and Tomorrow's Networks PLAS Shriram Krishnamurthi Brown University | ||
13:50 - 14:30 | |||
13:50 40mTalk | Speed at a Price: The Evolution of V8 and the Challenges of Research in a Billion User VM Curry On | ||
13:50 - 14:35 | |||
13:50 45mTalk | JavaScript in the Small STOP | ||
14:00 - 15:00 | |||
14:00 60mTalk | The State of (Open Source) SDN and Programming Languages Opportunities NetPL Colin Dixon Brocade Link to publication | ||
14:30 - 15:30 | |||
14:30 30mTalk | Towards Reducing the Need for Algorithmic Primitives in Dynamic Language VMs Through a Tracing JIT ICOOOLPS Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Tobias Pape Hasso-Plattner-Institute, Potsdam, Lars Wassermann University of Potsdam, Robert Hirschfeld HPI, CF Bolz-Tereick King's College London | ||
15:00 30mTalk | Techniques and Applications for Guest-Language Safepoints ICOOOLPS Benoit Daloze Johannes Kepler University, Chris Seaton Oracle Labs / University of Manchester, Daniele Bonetta Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz Pre-print | ||
14:40 - 15:20 | |||
14:40 40mTalk | It Probably Works Curry On Tyler McMullen Fastly | ||
14:40 - 15:40 | |||
14:40 30mTalk | HybriDroid: Analysis Framework for Android Hybrid Applications JSTools Sukyoung Ryu Korea Advanced Institute of Science and Technology | ||
15:10 30mTalk | Jalangi: A Dynamic Analyses Framework for JavaScript JSTools Koushik Sen University of California, Berkeley | ||
14:40 - 15:20 | |||
14:40 40mTalk | Coccinelle for the Working Programmer Curry On Link to publication | ||
14:40 - 15:40 | |||
14:40 20mTalk | A Light-Weight Effect System for JavaScript STOP File Attached | ||
15:00 20mTalk | Adding Practical Dependent Types to Typed Racket STOP File Attached | ||
15:20 20mTalk | Contracts for Async Patterns in JavaScript STOP File Attached | ||
14:50 - 15:30 | |||
14:50 20mTalk | Short Paper: On High-Assurance Information-Flow-Secure Programming Languages PLAS Toby Murray NICTA and UNSW | ||
15:10 20mTalk | Short Paper: The Meaning of Attack-Resistant Systems PLAS Vijay Ganesh University of Waterloo, Sebastian Banescu Technical University of Munich, Martín Ochoa Technical University of Munich | ||
15:00 - 15:40 | |||
15:00 40mTalk | From Dumb to Smarter Switches in Software Defined Networks: Towards a Stateful Data Plane NetPL Antonio Capone Politecnico di Milano Link to publication | ||
16:00 - 16:40 | |||
16:00 40mTalk | Java @ Twitter - a bird's eye view Curry On | ||
16:00 - 17:00 | |||
16:00 30mOther | Open discussion ICOOOLPS | ||
16:30 30mDay closing | Wrap-up and future editions ICOOOLPS | ||
16:00 - 18:00 | |||
16:00 30mTalk | EventRacer: Scalable Analysis for Event-Driven Systems JSTools Martin Vechev ETH Zurich | ||
16:30 30mTalk | Stateless Model Checking for JavaScript JSTools Anders Møller Aarhus University | ||
17:00 30mTalk | MemInsight: Platform-Independent Memory Profiling for JavaScript JSTools Manu Sridharan Samsung Research America | ||
17:30 30mTalk | Visualizing the interactions of client and server JS code JSTools Saba Alimadadi University of British Columbia | ||
16:00 - 17:00 | |||
16:00 60mTalk | Managing Dynamic Networks: Distributed or Centralized Control? NetPL Roger Wattenhofer ETHZ Link to publication | ||
16:00 - 16:40 | |||
16:00 40mTalk | Servant: a type-level DSL for web APIs Curry On Julian Arni Zalora Link to publication | ||
16:10 - 16:30 | |||
16:10 20mOther | The future of PLAS PLAS | ||
16:10 - 17:10 | |||
16:10 20mTalk | Position Paper: Performance Evaluation for Gradual Typing STOP A: Asumu Takikawa Northeastern University, A: Daniel Feltey Northeastern University, A: Ben Greenman Northeastern University, A: Max S. New , A: Jan Vitek Northeastern University, A: Matthias Felleisen Northeastern University Media Attached | ||
16:30 20mTalk | Towards Absolutely Efficient Gradually Typed Languages STOP A: Andre Kuhlenschmidt Indiana University, A: Deyaaeldeen Almahallawi Indiana University, A: Jeremy G. Siek Indiana University File Attached | ||
16:50 20mTalk | Towards a Static Type Checker for Python STOP A: Francisco Ortin University of Oviedo, A: Baltasar García Perez-Schofield , A: José Manuel Redondo López University of Oviedo File Attached | ||
16:30 - 17:00 | |||
16:30 30mDay closing | Informal social gathering PLAS | ||
16:50 - 17:30 | |||
16:50 40mTalk | Post-FRP Frontend Programming Curry On | ||
16:50 - 17:30 | |||
16:50 40mTalk | Making Embedded Domain Specific Languages a Practical Reality Curry On Jurriaan Hage Utrecht University | ||
17:00 - 17:30 | |||
17:00 30mTalk | NEMO-An Intent Oriented Network Programming Language NetPL Xia Yinben Huawei Link to publication | ||
17:10 - 19:00 | |||
17:10 1h50mTalk | Types for an Untyped World STOP S: Matthias Felleisen Northeastern University, S: Gilad Bracha Google, M: Jan Vitek Northeastern University | ||
17:30 - 18:00 | |||
17:30 30mTalk | Policy-Compliant Path Diversity and Bisection Bandwidth NetPL Xenofontas Dimitropoulos University of Crete & FORTH Link to publication | ||
17:40 - 18:30 | |||
17:40 50mTalk | Julia: Numerical Applications Pushing the Limits of Language Design Curry On | ||
18:00 - 18:30 | Day ClosingJSTools at Hluboka I Chair(s): Julian Dolby IBM Research, Shu-yu Guo Mozilla Corporation, Christian Hammer Saarland University, Michael Pradel TU Darmstadt | ||
18:00 30mDay closing | Closing Remarks JSTools | ||
18:00 - 18:40 | |||
18:00 40mOther | Beerageous opinion NetPL | ||
19:30 - 23:00 | |||
19:30 3h30mOther | Curry On Party Curry On | ||
Tue 7 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 7 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:45 | |||
09:00 45mTalk | JS @ 20 Curry On | ||
10:00 - 10:15 | |||
10:00 15mDay opening | Welcome and introductions ML4PL | ||
10:05 - 10:45 | |||
10:05 40mTalk | Bits of Advice for VM Writers Curry On | ||
10:05 - 10:20 | WelcomeTruffle at Bohemia III Chair(s): Adam Welc Oracle Labs, Mario Wolczko Oracle Labs, Thomas Wuerthinger Oracle Labs | ||
10:05 15mDay opening | Introduction Truffle Thomas Wuerthinger Oracle Labs | ||
10:05 - 10:15 | |||
10:05 10mDay opening | Opening FTfJP | ||
10:05 - 10:20 | |||
10:05 15mDay opening | Introduction PLE Dominic Orchard Imperial College London | ||
10:05 - 10:20 | |||
10:05 15mDay opening | Introduction DSLDI | ||
10:05 - 10:45 | |||
10:05 40mTalk | Some of the Things That Macros Do Curry On | ||
10:15 - 12:15 | |||
10:15 30mTalk | A three-valued type system for true positives detection in Java-like languages FTfJP | ||
10:45 30mTalk | Imperative Objects with Dependent Types FTfJP Joana Campos Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos Lasige / Faculty of Sciences, Universidade de Lisboa | ||
11:15 30mTalk | Foo: A minimal Modern OO Calculus FTfJP Prodromos Gerakios National Technical University of Athens, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens | ||
11:45 30mTalk | Delegation vs Inheritance for Typestate Analysis FTfJP Du Li Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University | ||
10:15 - 11:00 | |||
10:15 45mTalk | Machine Learning for Programming ML4PL Martin Vechev ETH Zurich | ||
10:20 - 12:25 | |||
10:20 25mTalk | One VM to Rule Them All And With Interoperability Bind Them Truffle Matthias Grimmer Johannes Kepler University Linz | ||
10:45 25mTalk | Substrate VM Truffle | ||
11:10 25mTalk | Integrating Truffle into an Existing Language Implementation Truffle Chris Seaton Oracle Labs / University of Manchester | ||
11:35 25mTalk | Developer Tools for Truffle-implemented Languages Truffle Michael Van De Vanter Oracle Labs | ||
12:00 25mTalk | Truffle Trade-offs, Concepts and Experiences Truffle Christian Humer Oracle Labs | ||
10:20 - 11:10 | |||
10:20 25mTalk | On the origin of the block concept PLE Gauthier van den Hove University of Amsterdam | ||
10:45 25mTalk | Retrofitting static typing to Python PLE Jukka Lehtosalo Dropbox | ||
10:20 - 11:20 | |||
10:20 30mTalk | SCROLL - A Scala-based library for Roles at Runtime DSLDI Max Leuthäuser Technische Universität Dresden | ||
10:50 30mTalk | A case for Rebel, a DSL for product specifications DSLDI Jouke Stoel CWI | ||
10:55 - 11:35 | |||
10:55 40mTalk | Pyro – Typing Python in Python Curry On Alex Muscar Lyst | ||
10:55 - 11:35 | |||
10:55 40mTalk | QuickCheck: from invention to product Curry On Thomas Arts Quviq | ||
11:00 - 12:30 | |||
11:00 30mTalk | Learning to Decipher the Heap ML4PL Marc Brockschmidt Microsoft Research | ||
11:30 30mTalk | PPAML: Probabilistic Programming Advancing Machine Learning ML4PL Suresh Jagannathan DARPA | ||
12:00 30mTalk | Man vs. Machine: Challenges of Integrating Programming Languages and People ML4PL Emery D. Berger University of Massachusetts, Amherst | ||
11:10 - 11:40 | |||
11:10 30mOther | Discussion PLE | ||
11:30 - 12:30 | |||
11:30 30mTalk | Flick: A DSL for middleboxes DSLDI Nik Sultana University of Cambridge | ||
12:00 30mTalk | Towards a Next-Generation Parallel Particle-Mesh Language DSLDI Sven Karol Technische Universität Dresden, Pietro Incardona Max Planck Institute of Molecular Cell Biology and Genetics Dresden, Yaser Afshar , Ivo Sbalzarini Max Planck Institute of Molecular Cell Biology and Genetics Dresden, Jeronimo Castrillon Technische Universität Dresden | ||
11:40 - 12:30 | |||
11:40 25mTalk | Fine grained language composition PLE Laurence Tratt King's College London | ||
12:05 25mTalk | The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript PLE Michael Pradel TU Darmstadt | ||
11:45 - 12:25 | |||
11:45 40mTalk | How to be a good host: miniKanren as a case study Curry On | ||
11:45 - 12:25 | |||
11:45 40mTalk | Data Manipulation using Programming By Examples and Natural Language Curry On Sumit Gulwani Microsoft Research | ||
12:15 - 12:35 | |||
12:15 20mOther | Why3 FTfJP Léon Gondelman LRI, Université Paris-Sud | ||
12:25 - 12:35 | |||
12:25 10mOther | Additional discussion 1 Truffle | ||
13:30 - 14:30 | |||
13:30 30mTalk | DSLs for Graph Algorithms and Graph Pattern Matching DSLDI | ||
14:00 30mTalk | DSLs of Mathematics, Theorems and Translations DSLDI | ||
13:45 - 14:45 | |||
13:45 30mTalk | Provably Live Exception Handling FTfJP Bart Jacobs iMinds - Distrinet, KU Leuven | ||
14:15 30mTalk | Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML FTfJP Jorne Kandziora University of Twente, Marieke Huisman University of Twente, Christoph Bockisch University of Twente, Marina Zaharieva-Stojanovski University of Twente | ||
13:45 - 15:45 | |||
13:45 30mTalk | Problems and opportunities — Program similarity ML4PL Eran Yahav Technion | ||
14:15 30mTalk | Inferring Coding Conventions with Machine Learning ML4PL Miltiadis Allamanis University of Edinburgh, Earl T. Barr University College London, Christian Bird Microsoft Research, Charles Sutton University of Edinburgh | ||
14:45 30mTalk | Using topic models to understand programming languages literature ML4PL Kathleen Fisher Tufts University | ||
15:15 30mTalk | Scaling Program Synthesis by Exploiting Existing Code ML4PL | ||
13:50 - 14:30 | |||
13:50 40mTalk | What, if anything, have we learned from C++? Curry On Bjarne Stroustrup Morgan Stanley | ||
13:50 - 15:30 | |||
13:50 25mTalk | Complementary Directions for Truffle Languages and Liballocs Truffle Stephen Kell University of Cambridge | ||
14:15 25mTalk | Accurate Bytecode-level Profiling of Dynamically Optimized Code with Graal Truffle Yudi Zheng University of Lugano | ||
14:40 25mTalk | Product Lines of Interpreters Using Truffle with Object Algebras Truffle Yanlin Wang University of Hong Kong | ||
15:05 25mTalk | Heterogeneous Data Structures for the Masses Truffle | ||
13:50 - 14:40 | |||
13:50 50mTalk | What - if anything - have we learned from C++? *** in room Bohemia I ** PLE Media Attached | ||
13:50 - 14:30 | |||
13:50 40mTalk | Coding for Types: The Universe Pattern in Idris Curry On David Thrane Christiansen IT University of Copenhagen, Denmark | ||
14:40 - 15:20 | |||
14:40 40mTalk | Tern: Practical Type Inference for JavaScript Editing Curry On | ||
14:40 - 15:40 | |||
14:40 30mTalk | Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs DSLDI Spencer P. Florence Northwestern University, Ryan Culpepper Northeastern University, Matthew Flatt University of Utah, Robert Bruce Findler Northwestern University | ||
15:10 30mTalk | Dynamic Compilation of DSLs DSLDI | ||
14:40 - 15:20 | |||
14:40 40mTalk | Everything old is new again: Quoted domain specific languages Curry On | ||
14:45 - 15:35 | |||
14:45 50mTalk | Verification of Concurrent Software: Java and OpenCL FTfJP Marieke Huisman University of Twente | ||
15:30 - 15:40 | |||
15:30 10mOther | Additional discussion 2 Truffle | ||
16:00 - 16:40 | |||
16:00 40mTalk | LLVM for JavaScript Curry On Link to publication | ||
16:00 - 17:30 | |||
16:00 30mTalk | Automatic Verification of Dafny Programs with Traits FTfJP Reza Ahmadi University of Tampere, K. Rustan M. Leino Microsoft Research, Jyrki Nummenmaa University of Tampere | ||
16:30 30mTalk | Conditional Effects in Fine-grained Region Logic FTfJP Yuyan Bao University of Central Florida, Gary T. Leavens Central Florida University, Gidon Ernst Augsburg University | ||
17:00 30mTalk | Regression Verification for Java Using a Secure Information Flow Calculus FTfJP Bernhard Beckert Karlsruhe Institute of Technology, Vladimir Klebanov Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology | ||
16:00 - 16:40 | |||
16:00 40mTalk | GS Collections: Echoes of Smalltalk’s Past Curry On Alexander Iliev Goldman Sachs | ||
16:10 - 18:15 | |||
16:10 25mTalk | Which Meta-Compilation Approach is Better for Self-Optimizing Interpreters: Tracing or Partial Evaluation? Truffle Stefan Marr Inria, France | ||
16:35 25mTalk | Enabling Heterogeneous Computing in Java with Graal Truffle Juan Fumero University of Edinburgh | ||
17:00 25mTalk | Project Beehive: A Hardware/Software Co-designed Stack for Runtime and Architectural Research Truffle | ||
17:25 25mTalk | SQPyte: JITing a DBMS Truffle CF Bolz-Tereick King's College London , Darya Melicher Carnegie Mellon University, Laurence Tratt King's College London | ||
17:50 25mTalk | Additional discussion 3 Truffle | ||
16:10 - 16:40 | |||
16:10 30mTalk | A practical theory of language-integrated query —and— Everything old is new again DSLDI Philip Wadler University of Edinburgh | ||
16:10 - 18:10 | |||
16:10 30mTalk | Problems and opportunities – Statistical modeling in (declarative) PLs ML4PL Molham Aref Logicblox | ||
16:40 30mTalk | Bimodal Modelling of Source Code and Natural Language ML4PL Andrew D. Gordon Microsoft Research and University of Edinburgh | ||
17:10 30mTalk | Machine learning for predictive modeling and recommender systems automation ML4PL Pavel Kordik Czech Technical University in Prague | ||
16:40 - 17:40 | |||
16:40 60mOther | Panel Discussion: Language Composition DSLDI Jonathan Aldrich Carnegie Mellon University, Matthew Flatt University of Utah, Laurence Tratt King's College London, Andrzej Wąsowski IT University of Copenhagen, Denmark, Sebastian Erdweg TU Darmstadt | ||
16:50 - 17:30 | |||
16:50 40mTalk | Rust: A Type System You Didn't Know You Wanted Curry On Felix Klock Mozilla Corporation Link to publication | ||
16:50 - 17:30 | |||
16:50 40mTalk | Java everywhere again - with DukeScript! Curry On Anton Epple Netbeans | ||
17:30 - 17:50 | |||
17:30 20mOther | Viper (Verification Infrastructure for Permission-based Reasoning) FTfJP Malte Schwerhoff ETH Zurich, Switzerland | ||
17:40 - 18:20 | |||
17:40 40mTalk | Pony: making it easy to write efficient, concurrent, data-race free programs Curry On Sylvan Clebsch Imperial College London, Sebastian Blessing Causality, Sophia Drossopoulou Imperial College London | ||
17:40 - 18:20 | |||
17:40 40mTalk | Scaling SQL Databases Beyond Limits with PostgreSQL Curry On Valentine Gogichashvili Zalando | ||
17:50 - 18:00 | |||
17:50 10mDay closing | Closing FTfJP | ||
18:30 - 19:20 | |||
18:30 50mTalk | Let's be mainstream! User-focused design in Elm Curry On | ||
Wed 8 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 8 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Programming in the Large for the Internet of Things Research Track | ||
10:30 - 12:00 | |||
10:30 30mTalk | Towards Practical Gradual Typing Research Track Asumu Takikawa Northeastern University, Daniel Feltey Northeastern University, Earl Dean Indiana University, Robert Bruce Findler Northwestern University, Matthew Flatt University of Utah, Sam Tobin-Hochstadt Indiana University, Matthias Felleisen Northeastern University | ||
11:00 30mTalk | TreatJS: Higher-Order Contracts for JavaScripts Research Track Media Attached | ||
11:30 30mTalk | Trust, but Verify: Two-Phase Typing for Dynamic Languages Research Track Panagiotis Vekris University of California, San Diego, Benjamin Cosman University of California, San Diego, Ranjit Jhala University of California, San Diego | ||
10:30 - 12:00 | |||
10:30 90mTalk | Verifying Correctness of Statefull Networks Summer School | ||
13:30 - 15:00 | |||
13:30 30mTalk | Concrete Types for TypeScript Research Track Gregor Richards University of Waterloo, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University | ||
14:00 30mTalk | Simple and Effective Type Check Removal through Lazy Basic Block Versioning Research Track | ||
14:30 30mTalk | Loop tiling in the presence of exceptions Research Track | ||
13:30 - 15:00 | |||
13:30 90mTalk | The Evolving Design of Pyret Summer School Link to publication | ||
15:30 - 17:00 | |||
15:30 30mTalk | A Theory of Tagged Objects Research Track Joseph Lee Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Troy Shaw Victoria University of Wellington, Alex Potanin Victoria University of Wellington | ||
16:00 30mTalk | Brand Objects for Nominal Typing Research Track Timothy Jones Victoria University of Wellington, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington | ||
16:30 30mTalk | Transparent Object Proxies in JavaScript Research Track | ||
15:30 - 17:00 | |||
15:30 90mTalk | Nimble yet Systematic Trading Summer School | ||
17:00 - 18:30 | |||
17:00 90mTalk | Modern Concurrent Separation Logics Summer School | ||
17:30 - 18:30 | |||
17:30 30mTalk | Access-rights Analysis in the Presence of Subjects Research Track Paolina Centonze Iona College, Marco Pistoia IBM Research, Omer Tripp IBM Thomas J. Watson Research Center | ||
18:00 30mTalk | Variability Abstractions: Trading Precision for Speed in Family-Based Analyses Research Track Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Claus Brabrand IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
Thu 9 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 9 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Object-Oriented Programming without Inheritance Research Track | ||
10:30 - 12:00 | |||
10:30 30mTalk | Optimization Coaching for JavaScript Research Track | ||
11:00 30mTalk | PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification Research Track | ||
11:30 30mTalk | Hybrid DOM-Sensitive Change Impact Analysis for JavaScript Research Track Saba Alimadadi University of British Columbia, Ali Mesbah University of British Columbia, Karthik Pattabiraman University of British Columbia | ||
10:30 - 12:00 | |||
10:30 90mTalk | Declarative Probabilistic Programming Summer School | ||
13:30 - 15:00 | |||
13:30 30mTalk | Intensional Effect Polymorphism Research Track Yuheng Long Iowa State University, Yu David Liu State University of New York (SUNY) Binghamton, Hridesh Rajan Iowa State University | ||
14:00 30mTalk | Type Inference for Place-Oblivious Objects Research Track Riyaz Haque University of California, Los Angeles (UCLA), Jens Palsberg University of California, Los Angeles | ||
14:30 30mTalk | Asynchronous Liquid Separation Types Research Track | ||
13:30 - 15:00 | |||
13:30 90mTalk | Synthesis and Verification for Everyone Summer School | ||
15:30 - 17:00 | |||
15:30 30mTalk | The Eureka Programming Model for Speculative Task Parallelism Research Track | ||
16:00 30mTalk | Cooking the Books: Formalizing JMM Implementation Recipes Research Track | ||
16:30 30mTalk | Defining Correctness Conditions for Concurrent Objects in Multicore Architectures Research Track Brijesh Dongol Brunel University, John Derrick University of Sheffield, Lindsay Groves Victoria University of Wellington, Graeme Smith The University of Queensland | ||
15:30 - 17:00 | |||
15:30 90mTalk | Graceful Programming --- Teaching Introductory Programming Summer School Link to publication | ||
17:00 - 18:30 | |||
17:00 90mTalk | Noise-based Testing of Concurrent Software Summer School | ||
17:30 - 18:30 | |||
17:30 30mTalk | The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Research Track | ||
18:00 30mTalk | The Love/Hate Relationship with the C Preprocessor: An Interview Study Research Track Flavio Medeiros Federal University of Campina Grande, Christian Kästner Carnegie Mellon University, Márcio Ribeiro Federal University of Alagoas (UFAL), Sarah Nadi Technische Universität Darmstadt, Rohit Gheyi UFCG, Brazil | ||
19:30 - 22:30 | |||
19:30 3hOther | ECOOP Banquet Research Track | ||
Fri 10 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 Boyland University of Wisconsin, Milwaukee | ||
09:00 60mTalk | Software Verification "Across the Stack" Research Track Media Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Research Track | ||
11:00 30mTalk | Global Sequence Protocol: A Robust Abstraction for Replicated Shared State Research Track Sebastian Burckhardt Microsoft Research, Daan Leijen Microsoft Research, Jonathan Protzenko Microsoft Research, Manuel Fähndrich Google | ||
11:30 30mTalk | Streams a la carte: Extensible Pipelines with Object Algebras Research Track Aggelos Biboudis University of Athens, Nick Palladinos Nessos Information Technologies, SA, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens | ||
10:30 - 12:00 | |||
10:30 90mTalk | Taming Uncertainty, Scale, and Change: A Programming Language Perspective Summer School | ||
13:30 - 14:30 | |||
13:30 60mTalk | The Prague List: Open Problems in Object-Oriented Programming Research Track | ||
15:00 - 16:30 | |||
15:00 30mTalk | Lightweight Support for Magic Wands in an Automatic Verifier Research Track | ||
15:30 30mTalk | Modular Verification of Finite Blocking in Non-terminating Programs Research Track | ||
16:00 30mTalk | Modular Termination Verification Research Track Bart Jacobs iMinds - Distrinet, KU Leuven, Dragan Bosnacki Eindhoven University of Technology, The Netherlands, Ruurd Kuiper Eindhoven University of Technology, The Netherlands | ||
15:00 - 16:30 | |||
15:00 90mTalk | Programming with Millions of Examples Summer School Eran Yahav Technion | ||
17:00 - 18:30 | |||
17:00 30mTalk | Framework for Static Analysis of PHP Applications Research Track | ||
17:30 30mTalk | Adaptive Context-sensitive Analysis for JavaScript Research Track | ||
18:00 30mTalk | Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Research Track | ||
17:00 - 18:30 | |||
17:00 90mTalk | Herding Weak Memory Cats Summer School Link to publication | ||