Matterhorn 1 - Onward! 2016

VenueMövenpick Hotel Amsterdam City Centre

Room nameMatterhorn 1

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

08:30 - 10:00	First SessionParsing@SLE at Matterhorn 1

08:30 15m Day opening		Opening Parsing@SLE
08:45 25m Talk		Disambiguation for SDF3 with Deep Priority Conflicts Parsing@SLE Timothée Haudebourg ENS Rennes, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands File Attached
09:10 25m Talk		Multiple input GLL parsing Parsing@SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London File Attached
09:35 25m Demonstration		Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern Parsing@SLE Jonathan Aldrich Carnegie Mellon University

10:30 - 12:10	Second SessionParsing@SLE at Matterhorn 1

10:30 25m Talk		MADFAct—Constructing Dictionaries Parsing@SLE Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR
10:55 25m Talk		There’s more than one way to skin a cat Parsing@SLE Nate Nystrom University of Lugano File Attached
11:20 25m Talk		Knowledge-Based Support for Domain Specific Language Generation Parsing@SLE Frank Coyle SMU File Attached
11:45 25m Demonstration		Parsing in K-Framework Parsing@SLE Radu Mereuta Faculty of Computer Science, UAIC, Iasi, Romania File Attached

13:30 - 15:10	Third SessionParsing@SLE at Matterhorn 1

13:30 25m Talk		Context-Sensitive Parsing Through Stateful Parsing Parsing@SLE Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
13:55 25m Talk		Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages Parsing@SLE Friedrich Steimann Fernuniversität
14:20 25m Talk		Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions Parsing@SLE Brian Malloy Clemson University, James Power Maynooth University
14:45 25m Demonstration		Composition of independent language extensions to C Parsing@SLE Ted Kaminski University of Minnesota, Lucas Kramer University of Minnesota, Eric Van Wyk University of Minnesota

15:40 - 17:20	Fourth SessionParsing@SLE at Matterhorn 1

15:40 25m Talk		Generalised Parsing and Combinator Parsing: a Happy Marriage? Parsing@SLE L. Thomas van Binsbergen Royal Holloway University of London File Attached
16:05 25m Talk		Good enough for you? Explaining ourselves through standard challenges Parsing@SLE Adrian Johnstone Royal Holloway University of London, Elizabeth Scott Royal Holloway University of London File Attached
16:30 50m Other		Discussion and closing Parsing@SLE

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

10:30 - 12:10	Opening and KeynoteDSLDI at Matterhorn 1

10:30 1h40m Talk		Small, simple and smelly: What we can learn from examining end-user artifacts? DSLDI Felienne Hermans Delft University of Technology Media Attached

13:30 - 15:10	Session 1DSLDI at Matterhorn 1

13:30 25m Talk		The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions DSLDI Vadim Zaytsev Raincode, Belgium File Attached
13:55 25m Talk		Naturally Embedded DSLs DSLDI Jonathan Aldrich Carnegie Mellon University, Alex Potanin Victoria University of Wellington
14:20 25m Talk		Towards explanation-oriented introductory programming DSLDI Julian Jabs University of Tübingen
14:45 25m Talk		DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation DSLDI Robert Aish Bartlett School of Architecture, UCL, Emmanuel Mendoza ARM, Ltd

15:40 - 17:20	Session 2DSLDI at Matterhorn 1

15:40 25m Talk		Collaborative Design, Implementation and Use of Domain-Specific Languages DSLDI Juha-Pekka Tolvanen MetaCase, Finland
16:05 25m Talk		Program Generation for Linear Algebra Using Multiple Layers of DSLs DSLDI Daniele G. Spampinato ETH Zurich, Diego Fabregat-Traver RWTH Aachen, Markus Püschel ETH Zurich, Paolo Bientinesi
16:30 25m Talk		The Matrix Chain Algorithm to Compile Linear Algebra Expressions DSLDI Henrik Barthels RWTH Aachen, Paolo Bientinesi
16:55 25m Talk		The Definition and Anatomy of Model Driven Engineering and Domain Specific Languages DSLDI Bruce Trask MDE Systems Inc.

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

08:30 - 10:00	Session 1DLS at Matterhorn 1

08:30 90m Talk		DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8Keynote DLS I: Ross McIlroy Google

10:30 - 12:10	Session 2DLS at Matterhorn 1 Chair(s): Gilad Bracha Google

10:30 25m Talk		Type Unsoundness in Practice: An Empirical Study of Dart DLS Gianluca Mezzetti Aarhus University, Denmark, Anders Møller Aarhus University, Denmark, Fabio Strocco Aarhus University, Denmark DOI
10:55 25m Talk		Type Safety Analysis for Dart DLS Thomas S. Heinze Aarhus University, Denmark, Anders Møller Aarhus University, Denmark, Fabio Strocco Aarhus University, Denmark DOI
11:20 25m Talk		Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain DLS Changhee Park KAIST, South Korea, Hyeonseung Im Kangwon National University, South Korea, Sukyoung Ryu KAIST, South Korea DOI
11:45 25m Talk		Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism DLS Mattias De Wael Vrije Universiteit Brussel, Belgium, Janwillem Swalens Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium DOI Pre-print File Attached

13:30 - 15:10	Session 3DLS at Matterhorn 1 Chair(s): Laurence Tratt King's College London

13:30 25m Talk		Parallel Virtual Machines with RPython DLS Remigius Meier ETH Zurich, Switzerland, Armin Rigo PyPy.org, Switzerland, Thomas Gross ETH Zurich DOI
13:55 25m Talk		Building Efficient and Highly Run-Time Adaptable Virtual Machines DLS Guido Chari University of Buenos Aires, Argentina, Diego Garbervetsky University of Buenos Aires, Argentina, Stefan Marr Johannes Kepler University Linz DOI Pre-print
14:20 25m Talk		Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript DLS Vincent Foley-Bourgon McGill University, Canada, Laurie Hendren McGill University, Canada DOI
14:45 25m Talk		Optimizing R Language Execution via Aggressive Speculation DLS Lukas Stadler Oracle Labs, Austria, Adam Welc Oracle Labs, USA, Christian Humer Oracle Labs, Switzerland, Mick Jordan Oracle Labs, USA DOI

15:40 - 17:20	Session 4DLS at Matterhorn 1 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

15:40 25m Talk		A Small Embedding of Logic Programming with a Simple Complete Search DLS Jason Hemann Indiana University, USA, Daniel P. Friedman Indiana University, USA, William E. Byrd University of Utah, USA, Matthew Might University of Utah, USA DOI
16:05 25m Talk		Modular Semantic Actions DLS Alessandro Warth Y Combinator Research, USA, Patrick Dubroy Y Combinator Research, USA, Tony Garnock-Jones Northeastern University, USA DOI Pre-print
16:30 25m Talk		Cross-Language Compiler Benchmarking: Are We Fast Yet? DLS Stefan Marr Johannes Kepler University Linz, Benoit Daloze JKU Linz, Austria, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print

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

10:30 - 12:10	Optimization and PerformanceSPLASH OOPSLA at Matterhorn 1 Chair(s): Jan Vitek Northeastern University

10:30 25m Talk		A Compiler for Throughput Optimization of Graph Algorithms on GPUs SPLASH OOPSLA Sreepathi Pai University of Texas at Austin, USA, Keshav Pingali University of Texas at Austin, USA DOI Pre-print
10:55 25m Talk		Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis SPLASH OOPSLA Rishi Surendran Rice University, USA, Vivek Sarkar Rice University, USA DOI
11:20 25m Talk		Portable Inter-workgroup Barrier Synchronisation for GPUs SPLASH OOPSLA Tyler Sorensen Imperial College London, Alastair F. Donaldson Imperial College London, Mark Batty University of Kent, Ganesh Gopalakrishnan University of Utah, Zvonimir Rakamaric University of Utah DOI Pre-print
11:45 25m Talk		Parallel Incremental Whole-Program Optimizations for Scala.js SPLASH OOPSLA Sébastien Doeraene EPFL, Switzerland, Tobias Schlatter EPFL, Switzerland DOI Pre-print

13:30 - 15:10	Language Design and Programming Models ISPLASH OOPSLA at Matterhorn 1 Chair(s): Roberto Ierusalimschy PUC-Rio

13:30 25m Talk		Extensible Access Control with Authorization Contracts SPLASH OOPSLA Scott Moore Harvard University, Christos Dimoulas Harvard University, Robert Bruce Findler Northwestern University, Matthew Flatt University of Utah, Stephen Chong Harvard University DOI
13:55 25m Talk		Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect SPLASH OOPSLA Leo Osvald , Gregory Essertel , Xilun Wu Purdue University, Lilliam I Gonzalez Alayon Purdue University, Tiark Rompf Purdue University, USA DOI
14:20 25m Talk		Incremental Forest: A DSL for Efficiently Managing Filestores SPLASH OOPSLA Jonathan DiLorenzo Cornell University, Richard Zhang University of Pennsylvania, Erin Menzies , Kathleen Fisher Tufts University, Nate Foster Cornell University DOI
14:45 25m Talk		LaCasa: Lightweight Affinity and Object Capabilities in Scala SPLASH OOPSLA Philipp Haller KTH Royal Institute of Technology, Alex Loiko Google Stockholm, Sweden DOI Pre-print

15:40 - 17:20	Static AnalysisSPLASH OOPSLA at Matterhorn 1 Chair(s): Sam Guyer Tufts University

15:40 25m Talk		Accelerating Program Analyses by Cross-Program Training SPLASH OOPSLA Sulekha Kulkarni Georgia Tech, Ravi Mangal Georgia Institute of Technology, Xin Zhang Georgia Tech, Mayur Naik Georgia Tech DOI
16:05 25m Talk		An Improved Algorithm for Slicing Machine Code SPLASH OOPSLA Venkatesh Srinivasan University of Wisconsin - Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. DOI Pre-print
16:30 25m Talk		Call Graphs for Languages with Parametric Polymorphism SPLASH OOPSLA Dmytro Petrashko EPFL, Vlad Ureche EPFL, Switzerland, Ondřej Lhoták University of Waterloo, Martin Odersky EPFL, Switzerland DOI
16:55 25m Talk		Type Inference for Static Compilation of JavaScript SPLASH OOPSLA Satish Chandra Samsung Research America, Colin Gordon Drexel University, Jean-Baptiste Jeannin Carnegie Mellon University , Cole Schlesinger Samsung Research America, Manu Sridharan Samsung Research America, Frank Tip Samsung Research America, Young-il Choi Samsung Electronics DOI Pre-print

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

10:30 - 12:10	Concurrency Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1 Chair(s): Thomas Gross ETH Zurich

10:30 25m Talk		Directed Synthesis of Failing Concurrent Executions SPLASH OOPSLA Malavika Samak Indian Institute of Science, Bangalore, Omer Tripp IBM Research, USA, Murali Krishna Ramanathan Indian Institute of Science, Bangalore DOI Media Attached
10:55 25m Talk		Maximal Causality Reduction for TSO and PSO SPLASH OOPSLA Shiyou Huang Texas A&M University, Jeff Huang Texas A&M University DOI
11:20 25m Talk		Stateless Model Checking with Data-Race Preemption Points SPLASH OOPSLA Ben Blum Carnegie Mellon University, Garth Gibson Carnegie Mellon University DOI Pre-print Media Attached
11:45 25m Talk		Precise and Maximal Race Detection from Incomplete Traces SPLASH OOPSLA Jeff Huang Texas A&M University, Arun Krishnakumar Rajagopalan Texas A&M University DOI Media Attached

13:30 - 15:10	Runtime SupportSPLASH OOPSLA at Matterhorn 1 Chair(s): Laurence Tratt King's College London

13:30 25m Talk		Efficient and Thread-Safe Objects for Dynamically-Typed Languages SPLASH OOPSLA Benoit Daloze JKU Linz, Austria, Stefan Marr Johannes Kepler University Linz, Daniele Bonetta Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print Media Attached
13:55 25m Talk		Hybrid STM/HTM for Nested Transactions on OpenJDK SPLASH OOPSLA Keith Chapman Purdue University, Tony Hosking Australian National University, Data61, and Purdue University, Eliot Moss University of Massachusetts Amherst Link to publication DOI Pre-print Media Attached
14:20 25m Talk		Makalu: Fast Recoverable Allocation of Non-volatile Memory SPLASH OOPSLA Kumud Bhandari Rice University, USA, Dhruva Chakrabarti , Hans-J. Boehm Google DOI Pre-print Media Attached
14:45 25m Talk		Prioritized Garbage Collection: Explicit GC Support for Software Caches SPLASH OOPSLA Diogenes Nunez Tufts University, Sam Guyer Tufts University, Emery D. Berger University of Massachusetts, Amherst DOI Pre-print Media Attached

15:40 - 17:20	Program Modeling and LearningSPLASH OOPSLA at Matterhorn 1 Chair(s): Ondřej Lhoták University of Waterloo

15:40 25m Talk		Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars SPLASH OOPSLA Friedrich Steimann Fernuniversität, Jörg Hagemann Fernuniversität in Hagen, Bastian Ulke Fernuniversität in Hagen DOI Media Attached
16:05 25m Talk		Probabilistic Model for Code with Decision Trees SPLASH OOPSLA Veselin Raychev ETH Zurich, Switzerland, Pavol Bielik , Martin Vechev ETH Zurich DOI
16:30 25m Talk		Ringer: Web Automation by Demonstration SPLASH OOPSLA Shaon Barman UC Berkeley, Sarah E. Chasins University of California, Berkeley, Rastislav Bodík University of Washington, USA, Sumit Gulwani Microsoft Research DOI Media Attached
16:55 25m Talk		Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver SPLASH OOPSLA Konstantin Weitz University of Washington, Doug Woos University of Washington, Emina Torlak University of Washington, Michael D. Ernst University of Washington, Arvind Krishnamurthy University of Washington, Zachary Tatlock University of Washington, Seattle DOI Media Attached

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

10:30 - 12:10	Typing, in PracticeSPLASH OOPSLA at Matterhorn 1 Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands

10:30 25m Talk		A Practical Framework for Type Inference Error Explanation SPLASH OOPSLA Calvin Loncaric University of Washington, Satish Chandra Samsung Research America, Manu Sridharan Samsung Research America, Cole Schlesinger Samsung Research America DOI Pre-print Media Attached
10:55 25m Talk		Dynamically Diagnosing Type Errors in Unsafe Code SPLASH OOPSLA Stephen Kell University of Cambridge DOI Media Attached
11:20 25m Talk		First-Class Effect Reflection for Effect-Guided Programming SPLASH OOPSLA Yuheng Long Iowa State University, Yu David Liu , Hridesh Rajan Iowa State University, USA DOI
11:45 25m Talk		Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers SPLASH OOPSLA Nada Amin EPFL, Ross Tate Cornell University Link to publication DOI Pre-print

13:30 - 15:10	Bug Detection Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1 Chair(s): Ben Livshits Microsoft Research

13:30 25m Talk		Finding Compiler Bugs via Live Code Mutation SPLASH OOPSLA Chengnian Sun University of California, Davis, Vu Le Microsoft, Zhendong Su University of California, Davis DOI Media Attached
13:55 25m Talk		Finding Resume and Restart Errors in Android Applications SPLASH OOPSLA Zhiyong Shan University of Central Missouri, USA, Tanzirul Azim University of California at Riverside, USA, Iulian Neamtiu New Jersey Institute of Technology, USA DOI Pre-print
14:20 25m Talk		Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement SPLASH OOPSLA Zhiqiang Zuo University of California, Irvine, Lu Fang University of California, Irvine, Siau-Cheng Khoo , Harry Xu University of California, Irvine, Shan Lu University of Chicago DOI Media Attached
14:45 25m Talk		To Be Precise: Regression Aware Debugging SPLASH OOPSLA Rohan Bavishi IIT Kanpur, India, Awanish Pandey IIT Kanpur, India, Subhajit Roy IIT Kanpur, India DOI

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Matterhorn 1							Parsing@SLE First Session																								Parsing@SLE Second Session																																				Parsing@SLE Third Session																										Parsing@SLE Fourth Session

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Matterhorn 1							DSLDI Opening and Keynote																																				DSLDI Session 1																										DSLDI Session 2

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Matterhorn 1							DLS Session 1																								DLS Session 2																																				DLS Session 3																										DLS Session 4

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Matterhorn 1							SPLASH OOPSLA Optimization and Performance																																				SPLASH OOPSLA Language Design and Programming Models I																										SPLASH OOPSLA Static Analysis

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Matterhorn 1							SPLASH OOPSLA Concurrency Analysis and Model Checking																																				SPLASH OOPSLA Runtime Support																										SPLASH OOPSLA Program Modeling and Learning

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Matterhorn 1							SPLASH OOPSLA Typing, in Practice																																				SPLASH OOPSLA Bug Detection Analysis and Model Checking

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Matterhorn 1							Parsing@SLE Opening 08:30 - 08:45			Parsing@SLE Disambiguation for SDF3 with Deep Priority Conflicts 08:45 - 09:10					Parsing@SLE Multiple input GLL parsing 09:10 - 09:35					Parsing@SLE Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern 09:35 - 10:00											Parsing@SLE MADFAct—Constructing Dictionaries 10:30 - 10:55					Parsing@SLE There’s more than one way to skin a cat 10:55 - 11:20					Parsing@SLE Knowledge-Based Support for Domain Specific Language Generation 11:20 - 11:45					Parsing@SLE Parsing in K-Framework 11:45 - 12:10																					Parsing@SLE Context-Sensitive Parsing Through Stateful Parsing 13:30 - 13:55					Parsing@SLE Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency ... 13:55 - 14:20					Parsing@SLE Deriving Grammar Transformations for Developing and Maintaining Multipl ... 14:20 - 14:45					Parsing@SLE Composition of independent language extensions to C 14:45 - 15:10											Parsing@SLE Generalised Parsing and Combinator Parsing: a Happy Marriage? 15:40 - 16:05					Parsing@SLE Good enough for you? Explaining ourselves through standard challenges 16:05 - 16:30					Parsing@SLE Discussion and closing 16:30 - 17:20

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Matterhorn 1							DSLDI Small, simple and smelly: What we can learn from examining end-user art ... 10:30 - 12:10																																				DSLDI The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions 13:30 - 13:55					DSLDI Naturally Embedded DSLs 13:55 - 14:20					DSLDI Towards explanation-oriented introductory programming 14:20 - 14:45					DSLDI DesignScript: a scalable multi-paradigm domain-specific end-user langua ... 14:45 - 15:10											DSLDI Collaborative Design, Implementation and Use of Domain-Specific Languages 15:40 - 16:05					DSLDI Program Generation for Linear Algebra Using Multiple Layers of DSLs 16:05 - 16:30					DSLDI The Matrix Chain Algorithm to Compile Linear Algebra Expressions 16:30 - 16:55					DSLDI The Definition and Anatomy of Model Driven Engineering and Domain Speci ... 16:55 - 17:20

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Matterhorn 1							DLSKeynote DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8 08:30 - 10:00																								DLS Type Unsoundness in Practice: An Empirical Study of Dart 10:30 - 10:55					DLS Type Safety Analysis for Dart 10:55 - 11:20					DLS Precise and Scalable Static Analysis of jQuery using a Regular Expressi ... 11:20 - 11:45					DLS Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance M ... 11:45 - 12:10																					DLS Parallel Virtual Machines with RPython 13:30 - 13:55					DLS Building Efficient and Highly Run-Time Adaptable Virtual Machines 13:55 - 14:20					DLS Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaS ... 14:20 - 14:45					DLS Optimizing R Language Execution via Aggressive Speculation 14:45 - 15:10											DLS A Small Embedding of Logic Programming with a Simple Complete Search 15:40 - 16:05					DLS Modular Semantic Actions 16:05 - 16:30					DLS Cross-Language Compiler Benchmarking: Are We Fast Yet? 16:30 - 16:55

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Matterhorn 1							SPLASH OOPSLA A Compiler for Throughput Optimization of Graph Algorithms on GPUs 10:30 - 10:55					SPLASH OOPSLA Automatic Parallelization of Pure Method Calls via Conditional Future S ... 10:55 - 11:20					SPLASH OOPSLA Portable Inter-workgroup Barrier Synchronisation for GPUs 11:20 - 11:45					SPLASH OOPSLA Parallel Incremental Whole-Program Optimizations for Scala.js 11:45 - 12:10																					SPLASH OOPSLA Extensible Access Control with Authorization Contracts 13:30 - 13:55					SPLASH OOPSLA Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (C ... 13:55 - 14:20					SPLASH OOPSLA Incremental Forest: A DSL for Efficiently Managing Filestores 14:20 - 14:45					SPLASH OOPSLA LaCasa: Lightweight Affinity and Object Capabilities in Scala 14:45 - 15:10											SPLASH OOPSLA Accelerating Program Analyses by Cross-Program Training 15:40 - 16:05					SPLASH OOPSLA An Improved Algorithm for Slicing Machine Code 16:05 - 16:30					SPLASH OOPSLA Call Graphs for Languages with Parametric Polymorphism 16:30 - 16:55					SPLASH OOPSLA Type Inference for Static Compilation of JavaScript 16:55 - 17:20

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Matterhorn 1							SPLASH OOPSLA Directed Synthesis of Failing Concurrent Executions 10:30 - 10:55					SPLASH OOPSLA Maximal Causality Reduction for TSO and PSO 10:55 - 11:20					SPLASH OOPSLA Stateless Model Checking with Data-Race Preemption Points 11:20 - 11:45					SPLASH OOPSLA Precise and Maximal Race Detection from Incomplete Traces 11:45 - 12:10																					SPLASH OOPSLA Efficient and Thread-Safe Objects for Dynamically-Typed Languages 13:30 - 13:55					SPLASH OOPSLA Hybrid STM/HTM for Nested Transactions on OpenJDK 13:55 - 14:20					SPLASH OOPSLA Makalu: Fast Recoverable Allocation of Non-volatile Memory 14:20 - 14:45					SPLASH OOPSLA Prioritized Garbage Collection: Explicit GC Support for Software Caches 14:45 - 15:10											SPLASH OOPSLA Computing Repair Alternatives for Malformed Programs using Constraint A ... 15:40 - 16:05					SPLASH OOPSLA Probabilistic Model for Code with Decision Trees 16:05 - 16:30					SPLASH OOPSLA Ringer: Web Automation by Demonstration 16:30 - 16:55					SPLASH OOPSLA Scalable Verification of Border Gateway Protocol Configurations with an ... 16:55 - 17:20

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Matterhorn 1							SPLASH OOPSLA A Practical Framework for Type Inference Error Explanation 10:30 - 10:55					SPLASH OOPSLA Dynamically Diagnosing Type Errors in Unsafe Code 10:55 - 11:20					SPLASH OOPSLA First-Class Effect Reflection for Effect-Guided Programming 11:20 - 11:45					SPLASH OOPSLA Java and Scala's Type Systems are Unsound: The Existential Crisis of Nu ... 11:45 - 12:10																					SPLASH OOPSLA Finding Compiler Bugs via Live Code Mutation 13:30 - 13:55					SPLASH OOPSLA Finding Resume and Restart Errors in Android Applications 13:55 - 14:20					SPLASH OOPSLA Low-Overhead and Fully Automated Statistical Debugging with Abstraction ... 14:20 - 14:45					SPLASH OOPSLA To Be Precise: Regression Aware Debugging 14:45 - 15:10

Room information: Matterhorn 1

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

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

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

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

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

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

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

Parsing@SLE

Parsing@SLE

Parsing@SLE

Parsing@SLE

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

DSLDI

DSLDI

DSLDI

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

DLS

DLS

DLS

DLS

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

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

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

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

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

SPLASH OOPSLA

SPLASH OOPSLA

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

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

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

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

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

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

Tracks

Room information: Matterhorn 1

Program Display Configuration

Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Parsing@SLE

Parsing@SLE

Parsing@SLE

Parsing@SLE

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

DSLDI

DSLDI

DSLDI

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

DLS

DLS

DLS

DLS

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SPLASH OOPSLA

SPLASH OOPSLA

Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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