PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / ECOOP 2017 (series) /
ECOOP 2017 Program
This is the ECOOP 2017 program - see the full program for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 10mTalk | Introduction ECOOP Doctoral Symposium | ||
09:10 20mTalk | Lightning talks ECOOP Doctoral Symposium | ||
09:30 30mTalk | Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software ECOOP Doctoral Symposium Daniel Welch Clemson University | ||
10:00 30mTalk | Enabling Modular Verification of Concurrent Programs ECOOP Doctoral Symposium | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Invited Talk: The Story of WALA at Watson and Beyond ECOOP Doctoral Symposium Julian Dolby IBM Thomas J. Watson Research Center | ||
11:30 30mTalk | Analysis and Verification of Rich Typestate Properties for Complex Programs ECOOP Doctoral Symposium | ||
12:00 30mTalk | Efficient Run-Times for Sound Gradual Typing ECOOP Doctoral Symposium | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Invited Talk: What Lies Beyond a PhD ECOOP Doctoral Symposium Sarah Nadi University of Alberta | ||
14:00 30mTalk | Verifiable, reusable, yet useful conditioning ECOOP Doctoral Symposium Praveen Narayanan Indiana University, USA | ||
14:30 30mTalk | Improving Warmup in Meta-Traced Virtual Machines ECOOP Doctoral Symposium Jasper Schulz King's College London | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:50 | |||
15:30 30mTalk | Compilation of Stream Programs for Heterogeneous Architectures ECOOP Doctoral Symposium | ||
16:00 30mTalk | Introspective Intrusion Detection for Popular Software Platforms ECOOP Doctoral Symposium | ||
16:30 30mTalk | Privacy-aware operator placement ECOOP Doctoral Symposium | ||
17:00 40mTalk | How to get your Ph.D. DONE ECOOP Doctoral Symposium Eric Jul University of Oslo | ||
17:40 10mTalk | Round up by the academic panel ECOOP Doctoral Symposium | ||
16:30 - 18:00 | |||
16:30 90mTalk | Introduction Session ECOOP Summer School Jan Vitek Northeastern University | ||
Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 10mTalk | Workshop Welcome ICOOOLPS Mario Wolczko Oracle Labs | ||
09:10 80mTalk | We Software People are not Worthy - All Hail the Hardware Gods ICOOOLPS Sylvan Clebsch Imperial College London | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | dart2java: Running Dart in Java-based Environments ICOOOLPS Matthias Springer Tokyo Institute of Technology, Andrew Krieger University of California, Los Angeles, Stanislav Manilov University of Edinburgh, Hidehiko Masuhara Tokyo Institute of Technology Link to publication DOI File Attached | ||
11:30 30mTalk | VM Wrapping - Fake it till you make it ICOOOLPS Johannes Henning Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI Link to publication DOI File Attached | ||
12:00 30mTalk | A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability ICOOOLPS Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz Link to publication DOI File Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | Spencer: Tracing as a Service IWACO Stephan Brandauer Uppsala University | ||
11:30 30mTalk | Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. IWACO Alex Potanin Victoria University of Wellington | ||
12:00 30mTalk | Reference Capabilities in Practice: Examining Real-World Pony Code IWACO Sylvan Clebsch Imperial College London | ||
11:00 - 12:30 | |||
11:00 30mTalk | JaVerT: a logic-based tool for JavaScript Verification JSTools File Attached | ||
11:30 30mTalk | To Type or Not to Type: Quantifying Detectable Bugs in JavaScript JSTools | ||
12:00 30mTalk | Testing and Evolving TypeScript Declaration Files with Program Analysis JSTools Anders Møller Aarhus University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:40 | |||
14:00 1h40mTalk | Compiler Verification for a Multi-Language World ECOOP Summer School Amal Ahmed Northeastern University, USA | ||
14:00 - 15:30 | |||
14:00 60mTalk | Can Compiler Magic Ever Be Explained? ICOOOLPS | ||
15:00 30mTalk | Code Generation in Serializers and Comparators of Apache Flink ICOOOLPS Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Márton Balassi Hungarian Academy of Sciences Link to publication DOI File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | Aliasing, Capabilities and Ownership in Rust IWACO | ||
14:30 30mTalk | Introducing Ownership Type Constraints to UML/OCL IWACO File Attached | ||
15:00 30mTalk | Towards Reasonable Ownership IWACO File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | BCoz: Effective Performance Debugging for Web Applications JSTools John Vilk University of Massachusetts, Amherst File Attached | ||
14:30 30mTalk | Repairing Event Race Errors by Controlling Nondeterminism JSTools Frank Tip Northeastern University | ||
15:00 30mTalk | Static Analysis of CommonJS Modules JSTools | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 18:00 | |||
16:00 60mOther | Panel: Do new Computing Environments lead to new Language Constructs? ICOOOLPS Eric Jul University of Oslo, Edd Barrett King's College London, Steve Blackburn Australian National University , Ben L. Titzer Google | ||
17:00 30mTalk | Diff Graphs for a fast Incremental Pointer Analysis ICOOOLPS Link to publication DOI File Attached | ||
17:30 30mDemonstration | A Formalization IDE Integrated with a Verifying Compiler ICOOOLPS Daniel Welch Clemson University, Blair Durkee Clemson University, Mike Kabbani Clemson University, Murali Sitaraman Clemson University Link to publication DOI File Attached | ||
16:00 - 18:00 | |||
16:00 45mTalk | Adding Safe Manual Memory Management to .NET IWACO Dimitrios Vytiniotis Microsoft Research, Cambridge | ||
16:00 - 18:00 | |||
16:00 30mTalk | WebPol: Fine-grained Information Flow Policies for Web Browsers JSTools Christian Hammer University of Potsdam | ||
16:10 - 17:50 | |||
16:10 1h40mTalk | Compiler Verification for a Multi-Language World ECOOP Summer School Amal Ahmed Northeastern University, USA | ||
Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome COP | ||
09:15 60mTalk | Keynote on Context-Oriented Language Engineering COP | ||
10:15 15mOther | Discussion COP | ||
09:00 - 10:30 | |||
09:30 20mTalk | Software Model Checking: A Promising Approach to Verify Mobile App Security FTfJP Irina Asavoae INRIA, Paris, France, Hoang Nga Nguyen Coventry University, Coventry, UK, Markus Roggenbach Swansea University, Swansea, UK, Siraj Ahmed Shaikh Coventry University, Coventry, UK Pre-print | ||
09:50 35mTalk | Formal Analysis of Object-Oriented Mograms FTfJP | ||
10:25 5mTalk | Towards a Java Subtyping Operad FTfJP Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt Pre-print | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:50 - 12:30 | |||
10:50 1h40mTalk | Rust: Ownership in practice ECOOP Summer School Nicholas Matsakis Mozilla Corporation | ||
11:00 - 12:30 | |||
11:00 60mTalk | Edge Compute: The First 5000 Years PMLDC Tyler McMullen Fastly | ||
12:00 30mTalk | On the Design of Distributed Programming Models PMLDC Christopher Meiklejohn Université catholique de Louvain File Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | The Declarative Nature of Implicit Layer Activation COP Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI | ||
11:30 30mTalk | Push-based Reactive Layer Activation in Context-Oriented Programming COP Tetsuo Kamina Ritsumeikan University, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology | ||
12:00 30mTalk | Petri-Net Based Testing Environment for Context-Oriented Programming COP | ||
11:00 - 12:30 | |||
11:00 20mTalk | A Coq-based synthesis of Scala programs which are correct-by-construction FTfJP Youssef El Bakouny CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan Crolard CEDRIC - CNAM - Paris, France, Dani Mezher CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon Pre-print | ||
11:20 70mTalk | Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) FTfJP Derek Dreyer MPI-SWS | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:40 | |||
14:00 1h40mTalk | Rust: Ownership in practice ECOOP Summer School Nicholas Matsakis Mozilla Corporation | ||
14:00 - 15:30 | |||
14:00 30mTalk | Monotonicity Types for Distributed Dataflow PMLDC File Attached | ||
14:30 30mTalk | Multi-view data types for scalable concurrency in the multi-core era PMLDC Deepthi Devaki Akkoorath , José Brandão , Annette Bieniusa Technischen Universität Kaiserslautern, Carlos Baquero HASLab/INESC TEC & University of Minho File Attached | ||
15:00 30mTalk | The Single-Writer Principle in CRDT Composition PMLDC File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | ContextROS: Context-Oriented Programming for the Robot Operating System COP Yuta Saeki Kyushu University, Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University | ||
14:30 30mTalk | IoT Robot Simulator and Framework for Context-Oriented Programming COP Ikuta Tanigawa Kyushu University, Kenji Hisazumi Kyushu University, Nobuhiko Ogura Tokyo City University, Harumi Watanabe Tokai University, Akira Fukuda Kyushu University | ||
15:00 30mTalk | Peace COrP: Learning to solve conflicts between contexts COP Nicolás Cardozo Universidad de los Andes, Ivana Dusparic Trinity College Dublin, Ireland, Jorge H. Castro Universidad de los Andes Media Attached File Attached | ||
14:00 - 15:30 | |||
14:00 20mTalk | Generic Approach to Certified Static Checking of Module-like Constructs FTfJP Julia Belyakova Southern Federal University Pre-print | ||
14:20 35mTalk | Tracing sharing in an imperative pure calculus FTfJP Paola Giannini Universita' del Piemonte Orientale, Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova | ||
14:55 35mTalk | Mutable WadlerFest DOT FTfJP | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 18:00 | |||
16:00 60mTalk | Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything. PMLDC Philippe Dobbelaere Nokia Bell Labs | ||
16:00 - 18:00 | |||
16:00 2hOther | Discussion COP | ||
16:00 - 18:00 | |||
16:00 20mTalk | Consistency Types for Safe and Efficient Distributed Programming FTfJP | ||
16:20 35mTalk | Correctness of Partial Escape Analysis for Multithreading Optimization FTfJP Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College | ||
16:55 35mTalk | Parametric trace expressions for runtime verification of Java-like programs FTfJP Davide Ancona University of Genova, Angelo Ferrando , Luca Franceschini DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy | ||
Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:00 | |||
14:00 60mTalk | Challenges to Achieving High Availability at Scale ECOOP Invited Speakers Wolfram Schulte Microsoft Media Attached | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:10 | |||
15:30 1h40mTalk | Kotlin: the ins and outs of designing a commercial language ECOOP Summer School Andrey Breslav JetBrains Pre-print | ||
Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building Chair(s): Eric Jul University of Oslo | ||
09:00 60mTalk | Composing Software in an Age of Dissonance ECOOP Invited Speakers Gilad Bracha Google Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:10 | |||
10:30 1h40mTalk | What You Need to Know about Performance Evaluation ECOOP Summer School Jan Vitek Northeastern University Pre-print | ||
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering | ||
13:40 - 15:20 | |||
13:40 1h40mTalk | Declarative Language Definition ECOOP Summer School Eelco Visser Delft University of Technology Media Attached File Attached | ||
15:20 - 15:50 | |||
15:20 30mCoffee break | Break Catering | ||
15:50 - 17:30 | Calculi and SemanticsECOOP Research Papers at Auditorium, Vertex Building Chair(s): Colin Gordon Drexel University | ||
15:50 25mTalk | Modelling homogeneous generative meta-programming ECOOP Research Papers Link to publication Media Attached | ||
16:15 25mTalk | Mixing Metaphors: Actors as Channels and Channels as Actors ECOOP Research Papers Simon Fowler The University of Edinburgh, Sam Lindley University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK Link to publication Pre-print Media Attached | ||
16:40 25mTalk | μPuppet: A Declarative Subset of the Puppet Configuration Language ECOOP Research Papers Weili Fu University of Edinburgh, Roly Perera University of Edinburgh, UK / University of Glasgow, UK, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK Link to publication Media Attached | ||
17:05 25mTalk | Strong Normalization for Dependent Object Types (DOT) ECOOP Research Papers Link to publication Media Attached | ||
15:50 - 17:30 | |||
15:50 1h40mTalk | Declarative Language Definition ECOOP Summer School Eelco Visser Delft University of Technology Media Attached File Attached | ||
Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building Chair(s): Eric Jul University of Oslo | ||
09:00 60mTalk | Retargeting Gradual Typing ECOOP Invited Speakers Ross Tate Cornell University Media Attached | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:10 | Types and EffectsECOOP Research Papers at Auditorium, Vertex Building Chair(s): Philipp Haller KTH Royal Institute of Technology | ||
10:30 25mTalk | Relaxed Linear References for Lock-free Programming ECOOP Research Papers Link to publication Media Attached | ||
10:55 25mTalk | A Generic Approach to Flow-Sensitive Polymorphic Effects ECOOP Research Papers Colin Gordon Drexel University Link to publication Pre-print Media Attached | ||
11:20 25mTalk | A Co-contextual Type Checker for Featherweight Java ECOOP Research Papers Edlira Kuci TU Darmstadt, Germany, Sebastian Erdweg TU Delft, Oliver Bračevac TU Darmstadt, Andi Bejleri TU Darmstadt, Germany, Mira Mezini TU Darmstadt Link to publication Media Attached | ||
11:45 25mTalk | A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP Research Papers Alceste Scalas Imperial College London, Ornela Dardha University of Glasgow, Raymond Hu Imperial College London, Nobuko Yoshida Imperial College London Link to publication Media Attached | ||
10:30 - 12:10 | |||
10:30 1h40mTalk | Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication | ||
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering | ||
13:40 - 15:20 | Language and Library DesignECOOP Research Papers at Auditorium, Vertex Building Chair(s): Sophia Drossopoulou Imperial College London | ||
13:40 25mTalk | IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition ECOOP Research Papers Link to publication DOI Media Attached | ||
14:05 25mTalk | Mixed Messages: Measuring Conformance and Non-Interference in TypeScript ECOOP Research Papers Jack Williams University of Edinburgh, J. Garrett Morris University of Edinburgh, UK, Philip Wadler University of Edinburgh, UK, Jakub Zalewski Link to publication Media Attached | ||
14:30 25mTalk | EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse ECOOP Research Papers Link to publication Media Attached | ||
14:55 25mTalk | Data exploration through dot-driven development ECOOP Research Papers Tomas Petricek Alan Turing Institute Link to publication Media Attached | ||
13:40 - 15:20 | |||
13:40 1h40mTalk | Engineering a Real-World Garbage Collector ECOOP Summer School Filip Pizlo Apple Link to publication | ||
15:20 - 15:50 | |||
15:20 30mCoffee break | Break Catering | ||
15:50 - 17:05 | |||
15:50 25mTalk | Type Abstraction for Relaxed Noninterference ECOOP Research Papers Raimil Cruz University of Chile, Tamara Rezk Inria, Bernard Serpette Inria, Éric Tanter University of Chile Link to publication Media Attached | ||
16:15 25mTalk | EvilPickles: DoS attacks based on Object-Graph Engineering ECOOP Research Papers Jens Dietrich Massey University, Kamil Jezek University of West Bohemia, Pilsen, CZ, Shawn Rasheed Massey University, Amjed Tahir Massey University, Alex Potanin Victoria University of Wellington Link to publication Pre-print Media Attached | ||
16:40 25mTalk | A Capability-Based Module System for Authority Control ECOOP Research Papers Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University Link to publication | ||
15:50 - 17:05 | |||
15:50 75mTalk | What You Need to Know about Performance Evaluation ECOOP Summer School Jan Vitek Northeastern University Pre-print | ||