SPLASH 2016 (series) /
SPLASH 2016 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 30 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 30 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Session 1 - Opening + KeynoteFOSD at Berlin Chair(s): Christoph Seidl Technische Universität Braunschweig, Leopoldo Teixeira Federal University of Pernambuco | ||
08:30 10mDay opening | Workshop Opening FOSD Christoph Seidl Technische Universität Braunschweig, Leopoldo Teixeira Federal University of Pernambuco | ||
08:40 80mTalk | Keynote: Perspectives of Projection-Based Variation Control Systems FOSD Thorsten Berger Chalmers University of Technology, Sweden | ||
08:30 - 10:00 | |||
08:25 5mDay opening | Welcome AGERE | ||
08:30 30mTalk | 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties AGERE Joeri De Koster Vrije Universiteit Brussel, Belgium, Tom Van Cutsem Nokia Bell Labs, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium DOI File Attached | ||
09:00 30mTalk | Pluggable Scheduling for the Reactor Programming Model AGERE Aleksandar Prokopec Oracle Labs, Switzerland DOI | ||
09:30 30mTalk | An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development AGERE DOI File Attached | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Opening Parsing@SLE | ||
08:45 25mTalk | 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 25mTalk | Multiple input GLL parsing Parsing@SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London File Attached | ||
09:35 25mDemonstration | Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern Parsing@SLE Jonathan Aldrich Carnegie Mellon University | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 1 Scala | ||
09:00 60mTalk | Fine-grained language composition without a common VMKeynote Scala Laurence Tratt King's College London Media Attached | ||
08:30 - 10:00 | Model Checking and TransformationMETA at Matterhorn 3 Chair(s): Ralf Laemmel University of Koblenz-Landau, Germany | ||
08:30 30mTalk | Evolution of Metaprograms: XSLT as a Metaprogramming Language META Vadim Zaytsev Raincode, Belgium Media Attached File Attached | ||
09:00 30mTalk | Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software META Harumi Watanabe Tokai University, Ikuta Tanigawa Kyusyu University, Nobuhiko Ogura Tokyo City University, Midori Sugaya Shibaura Institute of Technology, Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University File Attached | ||
09:30 30mTalk | Implementation of LMNtal Model Checkers: a Metaprogramming Approach META Yutaro Tsunekawa Waseda University, Taichi Tomioka Waseda University, Kazunori Ueda Waseda University Media Attached File Attached | ||
10:30 - 12:10 | |||
10:30 30mTalk | Implementing Delta-Oriented SPLs using PEoPL: An Example Scenario and Case Study FOSD Benjamin Behringer University of Luxembourg, Germany, Moritz Fey Saarland University of Applied Sciences, Germany DOI | ||
11:05 30mTalk | Higher-Order Delta Modeling for Software Product Line Evolution FOSD Sascha Lity Technische Universität Braunschweig, Matthias Kowal TU Braunschweig, Germany, Ina Schaefer TU Braunschweig, Germany DOI | ||
11:40 30mTalk | Name Resolution Strategies in Variability Realization Languages for Software Product Lines FOSD Sven Schuster TU Braunschweig, Germany, Michael Nieke TU Braunschweig, Germany, Ina Schaefer TU Braunschweig, Germany DOI | ||
10:30 - 12:10 | |||
10:30 30mTalk | Interaction Protocols in the JADEL Programming Language AGERE Federico Bergenti University of Parma, Italy, Eleonora Iotti University of Parma, Italy, Stefania Monica University of Parma, Italy, Agostino Poggi University of Parma, Italy DOI File Attached | ||
11:00 30mTalk | Atomic RMI 2: Distributed Transactions for Java AGERE Paweł T. Wojciechowski Poznań University of Technology, Poland, Konrad Siek Poznań University of Technology, Poland DOI | ||
11:30 30mTalk | Conflicting Goals in Agent-Oriented Programming AGERE Maicon Rafael Zatelli Federal University of Santa Catarina, Brazil, Jomi Fred Hübner Federal University of Santa Catarina, Brazil, Alessandro Ricci University of Bologna, Italy, Rafael H. Bordini PUCRS, Brazil DOI File Attached | ||
12:00 30mTalk | Many Spiders Make a Better Web: A Unified Web-Based Actor Framework AGERE Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium Link to publication DOI | ||
10:30 - 12:10 | |||
10:30 25mTalk | 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 25mTalk | There’s more than one way to skin a cat Parsing@SLE Nate Nystrom University of Lugano File Attached | ||
11:20 25mTalk | Knowledge-Based Support for Domain Specific Language Generation Parsing@SLE Frank Coyle SMU File Attached | ||
11:45 25mDemonstration | Parsing in K-Framework Parsing@SLE Radu Mereuta Faculty of Computer Science, UAIC, Iasi, Romania File Attached | ||
10:30 - 12:10 | |||
10:30 25mTalk | Implementing Higher-Kinded Types in Dotty Scala Martin Odersky EPFL, Switzerland, Guillaume Martres EPFL, Switzerland, Dmitry Petrashko EPFL, Switzerland DOI Pre-print Media Attached | ||
10:55 25mTalk | Semantics-Driven Interoperability between Scala.js and JavaScript Scala Sébastien Doeraene EPFL, Switzerland, Tobias Schlatter EPFL, Switzerland, Nicolas Stucki EPFL, Switzerland DOI Pre-print | ||
11:20 25mTalk | A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) Scala Fengyun Liu EPFL, Switzerland DOI Media Attached | ||
11:45 25mTalk | Scaps: Type-Directed API Search for Scala Scala Lukas Wegmann 1plusX, Switzerland, Farhad Mehta University of Applied Sciences Rapperswil, Switzerland, Peter Sommerlad University of Applied Sciences Rapperswil, Switzerland, Mirko Stocker University of Applied Sciences Rapperswil, Switzerland DOI File Attached | ||
10:30 - 12:10 | |||
10:30 30mTalk | A model for Reflection in Rule-Based Languages META Simon Van de Water VUB, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium Media Attached File Attached | ||
11:00 30mTalk | Instance Migration in Dynamic Software Update META Pablo Tesone Inria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo Polito Inria, Luc Fabresse Mines Douai, Noury Bouraqadi Mines Douai, Stéphane Ducasse INRIA Lille Media Attached File Attached | ||
11:30 30mTalk | AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming META Chris Seaton Oracle Labs Pre-print Media Attached File Attached | ||
13:30 - 15:10 | |||
13:30 30mTalk | Formula Choice Calculus FOSD DOI | ||
14:05 30mTalk | Implicit Constraints in Partial Feature Models FOSD Sofia Ananieva FZI Research Center for Information Technology, Matthias Kowal TU Braunschweig, Germany, Thomas Thüm TU Braunschweig, Germany, Ina Schaefer TU Braunschweig, Germany DOI | ||
14:40 30mTalk | Towards Predicting Feature Defects in Software Product Lines FOSD Rodrigo Queiroz University of Waterloo, Canada, Thorsten Berger Chalmers University of Technology, Sweden, Krzysztof Czarnecki University of Waterloo, Canada DOI | ||
13:30 - 15:10 | |||
13:30 80mTalk | Panel on Industrial Use of Domain-Specific Modeling DSM | ||
14:50 20mOther | Group work topic selection DSM | ||
13:30 - 15:10 | |||
13:30 25mTalk | Context-Sensitive Parsing Through Stateful Parsing Parsing@SLE Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium | ||
13:55 25mTalk | Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages Parsing@SLE Friedrich Steimann Fernuniversität | ||
14:20 25mTalk | Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions Parsing@SLE | ||
14:45 25mDemonstration | 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 | ||
13:30 - 15:10 | |||
13:30 25mTalk | RandIR: Differential Testing for Embedded Compilers Scala Georg Ofenbeck ETH Zurich, Switzerland, Tiark Rompf Purdue University, USA, Markus Püschel ETH Zurich DOI File Attached | ||
13:55 25mTalk | Reflections on LMS: Exploring Front-End Alternatives Scala Tiark Rompf Purdue University, USA DOI | ||
14:20 25mTalk | SecureScala: Scala Embedding of Secure Computations Scala Markus Hauck codecentric AG, Savvas Savvides Purdue University, Patrick Eugster Purdue University, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt, Germany DOI Pre-print Media Attached | ||
14:45 25mTalk | Towards a Scala embedded information system description DSL Scala Zeljko Bajic , Milan Jovic Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad | ||
13:30 - 15:10 | |||
13:30 30mTalk | Declaratively Specifying Security Policies For Web Applications META Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel Media Attached File Attached | ||
14:00 30mTalk | Virtual Values for Taint and Information Flow Analysis META Prakasam Kannan San Jose State University, Thomas H. Austin , Mark Stamp San Jose State University, Tim Disney , Cormac Flanagan University of California, Santa Cruz Media Attached File Attached | ||
14:30 30mTalk | Capability Safe Reflection for the Wyvern Language META Media Attached File Attached | ||
15:40 - 17:20 | |||
15:40 30mTalk | Variability Mining of State Charts FOSD David Wille TU Braunschweig, Germany, Sandro Schulze TU Hamburg, Germany, Ina Schaefer TU Braunschweig, Germany DOI | ||
16:10 30mTalk | FeatureCoPP: Compositional Annotations FOSD Jacob Krüger Harz University of Applied Sciences, Germany, Ivonne Schröter University of Magdeburg, Germany, Andy Kenner METOP Magdeburg, Germany, Christopher Kruczek METOP Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany DOI | ||
16:40 10mTalk | Lightning Talk: Comparing Variability Mechanisms for Requirements and Test Artifacts in Behaviour-Driven Development FOSD Neil Mather ARC Technology Ltd. | ||
16:50 30mTalk | Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines FOSD Remo Lachmann Technische Universität Braunschweig, Sascha Lity Technische Universität Braunschweig, Mustafa Al-Hajjaji Magdeburg University, Franz E. Fürchtegott Technische Universität Braunschweig, Ina Schaefer TU Braunschweig, Germany DOI | ||
15:40 - 17:20 | Group work sessionDSM at Hamburg Chair(s): Matti Rossi Aalto University School of Business, Jonathan Sprinkle University of Arizona, Juha-Pekka Tolvanen MetaCase, Finland | ||
15:40 80mOther | Group work DSM | ||
17:00 20mTalk | Group work reporting and wrap-up DSM | ||
15:40 - 17:20 | |||
15:40 20mTalk | Programming Actor-based Collective Adaptive Systems AGERE File Attached | ||
16:00 20mTalk | Separating Communication Concerns in Concurrent Systems AGERE File Attached | ||
16:20 65mMeeting | DISCUSSION AGERE | ||
17:25 5mDay closing | Closing AGERE | ||
15:40 - 17:20 | |||
15:40 25mTalk | Generalised Parsing and Combinator Parsing: a Happy Marriage? Parsing@SLE L. Thomas van Binsbergen Royal Holloway University of London File Attached | ||
16:05 25mTalk | 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 50mOther | Discussion and closing Parsing@SLE | ||
15:40 - 17:20 | |||
15:40 25mTalk | Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” Scala Paolo G. Giarrusso University of Tübingen, Germany, Jonathan Immanuel Brachthäuser University of Tübingen, Germany | ||
16:05 25mTalk | A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Scala Tim van der Lippe Delft University of Technology, Netherlands, Thomas Smith Delft University of Technology, Netherlands, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands DOI File Attached | ||
16:30 50mOther | Unconference 1 Scala | ||
15:40 - 17:20 | Mirror-based ReflectionMETA at Matterhorn 3 Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel | ||
15:40 60mTalk | Reflection in Dart: A Cautionary Experience META | ||
16:40 40mTalk | ChromaKey: Towards Extensible Mirror Architectures META Pre-print Media Attached File Attached | ||
Mon 31 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 31 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 5mDay opening | Opening Mobile! | ||
08:35 30mTalk | Keynote: "Beyond native apps: Web technologies to the rescue!" Mobile! Ivano Malavolta Vrije Universiteit Amsterdam Media Attached | ||
09:05 30mTalk | Google Authentication Risks on iOS Mobile! Will Dormann CERT/CC, USA DOI | ||
09:35 25mTalk | Managing Persistent Heap in NVRAM Mobile! Kumud Bhandari Rice University, USA DOI | ||
08:30 - 10:00 | Introductions and InheritanceNOOL at Luzern Chair(s): Roly Perera University of {Glasgow, Edinburgh} | ||
08:30 30mDay opening | Welcome NOOL | ||
09:00 60mTalk | The Essence of Inheritance NOOL Andrew Black Portland State University Link to publication Pre-print | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 2 Scala | ||
09:00 60mTalk | This is not a Type: Gradual typing in practiceKeynote Scala Jan Vitek Northeastern University | ||
08:30 - 10:00 | Session 1VMIL at St Gallen Chair(s): Tony Hosking Australian National University, Data61, and Purdue University | ||
08:30 10mDay opening | Opening Remarks VMIL Tony Hosking Australian National University, Data61, and Purdue University | ||
08:40 55mTalk | Keynote: The good, the good enough, and some things we wish we had done differently: runtime design lessons from a production JVM VMIL Link to publication Media Attached | ||
09:35 25mTalk | Extending OpenJDK To Support Hybrid STM/HTM VMIL Keith Chapman Purdue University, Tony Hosking Australian National University, Data61, and Purdue University, Eliot Moss University of Massachusetts Amherst DOI Pre-print Media Attached | ||
08:30 - 10:00 | |||
08:30 - 10:00 | |||
08:30 90mTalk | GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!Keynote GPCE | ||
10:30 - 12:10 | Session 1: ALIGNED, The Metadata Catalogue and BoosterSA-MDE at Basel Chair(s): Jeremy Gibbons University of Oxford, UK | ||
10:30 25mDay opening | Welcome SA-MDE Jeremy Gibbons University of Oxford, UK | ||
10:55 25mTalk | The ALIGNED vision SA-MDE Christian Dirschl Wolters Kluwer, Germany | ||
11:20 25mTalk | Introducing the The Metadata Catalogue SA-MDE James Welch University of Oxford | ||
11:45 25mTalk | Booster: A Gentle Introduction SA-MDE Seyyed Shah University of Oxford | ||
10:30 - 12:10 | |||
10:30 59mTalk | Keynote: Lessons learned about language engineering from the development of mbeddr ITSLE Markus Völter itemis, Germany Media Attached | ||
11:30 9mBreak | Coffee break ITSLE | ||
11:40 30mTalk | Pattern Specification and Application in Metamodels in Ecore ITSLE Jia Zhang Altran, Mark van den Brand , Ana Maria Sutii Eindhoven University of Technology, Marc Hamilton Altran | ||
10:30 - 12:10 | |||
10:30 25mTalk | Persistent Contextual Values as Inter-process Layers Mobile! Markus Raab Vienna University of Technology, Austria Link to publication DOI Pre-print Media Attached | ||
10:55 25mTalk | Hacking with Multi-touch for Java (MT4j) Mobile! A: Craig Anslow Middlesex University, UK, A: Stuart Marshall Victoria University of Wellington, New Zealand, A: James Noble Victoria University of Wellington, New Zealand, A: Robert Biddle Carleton University, Canada DOI Pre-print File Attached | ||
11:20 25mTalk | Regression Aware Debugging for Mobile Applications Mobile! DOI Media Attached | ||
11:45 25mTalk | Data Collection Requirements for Mobile Connected Health: An End User Development Approach Mobile! DOI Pre-print Media Attached | ||
10:30 - 12:10 | |||
10:30 35mTalk | Polite Programmers, Use Spaces in Identifiers When Needed NOOL Pre-print | ||
11:05 35mTalk | Actors and Hot Objects NOOL Pre-print | ||
10:30 - 12:10 | |||
10:30 1h40mTalk | Small, simple and smelly: What we can learn from examining end-user artifacts? DSLDI Felienne Hermans Delft University of Technology Media Attached | ||
10:30 - 12:10 | Reactive, Concurrent, Distributed Computation | ParsingScala at Matterhorn 2 Chair(s): Sébastien Doeraene EPFL, Switzerland | ||
10:30 25mTalk | Practical Aggregate Programming in Scala Scala Roberto Casadei University of Bologna, Italy Media Attached | ||
10:55 25mTalk | DynaML: A Scala machine learning environment Scala Mandar Chandorkar Centrum Wiskunde & Informatica | ||
11:20 25mTalk | Scala-Gopher: CSP-style programming techniques with idiomatic Scala. Scala Ruslan Shevchenko vertamedia Media Attached | ||
11:45 25mTalk | Reactive Async: Expressive Deterministic Concurrency Scala Philipp Haller KTH Royal Institute of Technology, Simon Geries KTH Royal Institute of Technology, Sweden, Michael Eichberg TU Darmstadt, Germany, Guido Salvaneschi TU Darmstadt, Germany DOI Pre-print Media Attached | ||
10:30 - 12:10 | |||
10:30 50mTalk | SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computingKeynote SPLASH-I Simon Peyton Jones Microsoft Research, Cambridge Media Attached File Attached | ||
11:20 50mTalk | Snap!: Scheme Disguised as Scratch SPLASH-I Brian Harvey University of California, Berkeley Media Attached | ||
10:30 - 12:10 | Session 2VMIL at St Gallen Chair(s): Tony Hosking Australian National University, Data61, and Purdue University | ||
10:30 50mTalk | SPLASH-E Keynote (Room Matterhorn 3) VMIL Simon Peyton Jones Microsoft Research, Cambridge | ||
11:25 45mTalk | Invited Talk: Why aren't more users more happy with our VMs? VMIL Media Attached | ||
10:30 - 12:10 | 2. SPLASH-I talks (room Matterhorn 3!)SPLASH-E at Winterthur Chair(s): Matthias Hauswirth University of Lugano | ||
10:30 50mTalk | The dream of a lifetime: Shaping how our children learn computing SPLASH-E Simon Peyton Jones Microsoft Research, Cambridge Media Attached | ||
11:20 50mTalk | Snap!: Scheme Disguised as Scratch SPLASH-E Brian Harvey University of California, Berkeley | ||
10:30 - 12:10 | |||
10:30 30mTalk | Recaf: Java Dialects as Libraries GPCE Aggelos Biboudis University of Athens, Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen Pre-print Media Attached File Attached | ||
11:00 30mTalk | Classless Java GPCE Yanlin Wang University of Hong Kong, Haoyuan Zhang , Marco Servetto Victoria University of Wellington, Bruno C. d. S. Oliveira University of Hong Kong | ||
11:30 30mTalk | Extensible Modeling with Managed Data in Java GPCE Theologos Zacharopoulos Centrum Wiskunde & Informatica, Pablo Inostroza CWI, Tijs van der Storm CWI & University of Groningen | ||
10:30 - 12:10 | |||
10:30 10mDay opening | Opening SLE | ||
10:40 25mTalk | Parsing and Reflective Printing, Bidirectionally SLE Zirun Zhu National University SOKENDAI, Japan, Yongzhe Zhang National University SOKENDAI, Japan, Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Pedro Martins University of California at Irvine, USA, João Saraiva University of Minho, Portugal, Zhenjiang Hu National University SOKENDAI, Japan DOI | ||
11:05 25mTalk | Taming Context-Sensitive Languages with Principled Stateful Parsing SLE Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium DOI Pre-print | ||
11:30 15mTalk | MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo) SLE Juha-Pekka Tolvanen MetaCase, Finland DOI Pre-print Media Attached | ||
11:45 25mTalk | Efficient Development of Consistent Projectional Editors using Grammar Cells SLE Markus Völter itemis, Germany, Tamás Szabó itemis AG / TU Delft, Sascha Lisson itemis AG, Bernd Kolb itemis AG, Sebastian Erdweg Delft University of Technology, Netherlands, Thorsten Berger Chalmers University of Technology, Sweden DOI Pre-print Media Attached | ||
13:30 - 15:10 | |||
13:30 50mDemonstration | Metadata Catalogue: A Guided Tour SA-MDE | ||
14:20 50mDemonstration | Metadata Catalogue: Interactive Hands-On SA-MDE | ||
13:30 - 15:10 | Industrial DSLs and toolsITSLE at Geneva Chair(s): Yanja Dajsuren Eindhoven University of Technology, The Netherlands | ||
13:30 29mTalk | Invited talk: Model Driven Software Engineering (MDSE) in the large ITSLE | ||
14:00 29mTalk | Solving the Bank with Rebel ITSLE Jouke Stoel CWI, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Joost Bosman ING Bank | ||
14:30 29mTalk | Udapt: Edapt Extensions for Industrial Application ITSLE J.G.M. Mengerink Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology, R.R.H. Schiffelers ASML, Mark van den Brand Pre-print | ||
15:00 10mBreak | SPLASH break & networking ITSLE | ||
13:30 - 15:10 | |||
13:30 25mTalk | Generative Programming: from High-Performance to Safety-Critical Applications Mobile! Pre-print | ||
13:55 15mTalk | Scaling Android User Interfaces: A Case Study of Squid Mobile! David S. Janzen California Polytechnic State University, USA, Andrew Hughes Steadfast Innovation, USA, Anthony Lenz Steadfast Innovation, USA DOI Pre-print | ||
14:10 30mTalk | A Model-Based Method for Seamless Web and Mobile Experience Mobile! Marco Brambilla Politecnico di Milano, Italy, Andrea Mauri Politecnico di Milano, Italy, Mirco Franzago University of L'Aquila, Italy, Henry Muccini University of L'Aquila, Italy Link to publication DOI Pre-print Media Attached | ||
14:40 15mTalk | Mobile Application Test Case Generation Focusing on External Events Mobile! DOI | ||
14:55 15mTalk | GUI and Usage Model-Based Test Case Generation for Android Applications with Change Analysis Mobile! DOI | ||
13:30 - 15:10 | |||
13:30 35mTalk | Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java NOOL Tijs van der Storm CWI & University of Groningen Pre-print | ||
14:05 35mTalk | Static Typing Without Static Types - Typing Inheritance from the Bottom Up NOOL Benjamin Chung Carnegie Mellon University, Paley Li Northeastern University, Jan Vitek Northeastern University Pre-print | ||
14:40 35mTalk | The Essence of Subclassing NOOL Ole Lehrmann Madsen Aarhus University & The Alexandra Institute, Birger Møller-Pedersen University of Oslo Pre-print | ||
13:30 - 15:10 | |||
13:30 25mTalk | The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions DSLDI Vadim Zaytsev Raincode, Belgium File Attached | ||
13:55 25mTalk | Naturally Embedded DSLs DSLDI | ||
14:20 25mTalk | Towards explanation-oriented introductory programming DSLDI Julian Jabs University of Tübingen | ||
14:45 25mTalk | DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation DSLDI | ||
13:30 - 15:10 | Analysis, Testing & VerificationScala at Matterhorn 2 Chair(s): Philipp Haller KTH Royal Institute of Technology | ||
13:30 25mTalk | SMT-Based Checking of Predicate-Qualified Types for Scala Scala DOI File Attached | ||
13:55 25mTalk | A Scala Library for Testing Student Assignments on Concurrent Programming Scala DOI File Attached | ||
14:20 25mTalk | Building a Modular Static Analysis Framework in Scala (Tool Paper) Scala Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel, Belgium DOI | ||
14:45 25mTalk | Automatically finding Scala soundness bugs Scala Media Attached | ||
13:30 - 15:10 | |||
13:30 1h40mTalk | Agent-Oriented Programming SPLASH-I Amal El Fallah-Segrouchni LIP6, John-Jules Meyer Universiteit Utrecht, Mehdi Dastani , Rafael Bordini PUCRS, Koen Hindriks Delft University of Technology, Netherlands, Rem Collier University College Dublin, Alessandro Ricci University of Bologna, Italy Media Attached | ||
13:30 - 15:10 | Session 3VMIL at St Gallen Chair(s): Tony Hosking Australian National University, Data61, and Purdue University | ||
13:30 55mTalk | Keynote: WebAssembly from wire to machine code: a view inside V8's implementation VMIL | ||
14:25 45mTalk | Invited Talk: The seven ages of virtual machines (with apologies to Shakespeare) VMIL | ||
13:30 - 15:10 | 3. Which Concepts to Teach?SPLASH-E at Winterthur Chair(s): Steve Blackburn Australian National University | ||
13:30 - 15:10 | Generative Programming IIGPCE at Zürich 1 Chair(s): Ulrik Pagh Schultz University of Southern Denmark | ||
13:30 30mTalk | Actor Profiling in Virtual Execution Environments GPCE Andrea Rosà Università della Svizzera italiana, Lydia Y. Chen IBM Research Lab Zurich, Walter Binder University of Lugano | ||
14:00 30mTalk | Bootstrapping Domain-Specific Meta-Languages in Language Workbenches GPCE Gabriël Konat Delft University of Technology, Sebastian Erdweg Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands Link to publication DOI Pre-print Media Attached | ||
14:30 30mTalk | Dependence-Driven Delimited CPS Transformation for JavaScript GPCE Laure Philips Software Languages Lab, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel, Belgium File Attached | ||
13:30 - 15:10 | |||
13:30 25mTalk | Experiences of Models@run-time with EMF and CDO SLE Daniel Seybold Ulm University, Germany, Jörg Domaschka Ulm University, Germany, Alessandro Rossini SINTEF, Norway, Christopher B. Hauser Ulm University, Germany, Frank Griesinger Ulm University, Germany, Athanasios Tsitsipas Ulm University, Germany DOI | ||
13:55 25mTalk | Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation SLE Salvador Martínez Open University of Catalonia, France, Jokin García IK4-IKERLAN Research Center, Spain, Jordi Cabot Open University of Catalonia, Spain DOI | ||
14:20 25mTalk | Object-Oriented Design Pattern for DSL Program Monitoring SLE DOI Media Attached | ||
14:45 15mTalk | Execution Framework of the GEMOC Studio (Tool Demo) SLE Erwan Bousse TU Vienna, Austria, Thomas Degueule Inria, France, Didier Vojtisek Inria, France, Tanja Mayerhofer TU Vienna, Austria, Julien DeAntoni , Benoit Combemale University of Rennes 1, France DOI Pre-print Media Attached File Attached | ||
15:40 - 17:20 | |||
15:40 33mDemonstration | Booster: A Guided Tour SA-MDE | ||
16:13 33mDemonstration | Booster: Interactive Hands-On SA-MDE | ||
16:46 33mDay closing | Wrap-up and discussion SA-MDE Jeremy Gibbons University of Oxford, UK | ||
15:40 - 17:20 | |||
15:40 29mTalk | A Domain Specific Language for Optimal Pumping Systems ITSLE Benjamin Saul Martin-Luther-University Halle-Wittenberg, Christian Berg Martin-Luther-University Halle-Wittenberg, Wolf Zimmermann Martin-Luther-University Halle-Wittenberg | ||
16:10 29mTalk | Integrated Simulation of CIF3 and Simulink Models ITSLE | ||
16:40 9mBreak | Short break ITSLE | ||
16:50 30mMeeting | Panel discussion (Chairs: Yanja Dajsuren/Peter Kourzanov) ITSLE | ||
15:40 - 17:20 | |||
15:40 90mOther | Group Activity with Mobile Development Topic Mobile! | ||
17:10 10mDay closing | Closing Mobile! | ||
15:40 - 17:20 | |||
15:40 35mTalk | Situated Objects NOOL Patrick Dubroy Y Combinator Research, USA Pre-print | ||
16:15 35mTalk | Towards Automatic Decoration NOOL Pre-print | ||
16:50 35mTalk | Delegation Revisited NOOL Pre-print | ||
15:40 - 17:20 | |||
15:40 25mTalk | Collaborative Design, Implementation and Use of Domain-Specific Languages DSLDI Juha-Pekka Tolvanen MetaCase, Finland | ||
16:05 25mTalk | 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 25mTalk | The Matrix Chain Algorithm to Compile Linear Algebra Expressions DSLDI | ||
16:55 25mTalk | The Definition and Anatomy of Model Driven Engineering and Domain Specific Languages DSLDI Bruce Trask MDE Systems Inc. | ||
15:40 - 17:20 | |||
15:40 25mTalk | Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification Scala Scott Buckley Macquarie University, Australia | ||
16:05 25mTalk | The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Scala Anthony Sloane Macquarie University, Australia, Franck Cassez Macquarie University, Australia, Scott Buckley Macquarie University, Australia DOI Media Attached | ||
16:30 50mOther | Unconference 2 Scala | ||
15:40 - 17:20 | Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3 Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research | ||
15:40 1h40mTalk | The elements of decision alignment: Large programs as complex organizations SPLASH-I Media Attached | ||
15:40 - 17:20 | |||
15:40 25mTalk | Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle VMIL Manuel Rigger Johannes Kepler University, Linz, Austria, Matthias Grimmer Johannes Kepler University Linz, Christian Wimmer Oracle Labs, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria Pre-print | ||
16:05 25mTalk | Improving Trace-based JIT Optimisation using Whole-Program Information VMIL DOI Pre-print | ||
16:30 25mTalk | Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR VMIL | ||
16:55 25mDay closing | Discussions/Closing Remarks VMIL Tony Hosking Australian National University, Data61, and Purdue University | ||
15:40 - 17:20 | |||
15:40 - 17:20 | |||
15:40 30mTalk | Synthesizing Regular Expressions from Examples for Introductory Automata Assignments GPCE | ||
16:10 30mTalk | Programmable Semantic Fragments: The Design and Implementation of typy GPCE | ||
16:40 30mTalk | Delaying Decisions in Variable Concern Hierarchies GPCE Jörg Kienzle McGill University, Canada, Gunter Mussbacher McGill University, Omar Alam Trent University, Philippe Collet University of Nice | ||
17:10 15mTalk | Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers GPCE | ||
15:40 - 17:20 | |||
15:40 25mTalk | Language Design and Implementation for the Domain of Coding Conventions SLE DOI Media Attached | ||
16:05 25mTalk | BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment SLE DOI Media Attached | ||
16:30 25mTalk | Adding Uncertainty and Units to Quantity Types in Software Models SLE Tanja Mayerhofer TU Vienna, Austria, Manuel Wimmer TU Vienna, Austria, Antonio Vallecillo University of Málaga, Spain DOI Media Attached | ||
16:55 15mTalk | FRaMED: Full-Fledge Role Modeling Editor (Tool Demo) SLE Thomas Kühn TU Dresden, Germany, Kay Bierzynski TU Dresden, Germany, Sebastian Richly TU Dresden, Germany, Uwe Aßmann TU Dresden, Germany DOI Media Attached | ||
17:10 10mDay closing | Awards SLE Emilie Balland Sensational AG, Daniel Varro , Vadim Zaytsev Raincode, Belgium, Dimitris Kolovos University of York | ||
17:30 - 20:30 | |||
17:30 3hSocial Event | Monday Poster Reception Social Program | ||
Tue 1 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 4mDay opening | Welcome Doctoral Symposium | ||
08:34 16mTalk | Lightning Talks Doctoral Symposium | ||
08:50 40mTalk | Integrating Concerns with Development Environments Doctoral Symposium | ||
09:30 40mTalk | Dedicated Support for Analyses and Optimizations in Language Workbenches Doctoral Symposium Tamás Szabó itemis AG / TU Delft | ||
08:30 - 10:00 | |||
08:30 30mTalk | Welcome and overview PLMW Ulrik Pagh Schultz University of Southern Denmark | ||
09:00 60mTalk | Real Researchers Allow Passion to Guide Them PLMW Matthias Felleisen Northeastern University File Attached | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Welcome and Introduction REBLS | ||
09:00 60mTalk | ActiveSheets: Stream Processing with a Spreadsheet (Keynote) REBLS | ||
08:30 - 10:00 | |||
08:30 90mTalk | DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8Keynote DLS | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome and Introduction PLATEAU | ||
09:00 60mTalk | PLATEAU Keynote: How to Design a Programming Language PLATEAU Alan Blackwell University of Cambridge | ||
08:30 - 10:00 | |||
08:30 90mTalk | SEPS Keynote: Patterns for Parallel Programming: New and Improved! SEPS Beverly Sanders University of Florida | ||
08:30 - 10:00 | Session 1WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
08:30 45mTalk | Feedback-Directed Instrumentation for Deployed JavaScript Applications WODA Frank Tip Samsung Research America | ||
09:15 45mTalk | JavaScript in the Small WODA Cole Schlesinger Samsung Research America | ||
08:30 - 10:00 | |||
08:30 90mTalk | SLE 2016 Keynote: Redex: Lightweight Semantics EngineeringKeynote SLE Link to publication Media Attached | ||
10:30 - 12:10 | |||
10:30 40mTalk | VeriTaS: Verification of Type System Specifications Doctoral Symposium Sylvia Grewe TU Darmstadt Pre-print | ||
11:10 40mTalk | Language Support for Verifiable SDNs Doctoral Symposium | ||
10:30 - 12:10 | |||
10:30 60mTalk | Programing Languages Research in an Open Source Setting: the Coccinelle Experience PLMW Julia Lawall Inria/LIP6 File Attached | ||
11:30 40mOther | Networking activity (before and after lunch) PLMW | ||
10:30 - 12:10 | |||
10:30 25mTalk | A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) REBLS Jaime Arias INRIA Grenoble Rhône-Alpes, Mauricio Cano , Jorge A. Pérez University of Groningen, The Netherlands Pre-print | ||
10:55 25mTalk | Synchronous-Reactive Web Programming REBLS DOI | ||
11:20 25mTalk | Towards a Comprehensive Multitier Reactive Language REBLS | ||
11:45 25mTalk | I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming REBLS Florian Myter Vrije Universiteit Brussel, Belgium, Tim Coppieters Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Belgium Link to publication DOI | ||
10:30 - 12:10 | |||
10:30 25mTalk | Solutions to Three Language Workbench Challenges using Wizards Workbench LWC@SLE File Attached | ||
10:55 25mTalk | Whole Platform Solution to a Selection of LWC16 Benchmark Problems LWC@SLE File Attached | ||
11:20 25mTalk | Cedalion's Response to the 2016 Language Workbench Challenge LWC@SLE File Attached | ||
11:45 25mTalk | Language Workbench Challenge 2016: the JetBrains Meta Programming System LWC@SLE Eugen Schindler Oce, Klemens Schindler Sioux Embedded Systems, Federico Tomassetti Independent, Ana Maria Sutii Eindhoven University of Technology File Attached | ||
10:30 - 12:10 | |||
10:30 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 | ||
10:30 - 12:10 | |||
10:30 33mTalk | Discount Method for Programming Language Evaluation PLATEAU Svetomir Kurtev Aalborg University, Denmark, Tommy Aagaard Christensen Aalborg University, Denmark, Bent Thomsen Aalborg University, Denmark DOI Pre-print | ||
11:03 33mTalk | Does Live Programming Help Program Comprehension? -- A user study with Live Robot Programming PLATEAU Miguel Campusano DCC, Universidad de Chile, Alexandre Bergel University of Chile, Johan Fabry University of Chile File Attached | ||
11:36 33mTalk | AngularJS in the Wild: A Survey with 460 Developers PLATEAU Miguel Ramos Federal University of Minas Gerais, Brazil, Marco Tulio Valente Federal University of Minas Gerais, Brazil, Ricardo Terra Federal University of Lavras, Brazil, Gustavo Santos Inria, France DOI Pre-print | ||
10:30 - 12:10 | |||
10:30 1h40mTalk | Bootstrap: Build Bridges, not Walls SPLASH-I Emmanuel Schanzer Brown University Media Attached | ||
10:30 - 12:10 | |||
10:30 25mTalk | Reducing Parallelizing Compilation Time by Removing Redundant Analysis SEPS Jixin Han Waseda University, Japan, Rina Fujino Waseda University, Japan, Ryota Tamura Waseda University, Japan, Mamoru Shimaoka Waseda University, Japan, Hiroki Mikami Waseda University, Japan, Moriyuki Takamura OSCAR TECHNOLOGY, Japan, Sachio Kamiya OSCAR TECHNOLOGY, Japan, Kazuhiko Suzuki OSCAR TECHNOLOGY, Japan, Takahiro Miyajima OSCAR TECHNOLOGY, Japan, Keiji Kimura Waseda University, Hironori Kasahara Waseda University, Japan DOI | ||
10:55 25mTalk | A Divide-and-Conquer Parallel Pattern Implementation for Multicores SEPS Marco Danelutto University of Pisa, Italy, Tiziano De Matteis University of Pisa, Italy, Gabriele Mencagli University of Pisa, Italy, Massimo Torquati University of Pisa, Italy DOI | ||
11:20 25mTalk | Parallel Evaluation of a DSP Algorithm using Julia SEPS Peter Kourzanov NXP, Netherlands DOI | ||
11:45 25mTalk | Exhaustive Analysis of Thread-Level Speculation SEPS Clark Verbrugge McGill University, Canada, Christopher J. F. Pickett McGill University, Canada, Alexander Krolik McGill University, Canada, Allan Kielstra IBM, Canada DOI | ||
10:30 - 12:10 | Session 2WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
10:30 33mTalk | Inferring test oracles from the Javadoc documentation WODA Alessandra Gorla IMDEA Software Institute | ||
11:03 33mTalk | The high-interest credit card of runtime enforcement WODA Ben Livshits Microsoft Research | ||
11:36 33mTalk | Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications WODA Steven Arzt TU Darmstadt, Germany | ||
10:30 - 12:10 | Feature Models and Product LinesGPCE at Zürich 1 Chair(s): Christoph Seidl Technische Universität Braunschweig | ||
10:30 30mTalk | A Change-Centric Approach to Compile Configurable Systems with #ifdefs GPCE Larissa Braz Federal University of Campina Grande, Rohit Gheyi UFCG, Brazil, Melina Mongiovi , Márcio Ribeiro Federal University of Alagoas (UFAL), Flavio Medeiros , Leopoldo Teixeira Federal University of Pernambuco | ||
11:00 30mTalk | A Feature-Based Personalized Recommender System for Product-Line Configuration GPCE Juliana Alves Pereira University of Magdeburg, Pawel Matuszyk University of Magdeburg, Sebastian Krieter Magdeburg University, Myra Spiliopoulou University of Magdeburg, Gunter Saake Magdeburg University | ||
11:30 30mTalk | Explaining Anomalies in Feature Models GPCE Matthias Kowal TU Braunschweig, Germany, Sofia Ananieva FZI Research Center for Information Technology, Thomas Thüm TU Braunschweig, Germany | ||
10:30 - 12:10 | |||
10:30 25mTalk | Towards a Universal Code Formatter through Machine Learning SLE DOI Pre-print Media Attached File Attached | ||
10:55 25mTalk | The IDE Portability Problem and Its Solution in Monto SLE Sven Keidel Delft University of Technology, Netherlands, Wulf Pfeiffer TU Darmstadt, Germany, Sebastian Erdweg Delft University of Technology, Netherlands DOI Media Attached File Attached | ||
11:20 25mTalk | Principled Syntactic Code Completion using Placeholders SLE Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Sebastian Erdweg Delft University of Technology, Netherlands, Guido Wachsmuth Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands DOI Media Attached | ||
11:45 15mTalk | DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo) SLE Joel Lindholm Lund University, Sweden, Johan Thorsberg Lund University, Sweden, Görel Hedin Lund University, Sweden DOI Media Attached | ||
12:10 - 13:30 | |||
12:10 80mMeeting | GPCE/SLE Steering Committee Meeting ORG | ||
13:30 - 15:10 | |||
13:30 40mTalk | Multitier Reactive Abstractions Doctoral Symposium | ||
14:10 40mTalk | Scaling Testing of Refactoring Engines Doctoral Symposium | ||
13:30 - 15:10 | |||
13:30 60mTalk | Why Programming Languages Matter PLMW Andrew Black Portland State University Pre-print | ||
14:30 40mOther | Panel: Young Researchers PLMW Nada Amin EPFL, Casper Bach Poulsen Delft University of Technology, Vincent St-Amour Northeastern University | ||
13:30 - 15:10 | |||
13:30 25mTalk | Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench LWC@SLE Gabriël Konat Delft University of Technology, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Sebastian Erdweg Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands File Attached | ||
13:55 25mTalk | The Rascal Approach to Code in Prose, Computed Properties, and Language Extension LWC@SLE File Attached | ||
14:20 25mTalk | Languages the Racket Way: Submission to the 2016 Language Workbench Challenge LWC@SLE Daniel Feltey Northwestern University, Spencer P. Florence Northwestern University, Tim Knutson Univeristy of Utah, Vincent St-Amour Northeastern University, Ryan Culpepper Northeastern University, Matthew Flatt University of Utah, Robby Findler Northwestern University, Matthias Felleisen Northeastern University File Attached | ||
14:45 25mOther | Preparation Discussion LWC@SLE | ||
13:30 - 15:10 | |||
13:30 25mTalk | Parallel Virtual Machines with RPython DLS DOI | ||
13:55 25mTalk | 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 25mTalk | Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript DLS DOI | ||
14:45 25mTalk | 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 | ||
13:30 - 15:10 | |||
13:30 30mTalk | A Quantitative Study of Java Software Buildability PLATEAU Matúš Sulír Technical University of Košice, Jaroslav Porubän Technical University of Košice, Slovakia DOI Pre-print | ||
14:00 30mTalk | Benefits of Session Types for Software Development PLATEAU DOI Pre-print | ||
14:30 20mTalk | What Do We Really Know about Data Flow Languages? PLATEAU Guido Salvaneschi TU Darmstadt, Germany DOI Pre-print | ||
14:50 20mTalk | What Is a Programming Language, Really? PLATEAU Amy Ko University of Washington DOI Pre-print | ||
13:30 - 15:10 | Session 5SPLASH-I at Matterhorn 3 Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands | ||
13:30 50mTalk | From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration SPLASH-I Emma Söderberg Google Media Attached | ||
14:20 50mTalk | Designing and Debugging Surveys with SurveyMan SPLASH-I Emma Tosch University of Massachusetts, Amherst Media Attached | ||
13:30 - 15:10 | |||
13:30 1h40mTalk | SEPS Tutorial: Task-Based Programming Everywhere from Supercomputing to Embedded Multicore Systems SEPS P: Jaume Bosch Barcelona Supercomputing Center, P: Lucas Morais UNICAMP, P: Tamer Dallou LG Electronics San Jose Lab | ||
13:30 - 15:10 | Session 3WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
13:30 50mTalk | Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation WODA Ben Liblit University of Wisconsin–Madison | ||
14:20 50mTalk | What’s going on in the heap? WODA Sam Guyer Tufts University | ||
13:30 - 15:10 | |||
13:30 30mTalk | IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling GPCE Mustafa Al-Hajjaji Magdeburg University, Sebastian Krieter Magdeburg University, Thomas Thüm TU Braunschweig, Germany, Malte Lochau TU Darmstadt, Gunter Saake Magdeburg University | ||
14:00 30mTalk | Towards Scalable Configuration Testing in Variable Software GPCE Valentin Rothberg Friedrich-Alexander University of Erlangen-Nürnberg, Christian Dietrich , Andreas Ziegler Friedrich-Alexander University Erlangen-Nürnberg (FAU), Daniel Lohmann Friedrich-Alexander University of Erlangen-Nürnberg Pre-print Media Attached | ||
14:30 15mTalk | Towards a Software Product Line of Trie-Based Collections GPCE Pre-print Media Attached | ||
14:45 15mTalk | Tool Demo: Testing Configurable Systems with FeatureIDE GPCE Mustafa Al-Hajjaji Magdeburg University, Jens Meinicke Magdeburg University, Sebastian Krieter Magdeburg University, Reimar Schröter Magdeburg University, Thomas Thüm TU Braunschweig, Germany, Thomas Leich Harz University of Applied Sciences, Germany, Gunter Saake Magdeburg University | ||
13:30 - 15:10 | |||
13:30 25mTalk | Automated Testing Support for Reactive Domain-Specific Modelling Languages SLE Bart Meyers University of Antwerp, Belgium, Joachim Denil University of Antwerp, Belgium, István Dávid University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp, Canada DOI | ||
13:55 25mTalk | Side Effects Take the Blame SLE Felipe Bañados Schwerter University of British Columbia, Canada DOI | ||
14:20 25mTalk | Symbolic Execution of High-Level Transformations SLE Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached | ||
14:45 15mTalk | Raincode Assembler Compiler (Tool Demo) SLE Volodymyr Blagodarov Raincode, Belgium, Yves Jaradin Raincode, Belgium, Vadim Zaytsev Raincode, Belgium DOI | ||
15:40 - 17:20 | |||
15:40 40mTalk | Spray: Programming with a Persistent Distributed Heap Doctoral Symposium Marco Grandi Computer Science Department - University of Pisa | ||
16:20 40mTalk | Towards Practical Release-Level Dynamic Software Updating on Stock Java Doctoral Symposium | ||
17:00 20mTalk | How to get your Ph.D. DONE Doctoral Symposium | ||
15:40 - 17:20 | |||
15:40 50mTalk | My Twenty-Five Years in OO PLMW Jan Vitek Northeastern University File Attached | ||
16:30 50mTalk | What to do at SPLASH PLMW Jan Vitek Northeastern University | ||
15:40 - 17:20 | DiscussionLWC@SLE at Luzern Chair(s): Meinte Boersma Mendix, Eugen Schindler Oce, Markus Völter itemis, Germany | ||
15:40 1h40mOther | Future challenges / Break out sessions LWC@SLE | ||
15:40 - 17:20 | |||
15:40 25mTalk | 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 25mTalk | 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 25mTalk | 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 | ||
15:40 - 17:20 | |||
15:40 80mTalk | Group Exercise PLATEAU | ||
17:00 20mTalk | Discussion and Wrap Up PLATEAU | ||
15:40 - 17:20 | |||
15:40 50mTalk | Type-driven Development in Idris SPLASH-I Edwin Brady University of St Andrews | ||
16:30 50mTalk | Fact or fiction? What software analytics can do for us (developers and researchers) SPLASH-I Andy Zaidman TU Delft Media Attached | ||
15:40 - 17:20 | |||
15:40 1h40mTalk | SEPS Panel discussion: Engineering software performance for upcoming heterogeneous computing systems - through programming patterns, runtime systems and tools SEPS P: Yukinori Sato Tokyo Institute of Technology, P: Clemens Grelck University of Amsterdam, P: Keiji Kimura Waseda University, P: Beverly Sanders University of Florida | ||
15:40 - 17:20 | Session 4WODA at Winterthur Chair(s): Michael Pradel TU Darmstadt, Germany, Omer Tripp IBM Research, USA | ||
15:40 50mTalk | Metamorphic Testing for Compilers and Program Analysers WODA Alastair F. Donaldson Imperial College London | ||
16:30 50mTalk | From Soundiness to Soundness WODA Yannis Smaragdakis University of Athens | ||
15:40 - 17:20 | |||
15:40 30mTalk | Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay Framework for Continuous Delivery GPCE Majid Makki iMinds-DistriNet, Dimitri Van Landuyt Katholieke Universiteit Leuven, Wouter Joosen Katholieke Universiteit Leuven | ||
16:10 30mTalk | A Vision for Online Verification-Validation GPCE Matthew Hammer University of Colorado, Boulder, Bor-Yuh Evan Chang University of Colorado Boulder, David Van Horn University of Maryland at College Park, USA Pre-print Media Attached | ||
16:40 30mTalk | Automatic Non-functional Testing of Code Generators Families GPCE Pre-print Media Attached File Attached | ||
15:40 - 17:20 | |||
15:40 25mTalk | Efficient Model Partitioning for Distributed Model Transformations SLE Amine Benelallam , Massimo Tisi AtlanMod, France, Jesús Sánchez Cuadrado Autonomous University of Madrid, Spain, Juan de Lara Autonomous University of Madrid, Spain, Jordi Cabot Open University of Catalonia, Spain DOI | ||
16:05 25mTalk | Coupled Software Transformations — Revisited SLE Ralf Laemmel University of Koblenz-Landau, Germany DOI Media Attached | ||
16:30 15mTalk | Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo) SLE André L. Santos University Institute of Lisbon, Portugal, Eduardo Gomes University Institute of Lisbon, Portugal DOI | ||
16:45 15mDay closing | Closing & Outlook to SLE'17 SLE | ||
18:30 - 22:30 | |||
18:30 4hDinner | GPCE & SLE Dinner GPCE Media Attached | ||
18:30 - 22:30 | |||
18:30 4hDinner | GPCE & SLE Dinner SLE Media Attached | ||
Wed 2 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Keynote WednesdayKeynotes and Awards at Matterhorn 2 Chair(s): Eelco Visser Delft University of Technology, Netherlands | ||
08:30 10mDay opening | Welcome to SPLASH 2016 Keynotes and Awards | ||
08:40 5mAwards | OOPSLA 10-year Most Influential Paper AwardAward Keynotes and Awards Eelco Visser Delft University of Technology, Netherlands | ||
08:45 75mTalk | SPLASH 2016 Keynote: The Science of Deep SpecificationKeynote Keynotes and Awards Media Attached | ||
10:30 - 12:10 | |||
10:30 25mTalk | A Compiler for Throughput Optimization of Graph Algorithms on GPUs OOPSLA DOI Pre-print | ||
10:55 25mTalk | Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis OOPSLA DOI | ||
11:20 25mTalk | Portable Inter-workgroup Barrier Synchronisation for GPUs 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 25mTalk | Parallel Incremental Whole-Program Optimizations for Scala.js OOPSLA DOI Pre-print | ||
10:30 - 12:10 | Semantics and VerificationOOPSLA at Matterhorn 2 Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
10:30 25mTalk | Semantics-Based Program Verifiers for All Languages OOPSLA Andrei Stefanescu University of Illinois at Urbana-Champaign, Daejun Park University of Illinois at Urbana-Champaign, Shijiao Yuwen University of Illinois at Urbana-Champaign, Yilong Li Runtime Verification, Inc., Grigore Roşu University of Illinois at Urbana-Champaign DOI Media Attached | ||
10:55 25mTalk | Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects OOPSLA Ilya Sergey University College London, Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute, Germán Andrés Delbianco IMDEA Software Institute DOI Pre-print Media Attached File Attached | ||
11:20 25mTalk | An Operational Semantics for C/C++11 Concurrency OOPSLA Kyndylan Nienhuis University of Cambridge, Kayvan Memarian University of Cambridge, Peter Sewell University of Cambridge DOI | ||
11:45 25mTalk | Modeling and Analysis of Remote Memory Access Programming OOPSLA Andrei Marian Dan ETH Zurich, Patrick Lam University of Waterloo, Canada, Torsten Hoefler ETH Zurich, Martin Vechev ETH Zurich DOI Pre-print Media Attached | ||
10:30 - 12:10 | |||
10:30 50mTalk | How Domain Requirements Shape Languages SPLASH-I Markus Völter itemis, Germany Media Attached | ||
11:20 50mTalk | Making Mendix Meta Model Driven SPLASH-I Jos Warmer Independent | ||
10:30 - 12:10 | |||
10:30 25mTalk | Lightweight Programming Experiments without Programmers and Programs: An Example Study on the Effect of Similarity and Number of Object Identifiers on the Readability of Source Code using Natural Texts Onward! Papers Tim Marter University of Duisburg-Essen, Paul Babucke University of Duisburg-Essen, Philipp Lembken University of Duisburg-Essen, Stefan Hanenberg University of Duisburg-Essen DOI | ||
10:55 25mTalk | Emergent Software Services Onward! Papers Nicolás Cardozo Universidad de los Andes DOI Pre-print Media Attached | ||
11:20 25mTalk | Nez: Practical Open Grammar Language Onward! Papers Kimio Kuramitsu Yokohama National University, Japan DOI | ||
11:45 25mTalk | Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages Onward! Papers DOI | ||
12:10 - 13:30 | |||
12:10 80mMeeting | Onward Steering Committee Meeting ORG | ||
13:30 - 15:10 | Language Design and Programming Models IOOPSLA at Matterhorn 1 Chair(s): Roberto Ierusalimschy PUC-Rio | ||
13:30 25mTalk | Extensible Access Control with Authorization Contracts OOPSLA Scott Moore Harvard University, Christos Dimoulas Harvard University, Robby Findler Northwestern University, Matthew Flatt University of Utah, Stephen Chong Harvard University DOI | ||
13:55 25mTalk | Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect OOPSLA Leo Osvald , Gregory Essertel , Xilun Wu Purdue University, Lilliam I Gonzalez Alayon Purdue University, Tiark Rompf Purdue University, USA DOI | ||
14:20 25mTalk | Incremental Forest: A DSL for Efficiently Managing Filestores OOPSLA Jonathan DiLorenzo Cornell University, Richard Zhang University of Pennsylvania, Erin Menzies , Kathleen Fisher Tufts University, Nate Foster Cornell University DOI | ||
14:45 25mTalk | LaCasa: Lightweight Affinity and Object Capabilities in Scala OOPSLA DOI Pre-print | ||
13:30 - 15:10 | |||
13:30 25mTalk | Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations OOPSLA Shachar Itzhaky MIT CSAIL, Rohit Singh MIT, Rezaul Chowdhury Stony Brook University, Kuat Yessenov MIT, Yongquan Lu MIT, Charles E. Leiserson MIT, Armando Solar-Lezama MIT CSAIL DOI Pre-print Media Attached | ||
13:55 25mTalk | Speeding Up Machine-Code Synthesis OOPSLA Venkatesh Srinivasan University of Wisconsin - Madison, Tushar Sharma University of Wisconsin - Madison, USA, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. DOI Pre-print Media Attached | ||
14:20 25mTalk | Automated Reasoning for Web Page Layout OOPSLA DOI Media Attached | ||
14:45 25mTalk | FIDEX: Filtering Spreadsheet Data using Examples OOPSLA DOI Media Attached | ||
13:30 - 15:10 | |||
13:30 50mTalk | Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes SPLASH-I | ||
14:20 50mTalk | The basic skill set of software language engineering SPLASH-I Ralf Laemmel University of Koblenz-Landau, Germany Media Attached | ||
13:30 - 15:10 | |||
13:30 50mTalk | How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard Onward! Essays DOI Pre-print File Attached | ||
14:20 50mTalk | The Left Hand of Equals Onward! Essays James Noble Victoria University of Wellington, New Zealand, Andrew Black Portland State University, Kim Bruce Pomona College, Michael Homer Victoria University of Wellington, Mark Miller Google Inc. DOI | ||
15:40 - 17:20 | |||
15:40 25mTalk | Accelerating Program Analyses by Cross-Program Training OOPSLA Sulekha Kulkarni Georgia Tech, Ravi Mangal Georgia Institute of Technology, Xin Zhang Georgia Tech, Mayur Naik Georgia Tech DOI | ||
16:05 25mTalk | An Improved Algorithm for Slicing Machine Code OOPSLA Venkatesh Srinivasan University of Wisconsin - Madison, Thomas Reps University of Wisconsin - Madison and Grammatech Inc. DOI Pre-print | ||
16:30 25mTalk | Call Graphs for Languages with Parametric Polymorphism OOPSLA Dmytro Petrashko EPFL, Vlad Ureche EPFL, Switzerland, Ondřej Lhoták University of Waterloo, Martin Odersky EPFL, Switzerland DOI | ||
16:55 25mTalk | Type Inference for Static Compilation of JavaScript 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 | ||
15:40 - 17:20 | Programming Frameworks, Tools, and MethodologiesOOPSLA at Matterhorn 2 Chair(s): Emerson Murphy-Hill Google | ||
15:40 25mTalk | Purposes, Concepts, Misfits, and a Redesign of Git OOPSLA DOI Pre-print Media Attached | ||
16:05 25mTalk | Apex: Automatic Programming Assignment Error Explanation OOPSLA Dohyeong Kim Purdue University, Yonghwi Kwon Purdue University, Peng Liu Purdue University, I Luk Kim Purdue University, David Mitchel Perry Purdue University, Xiangyu Zhang Purdue University, Gustavo Rodriguez-Rivera Purdue University DOI Media Attached | ||
16:30 25mTalk | Asserting Reliable Convergence for Configuration Management Scripts OOPSLA Oliver Hanappi Vienna University of Technology, Waldemar Hummer Vienna University of Technology, Schahram Dustdar TU Wien DOI | ||
16:55 25mTalk | Dependent Partitioning OOPSLA Sean Treichler Stanford University, Michael Bauer NVIDIA Research, Rahul Sharma Microsoft Research, Elliott Slaughter , Alex Aiken Stanford University DOI Media Attached | ||
15:40 - 17:20 | |||
15:40 50mTalk | Using Docker Containers to Improve Reproducibility in PL/SE Research SPLASH-I Jürgen Cito University of Zurich Media Attached | ||
16:30 50mTalk | Adventures in Software Evolution SPLASH-I Robert Grimm Goldman Sachs | ||
15:40 - 17:20 | |||
15:40 25mTalk | Bloqqi: Modular Feature-Based Block Diagram Programming Onward! Papers DOI Pre-print | ||
16:05 25mTalk | Building White-Box Abstractions by Program Refinement Onward! Papers DOI Pre-print | ||
16:30 25mTalk | Function Passing: A Model for Typed, Distributed Functional Programming Onward! Papers Heather Miller Ecole Polytechnique Federale de Lausanne, Philipp Haller KTH Royal Institute of Technology, Normen Müller , Jocelyn Boullier EPFL, Jorge Vicente Cantero EPFL DOI | ||
16:55 25mTalk | Extracting Code from Programming Tutorial Videos Onward! Papers DOI | ||
17:30 - 19:30 | |||
17:30 2hTalk | Wednesday Poster Reception Social Program | ||
Thu 3 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 3 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Keynote ThursdayKeynotes and Awards at Matterhorn 2 Chair(s): Yannis Smaragdakis University of Athens | ||
08:30 20mAwards | OOPSLA AwardsAward Keynotes and Awards | ||
08:50 70mTalk | SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Objects As ModulesKeynote Keynotes and Awards Media Attached | ||
10:30 - 12:10 | |||
10:30 25mTalk | Directed Synthesis of Failing Concurrent Executions 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 25mTalk | Maximal Causality Reduction for TSO and PSO OOPSLA DOI | ||
11:20 25mTalk | Stateless Model Checking with Data-Race Preemption Points OOPSLA DOI Pre-print Media Attached | ||
11:45 25mTalk | Precise and Maximal Race Detection from Incomplete Traces OOPSLA DOI Media Attached | ||
10:30 - 12:10 | Language Design and Programming Models IIOOPSLA at Matterhorn 2 Chair(s): Olivier Tardieu IBM Research | ||
10:30 25mTalk | Automatic Enforcement of Expressive Security Policies using Enclaves OOPSLA DOI | ||
10:55 25mTalk | Chain: Tasks and Channels for Reliable Intermittent Programs OOPSLA DOI Pre-print | ||
11:20 25mTalk | GEMs: Shared-Memory Parallel Programming for Node.js OOPSLA Daniele Bonetta Oracle Labs, Luca Salucci Università della Svizzera italiana (USI), Stefan Marr Johannes Kepler University Linz, Walter Binder University of Lugano DOI | ||
11:45 25mTalk | OrcO: A Concurrency-First Approach to Objects OOPSLA Arthur Michener Peters The University of Texas at Austin, Texas, USA, David Kitchin Google, Inc., John A. Thywissen The University of Texas at Austin, William Cook UT Austin DOI Pre-print | ||
10:30 - 12:10 | |||
10:30 50mTalk | Responsive Language Tooling For Cloud-based IDEs SPLASH-I Lennart Kats Cloud9 Media Attached | ||
11:20 50mTalk | Simulating Cities: The Spacetime Framework SPLASH-I Crista Lopes University of California, Irvine Media Attached | ||
12:10 - 13:30 | |||
12:10 80mMeeting | SPLASH Steering Committee Meeting ORG | ||
13:30 - 15:10 | |||
13:30 25mTalk | Efficient and Thread-Safe Objects for Dynamically-Typed Languages 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 25mTalk | Hybrid STM/HTM for Nested Transactions on OpenJDK 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 25mTalk | Makalu: Fast Recoverable Allocation of Non-volatile Memory OOPSLA DOI Pre-print Media Attached | ||
14:45 25mTalk | Prioritized Garbage Collection: Explicit GC Support for Software Caches OOPSLA Diogenes Nunez Tufts University, Sam Guyer Tufts University, Emery D. Berger University of Massachusetts, Amherst DOI Pre-print Media Attached | ||
13:30 - 15:10 | |||
13:30 25mTalk | Semantic Subtyping for Imperative Object-Oriented Languages OOPSLA DOI | ||
13:55 25mTalk | Parsing with First-Class Derivatives OOPSLA Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Tillmann Rendel University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany DOI | ||
14:20 25mTalk | The Missing Link: Explaining ELF Static Linking, Semantically OOPSLA Stephen Kell University of Cambridge, Dominic P. Mulligan University of Cambridge, Peter Sewell University of Cambridge DOI | ||
14:45 25mTalk | Type Soundness for Dependent Object Types (DOT) OOPSLA DOI Pre-print | ||
13:30 - 15:10 | |||
13:30 50mTalk | Exploratory Analysis in Virtual Reality: The New Frontier SPLASH-I Media Attached | ||
14:20 50mTalk | Truffle and Graal: Fast Programming Languages With Modest Effort SPLASH-I Media Attached | ||
15:40 - 17:20 | |||
15:40 25mTalk | Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars OOPSLA Friedrich Steimann Fernuniversität, Jörg Hagemann Fernuniversität in Hagen, Bastian Ulke Fernuniversität in Hagen DOI Media Attached | ||
16:05 25mTalk | Probabilistic Model for Code with Decision Trees OOPSLA DOI | ||
16:30 25mTalk | Ringer: Web Automation by Demonstration OOPSLA Shaon Barman UC Berkeley, Sarah E. Chasins University of California, Berkeley, Rastislav Bodik University of Washington, USA, Sumit Gulwani Microsoft Research DOI Media Attached | ||
16:55 25mTalk | Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver 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 | ||
15:40 - 16:30 | Session 3Onward! Papers at Matterhorn 2 Chair(s): Hidehiko Masuhara Tokyo Institute of Technology, Japan | ||
15:40 25mTalk | Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications Onward! Papers DOI Pre-print Media Attached | ||
16:05 25mTalk | Moldable, Context-Aware Searching with Spotter Onward! Papers Andrei Chiş University of Bern, Switzerland, Tudor Gîrba feenk.com, Juraj Kubelka University of Chile, Oscar Nierstrasz University of Bern, Switzerland, Stefan Reichhart , Aliaksei Syrel University of Bern DOI | ||
15:40 - 17:20 | |||
15:40 50mTalk | Language Support for Distributed Systems SPLASH-I Heather Miller Ecole Polytechnique Federale de Lausanne | ||
16:30 50mTalk | Pony: Co-designing a Type System and a Runtime SPLASH-I Sylvan Clebsch Imperial College London Media Attached | ||
15:40 - 17:20 | TalksStudent Research Competition at Winterthur Chair(s): Sam Guyer Tufts University, Patrick Lam University of Waterloo, Canada | ||
15:40 1h40mTalk | Phase 3 Talks Student Research Competition | ||
17:30 - 18:30 | |||
17:30 5mMeeting | SPLASH Steering Committee Report Keynotes and Awards | ||
17:35 7mOther | SPLASH 2016 General Chair's Report Keynotes and Awards | ||
17:42 7mOther | Onward Program Chair's Report Keynotes and Awards | ||
17:49 16mOther | OOPSLA 2016 Program Chair's Report Keynotes and Awards | ||
18:05 5mAwards | SIGPLAN AwardsAward Keynotes and Awards | ||
18:10 20mMeeting | Proceedings of the ACM Keynotes and Awards | ||
19:30 - 22:30 | |||
Fri 4 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 4 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Keynote FridayKeynotes and Awards at Matterhorn 2 Chair(s): Crista Lopes University of California, Irvine, Emerson Murphy-Hill Google | ||
08:30 10mDay opening | SPLASH 2017 Keynotes and Awards | ||
08:40 5mAwards | Onward! Most Notable Paper AwardAward Keynotes and Awards | ||
08:45 10mAwards | Student AwardsAward Keynotes and Awards | ||
08:55 65mTalk | SPLASH 2016 Keynote: A Human View of Programming LanguagesKeynote Keynotes and Awards Amy Ko University of Washington Media Attached | ||
10:30 - 12:10 | Typing, in PracticeOOPSLA at Matterhorn 1 Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands | ||
10:30 25mTalk | A Practical Framework for Type Inference Error Explanation 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 25mTalk | Dynamically Diagnosing Type Errors in Unsafe Code OOPSLA Stephen Kell University of Cambridge DOI Media Attached | ||
11:20 25mTalk | First-Class Effect Reflection for Effect-Guided Programming OOPSLA DOI | ||
11:45 25mTalk | Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers OOPSLA Link to publication DOI Pre-print | ||
10:30 - 12:10 | |||
10:30 25mTalk | Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift Onward! Papers DOI | ||
10:55 25mTalk | Gramada: Immediacy in Programming Language Development Onward! Papers Patrick Rein Hasso Plattner Institute, Marcel Taeumel Hasso Plattner Institute, Robert Hirschfeld HPI DOI | ||
11:20 25mTalk | Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks Onward! Papers Soumya Indela University of Maryland at College Park, Mukul Kulkarni University of Maryland at College Park, Kartik Nayak University of Maryland at College Park, Tudor Dumitras University of Maryland at College Park DOI | ||
11:45 25mTalk | Leveraging a Corpus of Natural Language Descriptions for Program Similarity Onward! Papers DOI | ||
10:30 - 12:10 | |||
10:30 50mTalk | Stencils: Graphical User Interfaces in Ensō SPLASH-I William Cook UT Austin Media Attached | ||
11:20 50mTalk | Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web SPLASH-I Adam Chlipala MIT CSAIL Media Attached | ||
12:10 - 13:30 | |||
12:10 80mMeeting | SPLASH 2017 Organizing Committee Meeting ORG | ||
13:30 - 15:10 | Bug Detection Analysis and Model CheckingOOPSLA at Matterhorn 1 Chair(s): Ben Livshits Microsoft Research | ||
13:30 25mTalk | Finding Compiler Bugs via Live Code Mutation OOPSLA Chengnian Sun University of California, Davis, Vu Le Microsoft, Zhendong Su University of California, Davis DOI Media Attached | ||
13:55 25mTalk | Finding Resume and Restart Errors in Android Applications 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 25mTalk | Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement 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 25mTalk | To Be Precise: Regression Aware Debugging OOPSLA DOI | ||
13:30 - 15:10 | |||
13:30 50mTalk | A World of Active Objects for Work and Play: The First Ten Years of Lively Onward! Essays Daniel Ingalls SAP Palo Alto Research Center, Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI, Robert Krahn CDG Labs, Jens Lincke Hasso Plattner Institute, Marko Röder HARC / Y Combinator Research, Antero Taivalsaari Nokia Technologies, Tommi Mikkonen Tampere University of Technology DOI | ||
14:20 50mTalk | “in the control room of the banquet” Onward! Essays Richard P. Gabriel Dream Songs, Inc. & IBM Research DOI | ||
13:30 - 15:10 | |||
13:30 50mTalk | Fast Datalog SPLASH-I Todd Veldhuizen LogicBlox Media Attached File Attached | ||
14:20 50mTalk | Software Environmentalism SPLASH-I Tudor Gîrba feenk.com Media Attached | ||
15:40 - 17:00 | Session 15 (Keynote)SPLASH-I at Matterhorn 2 Chair(s): Eelco Visser Delft University of Technology, Netherlands | ||
15:40 80mTalk | SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?Keynote SPLASH-I Guy L. Steele Jr. Oracle Labs | ||
17:00 - 18:00 | |||