SPLASH 2017 (series) /
SPLASH 2017 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 OctDisplayed time zone: Tijuana, Baja California change
Sun 22 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:45 15mDay opening | Welcome Parsing@SLE Eric Van Wyk University of Minnesota, USA, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
09:00 30mTalk | Block Level Parallelism in Parsing Block Structured Languages Parsing@SLE Abhinav Jangda University of Massachusetts, Amherst | ||
09:30 30mTalk | Parsing techniques for graph analysis Parsing@SLE | ||
08:30 - 10:00 | |||
08:30 90mTalk | [Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving PX/17.2 Link to publication | ||
08:30 - 10:00 | Session 1DSLDI at Regency A Chair(s): Lindsey Kuper Intel Labs, Eric Walkingshaw Oregon State University | ||
09:00 10mDay opening | Welcome DSLDI | ||
09:10 50mTalk | Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) DSLDI File Attached | ||
08:30 - 10:00 | |||
08:50 10mDay opening | Welcome META Stefan Marr University of Kent | ||
09:00 30mTalk | Markedly: a cartographic approach for mapping eDSL implementation costs META File Attached | ||
09:30 30mTalk | Less Testing Ink META Yossi Gil Technion—Israel Institute of Technology | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Opening - Day 1 Scala | ||
09:00 60mTalk | Spark and Scala Scala | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | Session 2Parsing@SLE at Oxford Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
10:30 30mTalk | A Modular SGLR Parsing Architecture for Systematic Performance Optimization Parsing@SLE Jasper Denkers TU Delft, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael Steindorfer Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology | ||
11:00 30mTalk | System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs Parsing@SLE | ||
11:30 30mTalk | Parsing extensible type qualifiers in ableC Parsing@SLE | ||
10:30 - 12:00 | |||
10:30 45mTalk | Designing a Live Development Experience for Web Components PX/17.2 Jens Lincke Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Potsdam, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld HPI, Marcel Taeumel Hasso Plattner Institute, Tim Felgentreff Hasso-Plattner-Institute, Potsdam Pre-print | ||
11:15 45mTalk | Incremental Coverage of Legacy Software Languages PX/17.2 Vadim Zaytsev Raincode Labs, Belgium Pre-print | ||
10:30 - 12:00 | |||
10:30 22mTalk | Substance and Style: domain-specific languages for mathematical diagrams DSLDI Wode Ni Columbia University, Katherine Ye , Joshua Sunshine Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Keenan Crane Carnegie Mellon University File Attached | ||
10:52 22mTalk | Debugging Domain-Specific Languages Defined with Macros DSLDI File Attached | ||
11:15 22mTalk | DSL Design for Reinforcement Learning Agents DSLDI Christopher Simpkins Georgia Institute of Technology, Spencer Rugaber Georgia Institute of Technology, Charles Isbell, Jr. Georgia Institute of Technology File Attached | ||
11:37 22mTalk | Tangent: automatic differentiation using source code transformation in Python DSLDI File Attached | ||
10:30 - 12:00 | |||
10:30 60mTalk | Hop.js: JavaScript Multitier Programming ⭐️ META Manuel Serrano Inria, France | ||
11:30 30mTalk | Toward Abstract Interpretation of Program Transformations META DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Towards Algorithmic Typing for DOT (Short Paper) Scala Abel Nieto University of Waterloo DOI Pre-print File Attached | ||
11:00 30mTalk | The Limitations of Type Classes as Subtyped Implicits (Short Paper) Scala Adelbert Chang Unaffiliated DOI Pre-print | ||
11:30 30mTalk | Rust-Like Borrowing with 2nd-Class Values (Short Paper) Scala DOI Media Attached | ||
10:30 - 12:00 | |||
10:30 30mDay opening | Welcome to FOSD 2017 FOSD | ||
11:00 60mTalk | FOSD Keynote: Managing Features in Cloned Variants FOSD | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
14:00 30mTalk | Declarative Disambiguation with Contextual Scoping Parsing@SLE Michael Steindorfer Delft University of Technology, Netherlands, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands | ||
14:30 30mTalk | Parsing @ IDE Parsing@SLE Vadim Zaytsev Raincode Labs, Belgium | ||
13:30 - 15:00 | |||
13:30 45mTalk | Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP PX/17.2 Yoshiki Ohshima HARC / Y Combinator Research, Bert Freudenberg , Dan Amelang Viewpoints Research Institute Pre-print | ||
14:15 45mTalk | Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools PX/17.2 Patrick Rein Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Potsdam, Toni Mattis Hasso Plattner Institute, Robert Hirschfeld HPI Pre-print | ||
13:30 - 15:00 | |||
13:30 22mTalk | MkMod: A Domain Specific Language for developing Linux Kernel Modules DSLDI Manasij Mukherjee Chennai Mathematical Institute File Attached | ||
13:52 22mTalk | Bacatá: a generic notebook generator for DSLs DSLDI Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen File Attached | ||
14:15 22mTalk | Thapl—A Theatrical DSL DSLDI Yossi Gil Technion—Israel Institute of Technology, David H. Lorenz Technion—Israel Institute of Technology, Matan I. Peled Technion—Israel Institute of Technology File Attached | ||
14:37 22mTalk | Towards Naturalistic EDSLs using Algebraic Effects DSLDI Jonathan Immanuel Brachthäuser University of Tübingen, Germany Link to publication Pre-print Media Attached File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | Reactive Reflection in an FRP Language for Small-Scale Embedded Systems META Takuo Watanabe Tokyo Institute of Technology File Attached | ||
14:00 30mTalk | Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes META File Attached | ||
14:30 30mTalk | An Annotation-based API for Supporting Runtime Code Annotation Reading META Phyllipe Lima INPE - National Institute for Space Research, Eduardo Guerra INPE - National Institute for Space Research, Marco Nardes INPE - National Institute for Space Research, Andrea Mocci Universita della Svizzera italiana (USI), Gabriele Bavota Università della Svizzera italiana (USI), Michele Lanza Università della Svizzera italiana (USI) DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Scala Framework for Supercompilation Scala DOI | ||
14:00 30mTalk | Making Collection Operations Optimal with Aggressive JIT Compilation Scala Aleksandar Prokopec Oracle Labs, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Thomas Wuerthinger Oracle Labs DOI | ||
14:30 30mTalk | ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) Scala DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | Towards Complete Consistency Checks of Clafer Models FOSD Markus Weckesser TU Darmstadt, Malte Lochau , Michael Ries facilityBoss GmbH, Andy Schürr TU Darmstadt | ||
14:00 30mTalk | Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures FOSD Kenny Wehling Volkswagen AG, David Wille TU Braunschweig, Germany, Christoph Seidl Technische Universität Braunschweig, Ina Schaefer Technische Universität Braunschweig | ||
14:30 30mTalk | Variational Lists: Comparisons and Design Guidelines FOSD | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:00 | Practical Guide to ParsingParsing@SLE at Oxford Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
15:30 90mOther | Discussion of SLEBoK Practical Guide to Parsing Parsing@SLE Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
15:30 - 17:00 | |||
15:30 45mTalk | The Entangled Strands of Time in Software Development PX/17.2 Matthias Hauswirth Università della Svizzera italiana (USI), Mohammad Reza Azadmanesh University of Lugano Pre-print | ||
16:15 45mTalk | Towards Concept-aware Programming Environments for Guiding Software Modularity PX/17.2 Toni Mattis Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Potsdam, Jens Lincke Hasso Plattner Institute, Robert Hirschfeld HPI Pre-print | ||
15:30 - 17:00 | |||
15:30 22mTalk | Property Law as a Programming Language DSLDI Shrutarshi Basu Cornell University, James Grimmelmann Cornell Law School, Nate Foster Cornell University File Attached | ||
15:52 22mTalk | Embedding By Normalisation DSLDI Shayan Najd University of Edinburgh File Attached | ||
16:15 22mTalk | Reliable composition of domain-specific language features DSLDI File Attached | ||
16:37 22mDay closing | Discussion and closing remarks DSLDI | ||
15:30 - 17:00 | |||
15:30 60mTalk | Collapsing Towers of Interpreters ⭐️ META Nada Amin University of Cambridge | ||
16:30 30mDay closing | Discussion and Closing META | ||
15:30 - 17:00 | |||
15:30 22mTalk | Genomic Data Analysis in Scala (Open-Source Talk) Scala Media Attached | ||
15:52 22mTalk | Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk) Scala Media Attached | ||
16:15 22mTalk | Delimited Control in Scala (Student Talk) Scala | ||
16:37 22mTalk | Design of Library Interfaces (Student Talk) Scala | ||
15:30 - 17:00 | |||
15:30 30mTalk | Feature Oriented Programming in Groovy FOSD | ||
16:00 30mTalk | Towards a Development Process for Maturing Delta-Oriented Software Product Lines FOSD Sven Schuster TU Braunschweig, Germany, Christoph Seidl Technische Universität Braunschweig, Ina Schaefer Technische Universität Braunschweig | ||
16:30 30mTalk | Lightning Talks FOSD Eric Walkingshaw Oregon State University | ||
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
Mon 23 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:45 15mTalk | Welcome and opening SEPS | ||
09:00 60mTalk | SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages SEPS Media Attached | ||
08:30 - 10:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
08:30 45mTalk | Forget the Garbagemen, We Need a Plumber WODA Emery D. Berger University of Massachusetts, Amherst | ||
09:15 45mTalk | Pushing Predictive Data Race Detection to the Limit WODA Michael D. Bond Ohio State University | ||
08:30 - 10:00 | |||
08:30 30mTalk | Welcome and Overview of NJR NJR Crista Lopes University of California, Irvine, Jens Palsberg University of California, Los Angeles (UCLA) | ||
09:00 20mTalk | Benchmarking for Program Analysis NJR Cristina Cifuentes Oracle Labs, Karim Ali University of Alberta, Yannis Smaragdakis University of Athens File Attached | ||
09:20 20mTalk | Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud NJR Jonathan Bell George Mason University File Attached | ||
09:40 20mTalk | XCorpus, An Executable Corpus of Java Programs NJR Jens Dietrich Massey University File Attached | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome CoCoS | ||
09:00 60mTalk | Keynote: Program Comprehension - Who, How, What, and Why CoCoS Reid Holmes University of British Columbia File Attached | ||
08:30 - 10:00 | Tools and TechniquesSPLASH-E at Kensington Chair(s): Joe Gibbs Politz University of California, San Diego | ||
08:30 30mTalk | (CER) Mastery Learning-Like Teaching with Achievements SPLASH-E File Attached | ||
09:00 30mTalk | (CSES) Assessing the Usability of a Novel System for Programming Education SPLASH-E Giovanni Vincenti University of Baltimore, Scott Hilberg , James Braman , Michael Satzinger University of Baltimore, Lily Cao Towson University File Attached | ||
09:30 30mTalk | (CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups SPLASH-E Aybuke Gul Turker University of Wisconsin - Madison, Christine Corbett Moran California Institute of Technology File Attached | ||
08:30 - 10:00 | |||
08:30 90mTalk | Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services REBLS Sebastian Burckhardt Microsoft Research | ||
08:30 - 10:00 | |||
08:45 15mTalk | Welcome and Introduction AGERE | ||
09:00 60mTalk | AGERE! Keynote: Advanced Features of the Orleans Programming FrameworkKeynote AGERE Philip A. Bernstein Microsoft Research File Attached | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Opening GPCE | ||
08:45 75mTalk | Keynote: The Landscape of Refactoring Research in the Last DecadeKeynote GPCE | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Opening SLE Benoit Combemale University of Rennes 1, Marjan Mernik University of Maribor, Bernhard Rumpe RWTH Aachen University, Germany Media Attached | ||
08:45 75mTalk | GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny DigKeynote SLE Danny Dig School of EECS at Oregon State University | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Opening - Day 2 Scala | ||
09:00 60mTalk | The Hack Programming Language Scala | ||
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome and Introduction PLATEAU | ||
09:00 60mTalk | PLATEAU Keynote: Usability Design Space in Programming by Examples PLATEAU Sumit Gulwani Microsoft Research | ||
08:30 - 10:00 | |||
08:45 15mDay opening | Welcome NOOL | ||
09:00 30mTalk | Objectifying a Metaprogramming Language NOOL Vadim Zaytsev Raincode Labs, Belgium | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | Session2: Software performance engineeringSEPS at Brighton Chair(s): Pablo de Oliveira Castro University of Versailles, France | ||
10:30 30mTalk | MALT, A Malloc Tracker SEPS Sébastien Valat CERN, Andres S. Charif-Rubial Université de Versailles Saint-Quentin, William Jalby Université de Versalles | ||
11:00 30mTalk | Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software SEPS Philip C. Roth Oak Ridge National Laboratory, Hongzhang Shan Lawrence Berkeley National Laboratory, David Riegner The Ohio State University, Nikolas Antolin The Ohio State University, Sarat Sreepathi Oak Ridge National Laboratory, Leonid Oliker Lawrence Berkeley National Laboratory, Samuel Williams Lawrence Berkeley National Laboratory, Shirley Moore Oak Ridge National Laboratory, Wolfgang Windl The Ohio State University | ||
11:30 30mTalk | The Influence of HPCToolkit and Score-P on Hardware Performance Counters SEPS Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt, Christian Iwainsky Competence Center for High-Performance Computing in Hessian, TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt | ||
10:30 - 12:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
10:30 45mTalk | Strong Memory Models: 5 Simple Tricks to Beat SC WODA Milind Kulkarni Purdue University | ||
11:15 20mTalk | Constructing Dynamic Control Flow Graphs from Execution Traces WODA | ||
11:35 20mTalk | Dynamic Verification of Inter-parameter Constraints in Web Applications WODA Nathalie Oostvogels , Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel | ||
10:30 - 12:00 | |||
10:30 20mTalk | Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time NJR Harry Xu University of California, Irvine File Attached | ||
10:50 20mTalk | Automated Benchmark Management NJR Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Ben Hermann University of Paderborn File Attached | ||
11:10 20mTalk | Tool Support for Energy-Aware Programming NJR Yu David Liu State University of New York (SUNY) Binghamton File Attached | ||
11:30 20mTalk | Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions NJR Michael D. Bond Ohio State University | ||
11:50 20mTalk | The Need for a JavaScript Benchmark for Program Analysis NJR File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Megamodelling with NGA Multimodels CoCoS Vadim Zaytsev Raincode Labs, Belgium | ||
11:00 30mTalk | Jatte: A Tunable Tree Editor for Integrated DSLs CoCoS | ||
11:30 30mTalk | Discussion CoCoS | ||
10:30 - 12:00 | |||
10:30 30mTalk | (CER) Early Experience with Grace SPLASH-E File Attached | ||
11:00 30mTalk | (CER) Making the Liskov Substitution Principle Happy and Sad SPLASH-E Elisa Baniassad University of British Columbia File Attached | ||
11:30 30mTalk | (CSES) Student Understanding of Aliasing and Procedure Calls SPLASH-E Preston Tunnell Wilson Brown University, Kathi Fisler Brown University, Shriram Krishnamurthi Brown University, USA File Attached | ||
10:30 - 12:00 | |||
10:30 30mTalk | Handling Partial Failures in Distributed Reactive Programming REBLS Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication | ||
11:00 30mTalk | A DSL for Compensable and Interruptible Executions REBLS Hiroaki Inoue Graduate School of Informatics, Kyoto University, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan | ||
11:30 30mTalk | First-class Reactive Programs for CPS REBLS Christophe De Troyer , Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Pre-print | ||
10:30 - 12:00 | Session 1: Verification and Language ModelsAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
10:30 30mTalk | Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors AGERE Humberto Rodriguez Avila Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel File Attached | ||
11:00 30mTalk | Tree Topologies for Causal Message Delivery AGERE Sebastian Blessing Imperial College London, Sylvan Clebsch Imperial College London, Sophia Drossopoulou | ||
11:30 30mTalk | Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency AGERE File Attached | ||
10:30 - 12:00 | |||
10:30 25mTalk | Refining Semantics for Multi-stage Programming GPCE DOI Authorizer link | ||
10:55 25mTalk | Staging for Generic Programming in Space and Time GPCE DOI Authorizer link | ||
11:20 25mTalk | Staging with Control: Type-Safe Multi-stage Programming with Control Operators GPCE DOI Authorizer link | ||
11:45 15mTalk | Code Staging in GNU GuixShort paper GPCE Ludovic Courtès Inria, France DOI Authorizer link | ||
10:30 - 12:00 | |||
10:30 25mTalk | Type-Safe Modular Parsing SLE DOI | ||
10:55 25mTalk | Incremental Packrat Parsing SLE DOI | ||
11:20 25mTalk | A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing SLE Kimio Kuramitsu Yokohama National University, Japan DOI | ||
11:45 15mTalk | Red Shift: Procedural Shift-Reduce ParsingVision Paper SLE Nicolas Laurent Université Catholique de Louvain, Belgium DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Typesafe Abstractions for Tensor Operations (Short Paper) Scala DOI Pre-print Media Attached | ||
11:00 30mTalk | Interactive Development using the Dotty Compiler (Tool Paper) Scala Guillaume Martres EPFL, Switzerland DOI Pre-print Media Attached | ||
11:30 30mTalk | Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) Scala DOI File Attached | ||
10:30 - 12:00 | |||
10:30 20mTalk | The Uses of Interactive Explorers for Web APIs PLATEAU Pre-print | ||
10:50 20mTalk | One λ at a time: What do we know about presenting human-friendly output from program analysis tools? PLATEAU Pre-print | ||
11:10 20mTalk | What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment PLATEAU Niklas Hollmann University of Duisburg-Essen, Germany, Thorben Roßenbeck University of Duisburg-Essen, Germany, Mark Kunze University of Duisburg-Essen, Germany, Liron Türk University of Duisburg-Essen, Germany, Stefan Hanenberg University of Duisburg-Essen Pre-print | ||
11:30 20mTalk | Development of a Web Platform for Code Peer-Testing PLATEAU Pre-print | ||
10:30 - 12:00 | |||
10:30 75mTalk | Panel Discussion: Security in OO languages NOOL P: Cristina Cifuentes Oracle Labs, Mark Miller Google Inc., Jonathan Aldrich Carnegie Mellon University, Yannis Smaragdakis University of Athens | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Transactional Actors: Communication in Transactions SEPS Janwillem Swalens Vrije Universiteit Brussel, Belgium, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel Link to publication DOI Pre-print | ||
14:00 20mTalk | [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques SEPS Silvana Morita Melo ICMC/USP, Simone do Rocio Senger de Souza ICMC/USP, Jeff Carver University of Alabama, Paulo Sergio Lopes de Souza ICMC/USP | ||
14:20 20mTalk | [Position paper] Declaring Lua Data Types for GPU Code Generation SEPS Paulo Motta Motta & SantAnna Pesquisa e Desenvolvimento | ||
14:40 20mTalk | [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room SEPS Matthias Book University of Iceland, Morris Riedel Jülich Supercomputing Centre, Helmut Neukirchen University of Iceland, Markus Götz Jülich Supercomputing Centre | ||
13:30 - 15:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
13:30 45mTalk | Finding Bugs and Insights in Semi-structured Data WODA Benjamin Zorn Microsoft Research | ||
14:15 45mTalk | Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability WODA Harry Xu University of California, Irvine | ||
13:30 - 15:00 | |||
13:30 90mOther | NJR discussion; Needs, Requirements, Wishes NJR Crista Lopes University of California, Irvine, Jens Palsberg University of California, Los Angeles (UCLA) | ||
13:30 - 15:00 | |||
13:30 30mTalk | Survey of Approaches for Assessing Software Energy Consumption CoCoS | ||
14:00 30mTalk | How Did the Failure Come to Be? CoCoS | ||
14:30 30mTalk | Discussion CoCoS | ||
13:30 - 15:00 | |||
13:30 30mTalk | (CSES) Open-Source Sofware in Class: Students’ Common Mistakes SPLASH-E Zhewei Hu North Carolina State University, Yang Song University of North Carolina Wilmington, Edward Gehringer North Carolina State University File Attached | ||
14:00 30mTalk | (CSES) Peer Review in Cybersecurity Education SPLASH-E File Attached | ||
14:30 30mTalk | (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly SPLASH-E Sarah Heckman NC State University, Kathryn Stolee North Carolina State University, Chris Parnin NCSU File Attached | ||
13:30 - 15:00 | |||
13:30 30mTalk | FRP IoT Modules as a Scala DSL REBLS Ben Calus imec - DistriNet, KU Leuven, Bob Reynders imec-DistriNet, KU Leuven, Belgium, Dominique Devriese KU Leuven, Job Noorman KU Leuven, Frank Piessens KU Leuven | ||
14:00 30mTalk | Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model REBLS Sam Van den Vonder , Joeri De Koster Vrije Universiteit Brussel, Belgium, Florian Myter Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print | ||
14:30 30mTalk | Verifiable Reactive Software REBLS | ||
13:30 - 15:00 | Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
13:30 30mTalk | Locality-Guided Scheduling in CAF AGERE File Attached | ||
14:00 30mTalk | A Principled Approach Towards Debugging Communicating Event-Loops AGERE Carmen Torres Lopez , Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria, Christophe Scholliers Universiteit Gent, Belgium | ||
14:30 30mTalk | Actoverse: A Reversible Debugger for Actors AGERE Link to publication DOI | ||
13:30 - 15:00 | |||
13:30 25mTalk | A Classification of Variation Control Systems GPCE Lukas Linsbauer Johannes Kepler University Linz, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Paul Grünbacher JKU Linz, Austria DOI Authorizer link | ||
13:55 25mTalk | Analyzing the Impact of Natural Language Processing over Feature Location in Models GPCE Raúl Lapeña San Jorge University, Spain, Jaime Font San Jorge University, Spain, Oscar Pastor Universitat Politècnica de València, Spain, Carlos Cetina San Jorge University, Spain DOI Authorizer link | ||
14:20 25mTalk | How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-PronenessBest Paper GPCE Wolfram Fenske University of Magdeburg, Germany, Sandro Schulze University of Magdeburg, Germany, Gunter Saake University of Magdeburg, Germany DOI Authorizer link | ||
13:30 - 15:00 | |||
13:30 23mTalk | Towards a Taxonomy of Grammar Smells SLE DOI | ||
13:53 22mTalk | Deep Priority Conflicts in the Wild: A Pilot Study SLE Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael J. Steindorfer Delft University of Technology, Eelco Visser Delft University of Technology DOI | ||
14:16 22mTalk | Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation SLE Robert Bill Vienna University of Technology, Patrick Neubauer University of York, UK, Manuel Wimmer TU Wien DOI | ||
14:38 22mTalk | Robust Projectional Editing SLE DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Scala DOI Media Attached | ||
14:00 30mTalk | Effekt: Extensible Algebraic Effects in Scala (Short Paper) Scala Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen DOI Pre-print Media Attached File Attached | ||
13:30 - 15:00 | Language, DSL, and Feature DesignPLATEAU at Regency D Chair(s): Joshua Sunshine Carnegie Mellon University | ||
13:30 20mTalk | A User Study to Inform the Design of the Obsidian Blockchain DSL PLATEAU Celeste Barnaby Wesleyan University, Michael Coblenz Carnegie Mellon University, Tyler Etzel , Eliezer Kanal Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University Pre-print | ||
13:50 15mTalk | Programming Robot Manipulators with Tangible Blocks PLATEAU Pre-print | ||
14:05 20mTalk | Preliminary Analysis of REST API Style Guidelines PLATEAU Lauren Murphy University of Michigan, Tosin Alliyu Haverford College, Mary Beth Kery Carnegie Mellon University, Brad A. Myers Carnegie Mellon University Pre-print | ||
14:25 20mTalk | Sympathy for the Devil: Reified Collection of Runtime Errors PLATEAU Tommaso Dal Sasso Università della Svizzera Italiana, Andrei Chiş feenk, Switzerland, Andrea Mocci Universita della Svizzera italiana (USI), Tudor Gîrba CompuGroup Medical Schweiz AG, Michele Lanza Università della Svizzera italiana (USI) Pre-print | ||
14:45 15mTalk | Preventing Babel: Rectifying the Trend of Programming Language Divergence PLATEAU Pre-print | ||
13:30 - 15:00 | |||
13:30 30mTalk | Integrating Debugging with Continuous Testing NOOL | ||
14:00 30mTalk | Algool – Object-Orientation with Algebraic Specification NOOL Anya Helene Bagge University of Bergen | ||
14:30 30mTalk | Usably Expressing and Enforcing Design in Wyvern NOOL | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:00 | |||
15:30 90mTalk | Panel discussions: "Open source software and tools for engineering parallel software" SEPS Yukinori Sato Tokyo Institute of Technology, Pablo de Oliveira Castro University of Versailles, France, Philipp Haller KTH Royal Institute of Technology | ||
15:30 - 17:00 | WODAWODA at Cavendish Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK | ||
15:30 30mTalk | Model Checking with Maximal Causality Reduction WODA Jeff Huang Texas A&M University | ||
16:00 30mTalk | Better Program Analysis Through Heap Profiling WODA | ||
16:30 30mTalk | Can Analysis be Too Precise? WODA Sam Guyer Tufts University | ||
15:30 - 17:00 | |||
15:30 30mTalk | Lightning Talks CoCoS | ||
16:00 30mOther | Break-out groups CoCoS | ||
16:30 30mTalk | Wrap-Up CoCoS | ||
15:30 - 17:00 | |||
15:30 60mTalk | AGERE! Keynote: Actors for Big Data: Applications and Open ProblemsKeynote AGERE | ||
16:30 30mTalk | Discussion/Panel AGERE | ||
15:30 - 17:00 | |||
15:30 25mTalk | Type Qualifiers as Composable Language Extensions GPCE DOI Authorizer link | ||
15:55 25mTalk | Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM GPCE Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Walter Binder University of Lugano, Switzerland DOI Authorizer link | ||
16:20 25mTalk | Rewriting for Sound and Complete Union, Intersection and Negation Types GPCE David J. Pearce Victoria University of Wellington, New Zealand DOI Authorizer link | ||
15:30 - 17:00 | DSLsSLE at Regency B Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven | ||
15:30 25mTalk | Debugging with Domain-Specific Events via Macros SLE DOI | ||
15:55 25mTalk | A Chrestomathy of DSL implementations SLE Simon Schauss University of Koblenz-Landau, Ralf Laemmel University of Koblenz-Landau, Germany, Johannes Härtel University of Koblenz-Landau, Germany, Marcel Heinz University of Koblenz-Landau, Germany, Kevin Klein University of Koblenz-Landau, Lukas Härtel University of Koblenz-Landau, Germany, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden DOI | ||
16:20 25mTalk | A Requirements Engineering Approach for Usability-Driven DSL Development SLE Ankica Barisic NOVA-LINCS - Universidade Nova de Lisboa, Dominique Blouin LTCI Lab, Telecom ParisTech, Université Paris-Saclay, Vasco Amaral NOVA-LINCS, FCT/UNL, Miguel Goulao NOVA-LINCS, FCT/UNL DOI | ||
16:45 25mTalk | Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages SLE Marco Brambilla Politecnico di Milano, Jordi Cabot ICREA - UOC, Javier Luis Cánovas Izquierdo IN3 - UOC, Andrea Mauri Politecnico di Milano, Italy DOI | ||
15:30 - 17:00 | UnconferenceScala at Regency C Chair(s): Jonathan Immanuel Brachthäuser University of Tübingen, Germany | ||
15:30 90mTalk | Unconference Scala | ||
15:30 - 17:00 | |||
15:30 30mTalk | Ivo functions forward and backward NOOL | ||
16:00 30mTalk | Towards Typing Julia NOOL | ||
16:30 30mDay closing | Closing thoughts & plans for next year NOOL | ||
17:30 - 19:30 | |||
17:30 2hSocial Event | Monday Workshop and Poster Reception Social Program Gail Murphy University of British Columbia | ||
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
Tue 24 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 30mTalk | Welcome OCAP | ||
09:00 60mTalk | Keynote by Norm Hardy OCAP | ||
08:30 - 10:00 | |||
08:30 5mDay opening | Welcome Doctoral Symposium | ||
08:35 15mTalk | Lightning Talks Doctoral Symposium | ||
08:50 30mTalk | Invited Talk: From PHD to PROF: blind luck or careful planning? Doctoral Symposium Jan Vitek Northeastern University, USA | ||
09:20 40mTalk | How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System Doctoral Symposium Germán Ceballos Uppsala University | ||
08:30 - 10:00 | |||
08:00 10mDay opening | Welcome and Greeting PL Mentoring Workshop (PLMW) File Attached | ||
08:10 40mTalk | Research is a social process / What Programming Languages Researchers Do and How PL Mentoring Workshop (PLMW) Kathryn S McKinley Google File Attached | ||
08:50 40mTalk | Why do a Ph.D. and how to pick an area? PL Mentoring Workshop (PLMW) Yannis Smaragdakis University of Athens File Attached | ||
09:30 40mTalk | The Influence of Programming Languages on Augmenting Human Understanding PL Mentoring Workshop (PLMW) Benjamin Zorn Microsoft Research Media Attached File Attached | ||
08:30 - 10:00 | |||
08:30 15mAwards | Awards GPCE | ||
08:45 75mTalk | Keynote: Engineering Meta-Languages for Specifying Software LanguagesKeynote GPCE Peter D. Mosses Swansea University | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Awards SLE Marjan Mernik University of Maribor, Bernhard Rumpe RWTH Aachen University, Germany, Laurence Tratt King's College London, Tanja Mayerhofer TU Wien File Attached | ||
08:45 75mTalk | SLE Keynote: Engineering meta-languages for specifying software languagesKeynote SLE Peter D. Mosses Swansea University DOI File Attached | ||
08:30 - 09:30 | |||
08:30 60mTalk | Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017) VMIL Filip Pizlo Apple | ||
08:30 - 10:00 | |||
08:30 60mTalk | Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017) DLS Filip Pizlo Apple | ||
09:30 30mTalk | A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools DLS Stefan Marr University of Kent, Carmen Torres Lopez , Dominik Aumayr , Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print | ||
08:30 - 10:00 | |||
08:30 50mTalk | Keynote: User Interfaces for Live Programming LIVE Jun Kato National Institute of Advanced Industrial Science and Technology, Japan | ||
09:20 20mTalk | Reifying Programming LIVE Pre-print Media Attached | ||
09:40 20mTalk | Live Programming as Gradual Abstraction LIVE Sean McDirmid Independent Pre-print Media Attached | ||
08:30 - 10:00 | Keynote (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Yvonne Coady University of Victoria | ||
08:30 30mSocial Event | Welcome and Hello! SAVR | ||
09:00 60mTalk | The Immersive Internet, Karan Singh, University of Toronto SAVR | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 30mTalk | CapNet: Security and Least Authority in a Capability-Enabled Cloud OCAP Anton Burtsev University of California, Irvine, David Johnson University of Utah, Josh Kunz University of Utah, Eric Eide University of Utah, Jacobus Van der Merwe University of Utah | ||
11:00 30mTalk | Monte: A Spiritual Successor to E OCAP Corbin Simpson Matador Cloud LLC | ||
11:30 30mTalk | Using Object Capabilities and Effects to Build an Authority-Safe Module System OCAP Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Valerie Zhao Wellesley College, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University | ||
10:30 - 12:00 | |||
10:30 40mTalk | Genetic Improvement in Code Interpreters and Compilers Doctoral Symposium Oliver Krauss University of Applied Sciences Upper Austria | ||
11:10 40mTalk | Simulation-based Code Duplication for Enhancing Compiler Optimizations Doctoral Symposium David Leopoldseder Johannes Kepler University Linz | ||
10:30 - 12:00 | |||
10:30 40mTalk | What to do and who to ask? PL Mentoring Workshop (PLMW) Y. Annie Liu Stony Brook University File Attached | ||
11:10 60mOther | Panel of new Ph.D.s PL Mentoring Workshop (PLMW) Michael Hilton Carnegie Mellon University, USA, Kathryn Stolee North Carolina State University, David Darais University of Maryland, USA, Annie T.T. Ying EquitySim | ||
10:30 - 12:00 | |||
10:30 25mTalk | A Formalisation of Parameterised Reference Attribute Grammars SLE DOI | ||
10:55 25mTalk | Concurrent Circular Reference Attribute Grammars SLE DOI | ||
11:20 25mTalk | Ensuring Non-interference of Composable Language Extensions SLE DOI | ||
11:45 15mTalk | A Domain-Specific Controlled English Language for Automated Regulatory ComplianceIndustrial Paper SLE Suman Roychoudhury Tata Consultancy Services Research, Sagar Sunkle Tata Consultancy Services Research, Deepali Kholkar Tata Consultancy Services Research, Vinay Kulkarni Tata Consultancy Services Research DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Dynamic Atomicity: Optimizing Swift memory management DLS | ||
11:00 30mTalk | Object equivalence: Revisiting Object Equality Profiling (An Experience Report) DLS | ||
11:30 30mTalk | Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report DLS Javier Pimás Palantir Solutions, Javier Burroni , Jean Baptiste Arnaud , Stefan Marr University of Kent DOI | ||
10:30 - 12:00 | |||
10:30 50mTalk | Keynote: Becoming Alive, Growing Up LIVE | ||
11:20 20mTalk | Toward a Live Stepper for Typed Expressions with Holes LIVE Cyrus Omar Carnegie Mellon University, Ian Voysey Carnegie Mellon University, Matthew Hammer University of Colorado, Boulder Pre-print | ||
11:40 20mTalk | Whatever You Say, Happens: Live Creation of VR/AR Experiences LIVE Mike Johnston Moatboat Pre-print Media Attached | ||
10:30 - 12:00 | Building and Breaking (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Derek Jacoby Qvirt.com | ||
10:30 20mTalk | Online Debugger Support for Reactive Programming Using Virtual Reality SAVR | ||
10:50 20mTalk | Prototyping with Unity for AR & VR SAVR | ||
11:10 20mTalk | Immersive Analytics Tool For Creating Graphs and Models SAVR | ||
11:30 30mTalk | Panel Discussion I SAVR | ||
10:30 - 12:00 | |||
10:30 10mDay opening | Welcome to VMIL VMIL Adam Welc Huawei America Research Center | ||
10:40 40mTalk | Cross-ISA debugging in meta-circular VMs VMIL Christos Kotselidis The University of Manchester, Andrew Nisbet The University of Manchester, Foivos S. Zakkak , Nikos Foutris | ||
11:20 40mTalk | Accelerate JavaScript Applications by Cross-Compiling to WebAssembly VMIL | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Capabilities and Effects OCAP Aaron Craig ECS, VUW, Alex Potanin Victoria University of Wellington, Lindsay Groves Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University Pre-print | ||
14:00 30mTalk | Reference Capabilities for Concurrency & Scalability: an Experience Report OCAP | ||
14:30 30mTalk | Unforgeable Distributed Capabilities OCAP | ||
13:30 - 15:00 | |||
13:30 30mTalk | Invited Talk: From PhD to Fossil: of choice and context, technical and personal Doctoral Symposium David Ungar Apple, Inc, | ||
14:00 40mTalk | Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs Doctoral Symposium | ||
13:30 - 15:00 | |||
13:30 40mTalk | My 25 years in OO PL Mentoring Workshop (PLMW) Jan Vitek Northeastern University, USA File Attached | ||
14:10 40mTalk | Choosing your mentor and learning to present your ideas clearly PL Mentoring Workshop (PLMW) Ana Milanova Rensselaer Polytechnic Institute File Attached | ||
13:30 - 15:00 | |||
13:30 25mTalk | Four Languages and Lots of Macros: Analyzing Autotools Build Systems GPCE Jafar M. Al-Kofahi Iowa State University, USA, Suresh Kothari Iowa State University, USA, Christian Kästner Carnegie Mellon University, USA DOI Authorizer link | ||
13:55 25mTalk | Avoiding Useless Mutants GPCE Leonardo Fernandes Federal University of Pernambuco, Brazil, Márcio Ribeiro Federal University of Alagoas, Brazil, Luiz Carvalho Federal University of Alagoas, Brazil, Rohit Gheyi Federal University of Campina Grande, Brazil, Melina Mongiovi Federal University of Campina Grande, Brazil, Andre Santos , Ana Cavalcanti University of York, UK, Fabiano Ferrari Federal University of São Carlos, Brazil, José Carlos Maldonado University of São Paulo, Brazil DOI Authorizer link | ||
14:20 25mTalk | Silverchain: A Fluent API Generator GPCE Tomoki Nakamaru University of Tokyo, Japan, Kazuhiro Ichikawa University of Tokyo, Japan, Tetsuro Yamazaki University of Tokyo, Japan, Shigeru Chiba University of Tokyo, Japan DOI Authorizer link | ||
14:45 15mTalk | Parser Generation by Example for Legacy Pattern LanguagesShort paper GPCE Vadim Zaytsev Raincode Labs, Belgium DOI Authorizer link | ||
13:30 - 15:00 | |||
13:30 23mTalk | Concrete Syntax: A Multi-paradigm Modelling Approach SLE Yentl Van Tendeloo University of Antwerp, Simon Van Mierlo University of Antwerp, Bart Meyers University of Antwerp, Belgium, Hans Vangheluwe University of Antwerp and McGill University DOI | ||
13:53 23mTalk | Structural Model Subtyping with OCL Constraints SLE Artur Boronat University of Leicester DOI | ||
14:16 22mTalk | Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools SLE DOI | ||
14:38 22mTalk | Tool Demonstration: A development environment for the Alf language within the MagicDraw UML toolTool Demo SLE Ed Seidewitz nMeta LLC DOI | ||
13:30 - 15:00 | |||
13:30 60mTalk | Invited talk: Challenges and Progress Toward Efficient Gradual Typing DLS Jeremy G. Siek Indiana University, USA File Attached | ||
14:30 30mTalk | Semantics of Asynchronous JavaScript DLS | ||
13:30 - 15:00 | |||
13:30 50mOther | Lightning Talks LIVE Sean McDirmid Independent | ||
14:20 20mTalk | Shadama: A Particle Simulation Programming Environment for Everyone LIVE Yoshiki Ohshima HARC / Y Combinator Research, Bert Freudenberg , Dan Amelang Viewpoints Research Institute Pre-print Media Attached | ||
14:40 20mTalk | Seymour: Live Programming for the Classroom LIVE Pre-print | ||
13:30 - 15:00 | Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Craig Anslow Victoria University of Wellington | ||
13:30 20mTalk | Detecting Spatial Orientation Demands during Virtual Navigation using EEG Brain Sensing SAVR | ||
13:50 20mTalk | I Am Afraid: Voice Performance in Virtual Reality SAVR | ||
14:10 20mTalk | Rich collaboration systems: Improving online collaboration with multi-modal interactions SAVR | ||
14:30 30mTalk | Panel Discussion II SAVR | ||
13:30 - 15:00 | |||
13:30 60mTalk | Keynote: How Should We Train the Next Generation of VM Engineers? VMIL Mario Wolczko Oracle Labs | ||
14:30 40mTalk | Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations VMIL Shijie Xu University of New Brunswick, David Bremner University of New Brunswick, Daniel Heidinga IBM | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | Specifying Attenuation OCAP | ||
16:00 60mTalk | Panel/Discussion OCAP | ||
15:30 - 17:00 | |||
15:30 40mTalk | What merge tool should I use? Doctoral Symposium Guilherme Cavalcanti Federal University of Pernambuco, Brazil | ||
16:10 40mTalk | Combining Visual and Textual Languages for Dyslexia Doctoral Symposium Luis Fernando González Alvarán Politécnico Colombiano Jaime Isaza Cadavid | ||
16:50 10mDay closing | Closing remarks Doctoral Symposium | ||
15:30 - 17:00 | |||
15:20 40mTalk | Navigating the process of doing a rewarding Ph.D. PL Mentoring Workshop (PLMW) Mayur Naik University of Pennsylvania File Attached | ||
16:00 60mOther | Panel: Industry & Academia PL Mentoring Workshop (PLMW) Kathryn S McKinley Google, Julia Rubin University of British Columbia, Benjamin Zorn Microsoft Research, Mayur Naik University of Pennsylvania | ||
17:00 15mDay closing | Wrap Up PL Mentoring Workshop (PLMW) File Attached | ||
17:15 75mSocial Event | Post-Workshop Reception PL Mentoring Workshop (PLMW) | ||
15:30 - 17:00 | |||
15:30 25mTalk | A Haskell Compiler for Signal Transforms GPCE DOI Authorizer link | ||
15:55 25mTalk | Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report GPCE Ricardo Giuliani Martini University of Minho, Portugal, Pedro Rangel Henriques University of Minho, Portugal DOI Authorizer link | ||
16:20 25mTalk | Rewriting a Shallow DSL using a GHC Compiler Extension GPCE Mark Grebe University of Kansas, USA, David Young University of Kansas, USA, Andy Gill University of Kansas, USA DOI Authorizer link | ||
15:30 - 17:00 | |||
15:30 25mTalk | FlowSpec: Declarative Dataflow Analysis Specification SLE DOI File Attached | ||
15:55 25mTalk | Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages SLE Francesco Di Giacomo Università Ca' Foscari, Mohamed Abbadi Hogeschool Rotterdam, Agostino Cortesi Università Ca' Foscari Venezia, Pieter Spronck Tilburg University, Giuseppe Maggiore Hogeschool Rotterdam DOI | ||
16:20 25mTalk | Robust Programs with Filtered Iterators SLE Jiasi Shen Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology DOI | ||
16:45 25mTalk | An Introduction to the Software Language Engineering Body of Knowledge SLE Vadim Zaytsev Raincode Labs, Belgium | ||
17:10 10mTalk | Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? SLE Rui Pereira HASLab/INESC TEC & Universidade do Minho, Marco Couto HASLab/INESC TEC & Universidade do Minho, Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, Rui Rua HASLab/INESC TEC & Universidade do Minho, Jácome Cunha NOVA-LINCS - Universidade Nova de Lisboa, João Paulo Fernandes Release/LISP, CISUC, João Saraiva University of Minho, Portugal DOI Media Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | Decoding Lua: Formal Semantics for the Developer and the Semanticist DLS Mallku Soldevila FAMAF, UNC / CONICET, Beta Ziliani FAMAF, UNC and CONICET, Bruno Silvestre , Daniel Fridlender , Fabio Mascarenhas UFRJ | ||
16:00 30mTalk | The Semantics of Name Resolution in Grace DLS DOI | ||
15:30 - 17:00 | |||
15:30 20mTalk | ZenSheet: a live programming environment for reactive computing LIVE Media Attached File Attached | ||
15:50 20mTalk | Anansi: a Tracing Interpreter LIVE Pre-print Media Attached | ||
16:10 50mOther | Closing Discussion LIVE Sean McDirmid Independent | ||
15:30 - 17:00 | Bits versus Atoms! (Venture Labs, 12th Floor, 555 Hastings)SAVR at Venture Labs Chair(s): Florian Myter Vrije Universiteit Brussel, Belgium | ||
15:30 20mTalk | Swivel-Chair: Evaluating Seated Full-Rotational Interfaces for Virtual Reality Navigation SAVR | ||
15:50 20mTalk | Monocle - Physical to Digital SAVR | ||
16:10 20mTalk | What we can Learn Observing the Observer Observing the User in Public VR Contexts SAVR | ||
16:30 28mTalk | Panel Discussion III SAVR | ||
16:58 1mTalk | Lightening Talk: A Virtual Reality Experience Demonstration: The Gold Rush in British Columbia SAVR | ||
16:59 1mTalk | Lightening Talk: Virtual reality for tsunami emergency training in Port Alberni SAVR | ||
15:30 - 17:00 | |||
15:30 90mOther | Panel - The future of language runtimes VMIL Tony Hosking Australian National University / Data61, Mario Wolczko Oracle Labs, David Grove IBM Research | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Dinner (registration add-on) GPCE | ||
18:00 - 20:00 | |||
18:00 2hDinner | Dinner (registration add-on) SLE | ||
Wed 25 OctDisplayed time zone: Tijuana, Baja California change
Wed 25 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 10mDay opening | Welcome to SPLASH 2017 Keynotes | ||
08:40 10mAwards | OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award Keynotes | ||
08:50 70mTalk | SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspectiveKeynote Keynotes Chris Granger Kodowa | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 22mTalk | SAVI Objects: Sharing and Virtuality Incorporated OOPSLA Izzat El Hajj University of Illinois at Urbana-Champaign, USA, Thomas B. Jablin University of Illinois at Urbana-Champaign, USA / Multicoreware, USA, Dejan Milojicic Hewlett Packard Labs, USA, Wen-mei Hwu University of Illinois at Urbana-Champaign, USA DOI | ||
10:52 22mTalk | A Simple Soundness Proof for Dependent Object Types OOPSLA Marianna Rapoport University of Waterloo, Canada, Ifaz Kabir University of Waterloo, Canada, Paul He University of Waterloo, Canada, Ondřej Lhoták University of Waterloo, Canada DOI | ||
11:15 22mTalk | Unifying Typing and Subtyping OOPSLA DOI | ||
11:37 22mTalk | Fast and Precise Type Checking for JavaScript OOPSLA Avik Chaudhuri Facebook, USA, Panagiotis Vekris University of California at San Diego, USA, Sam Goldman Facebook, USA, Marshall Roch Facebook, USA, Gabriel Levi Facebook, USA DOI | ||
10:30 - 12:00 | Language DesignOnward! Papers at Regency B Chair(s): Zachary Tatlock University of Washington, Seattle | ||
10:30 30mTalk | Can We Crowdsource Language Design? Onward! Papers Preston Tunnell Wilson Brown University, Justin Pombrio Brown University, USA, Shriram Krishnamurthi Brown University, USA | ||
11:00 30mTalk | Assessing User Preferences in Programming Language Design Onward! Papers Roger Chamberlain Washington University in St. Louis | ||
11:30 30mTalk | Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages Onward! Papers Friedrich Steimann Fernuniversität | ||
10:30 - 12:00 | |||
10:30 22mTalk | A Volatile-by-Default JVM for Server Applications OOPSLA Lun Liu University of California at Los Angeles, USA, Todd Millstein University of California, Los Angeles, Madan Musuvathi Microsoft Research DOI | ||
10:52 22mTalk | Static Placement of Computation on Heterogeneous Devices OOPSLA Gabriel Poesia Federal University of Minas Gerais, Brazil, Breno Campos Ferreira Guimarães Federal University of Minas Gerais, Brazil, Fabrício Ferracioli LG Electronics, Brazil, Fernando Magno Quintão Pereira UFMG DOI | ||
11:15 22mTalk | Skip Blocks: Reusing Execution History to Accelerate Web Scripts OOPSLA DOI | ||
11:37 22mTalk | Virtual Machine Warmup Blows Hot and Cold OOPSLA Edd Barrett King's College London, CF Bolz-Tereick , Rebecca Killick Department of Mathematics and Statistics, University of Lancaster, Sarah Mount King's College London, Laurence Tratt King's College London DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | Direct Manipulation Programming Systems SPLASH-I Ravi Chugh University of Chicago | ||
11:00 30mTalk | Toward Scalable Semantic Big Data SPLASH-I Julian Dolby IBM Thomas J. Watson Research Center | ||
11:30 30mTalk | Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming SPLASH-I | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 22mTalk | Sound Gradual Typing: Only Mostly Dead OOPSLA Spenser Andrew Bauman Indiana University, USA, Sam Tobin-Hochstadt Indiana University, Jeremy G. Siek Indiana University, USA, CF Bolz-Tereick DOI | ||
13:52 22mTalk | Sound Gradual Typing Is Nominally Alive and Well OOPSLA DOI | ||
14:15 22mTalk | The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing OOPSLA Gregor Richards University of Waterloo, Ellen Arteca University of Waterloo, Canada, Alexi Turcotte University of Waterloo DOI | ||
14:37 22mTalk | Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models OOPSLA Tomoharu Ugawa Kochi University of Technology, Japan, Tatsuya Abe Chiba Institute of Technology, Japan, Toshiyuki Maeda Chiba Institute of Technology, Japan DOI | ||
13:30 - 15:00 | Program Generation and SynthesisOnward! Papers at Regency B Chair(s): Emina Torlak University of Washington | ||
13:30 30mTalk | Generating Chat Bots from Web API Specifications Onward! Papers Mandana Vaziri IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research, Jerome Simeon IBM Research, Martin Hirzel IBM Research | ||
14:00 30mTalk | ChimpCheck: Property-based Randomized Test Generation for Interactive Apps Onward! Papers Edmund Lam University of Colorado Boulder, Peilun Zhang , Bor-Yuh Evan Chang University of Colorado Boulder | ||
14:30 30mTalk | Unbounded Superoptimization Onward! Papers | ||
13:30 - 15:00 | |||
13:30 22mTalk | Effective Interactive Resolution of Static Analysis Alarms OOPSLA Xin Zhang Massachusetts Institute of Technology, USA, Radu Grigore University of Kent, Xujie Si University of Pennsylvania, Mayur Naik University of Pennsylvania DOI | ||
13:52 22mTalk | Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis OOPSLA Eric Seidel University of California at San Diego, USA, Huma Sibghat University of California at San Diego, USA, Kamalika Chaudhuri University of California at San Diego, USA, Westley Weimer University of Virginia, USA, Ranjit Jhala University of California at San Diego, USA DOI | ||
14:15 22mTalk | Abridging Source Code OOPSLA Binhang Yuan Rice University, USA, Vijayaraghavan Murali Rice University, USA, Chris Jermaine Rice University DOI | ||
14:37 22mTalk | Evaluating and Improving Semistructured Merge OOPSLA Guilherme Cavalcanti Federal University of Pernambuco, Brazil, Paulo Borba Federal University of Pernambuco, Brazil, Paola Accioly Federal University of Pernambuco, Brazil DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | Browser Performance Woes: Past, Present, and Future SPLASH-I Ben Livshits Imperial College London, UK | ||
14:00 30mTalk | It's Time for Secure Languages SPLASH-I Cristina Cifuentes Oracle Labs | ||
14:30 30mTalk | Preventing Information Leaks by Construction SPLASH-I Jean Yang Carnegie Mellon University | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Catering | ||
15:30 - 17:22 | |||
15:30 22mTalk | Model-Assisted Machine-Code Synthesis OOPSLA Venkatesh Srinivasan University of Wisconsin - Madison, Ara Vartanian University of Wisconsin-Madison, USA, Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. DOI | ||
15:52 22mTalk | Synthesis of Data Completion Scripts using Finite Tree Automata OOPSLA DOI | ||
16:14 22mTalk | SQLizer: Query Synthesis from Natural Language OOPSLA Navid Yaghmazadeh University of Texas, Austin, Yuepeng Wang University of Texas at Austin, Işıl Dillig UT Austin, Thomas Dillig DOI | ||
16:37 22mTalk | Synthesizing Configuration File Specifications with Association Rule Learning OOPSLA Mark Santolucito Yale University, Ennan Zhai Yale University, USA, Rahul Dhodapkar MongoDB, USA, Aaron Shim Microsoft, USA, Ruzica Piskac Yale University DOI | ||
16:59 22mTalk | Natural Synthesis of Provably-Correct Data-Structure Manipulations OOPSLA DOI | ||
15:30 - 17:00 | |||
15:30 45mTalk | Some Were Meant For C: The endurance of an unmanageable language Onward! Essays Stephen Kell University of Cambridge | ||
16:15 45mTalk | Concept Analysis in Programming Language Research: Done Well It Is All Right Onward! Essays DOI Pre-print | ||
15:30 - 17:00 | |||
15:30 22mTalk | Practical Initialization Race Detection for JavaScript Web Applications OOPSLA Christoffer Quist Adamsen Aarhus University, Anders Møller Aarhus University, Frank Tip Northeastern University DOI | ||
15:52 22mTalk | Instrumentation Bias for Dynamic Data Race Detection OOPSLA Benjamin P. Wood Wellesley College, Man Cao Ohio State University, Michael D. Bond Ohio State University, Dan Grossman University of Washington DOI | ||
16:15 22mTalk | Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols OOPSLA DOI | ||
16:37 22mTalk | Heaps Don't Lie: Countering Unsoundness with Heap Snapshots OOPSLA Neville Grech , George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens DOI | ||
15:30 - 17:00 | |||
15:30 90mTalk | Panel: 50 Years of Language Evolution: From Simula’67 to the FuturePanel SPLASH-I Steven D. Fraser , Lera Boroditsky UC San Diego, Robert Gentleman 23andme, Chris Granger Kodowa, Sumit Gulwani Microsoft Research, Crista Lopes University of California, Irvine | ||
17:30 - 19:30 | |||
17:30 2hSocial Event | Wednesday Poster Reception Social Program Gail Murphy University of British Columbia | ||
Thu 26 OctDisplayed time zone: Tijuana, Baja California change
Thu 26 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 15mAwards | OOPSLA Awards Keynotes | ||
08:45 75mTalk | SPLASH 2017 Keynote: Objects in the Age of DataKeynote Keynotes Crista Lopes University of California, Irvine | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:00 | |||
10:30 22mTalk | Familia: Unifying Interfaces, Type Classes, and Family Polymorphism OOPSLA DOI | ||
10:52 22mTalk | Static Stages for Heterogeneous Programming OOPSLA DOI Pre-print | ||
11:15 22mTalk | Orca: GC and Type System Co-Design for Actor Languages OOPSLA Sylvan Clebsch Imperial College London, Juliana Franco Imperial College London, Sophia Drossopoulou , Albert Mingkun Yang , Tobias Wrigstad Uppsala University, Jan Vitek Northeastern University, USA DOI | ||
11:37 22mTalk | Monadic Composition for Deterministic, Parallel Batch Processing OOPSLA Ryan Scott Indiana University, Omar Navarro-Leija University of Pennsylvania, USA, Ryan R. Newton Indiana University, Joseph Devietti University of Pennsylvania DOI | ||
10:30 - 12:00 | |||
10:30 90mOther | Panel: How can our publication models best serve our research? Onward! Essays Mary Shaw Carnegie Mellon University, P: Crista Lopes University of California, Irvine, Matthias Hauswirth Università della Svizzera italiana (USI), P: Philippe Kruchten University of British Columbia | ||
10:30 - 12:00 | Optimizing Compilation and VerificationOOPSLA at Regency C Chair(s): Gregor Richards University of Waterloo | ||
10:30 22mTalk | The Tensor Algebra Compiler OOPSLA Fredrik Kjolstad MIT CSAIL, Shoaib Kamil Adobe, Stephen Chou MIT CSAIL, David Lugato CEA, France, Saman Amarasinghe MIT DOI | ||
10:52 22mTalk | TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals OOPSLA Laith Sakka Purdue University, Kirshanthan Sundararajah Purdue University, Milind Kulkarni Purdue University DOI | ||
11:15 22mTalk | Verifying Spatial Properties of Array Computations OOPSLA Dominic Orchard University of Kent, UK, Mistral Contrastin , Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK DOI | ||
11:37 22mTalk | GLORE: Generalized Loop Redundancy Elimination upon LER-Notation OOPSLA DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | HHVM: Efficient and Scalable PHP/Hack Execution SPLASH-I Guilherme Ottoni Facebook | ||
11:00 30mTalk | Performance Analysis and Optimization of C++ Standard Libraries SPLASH-I | ||
11:30 30mTalk | Verifying Network Data Planes SPLASH-I Nate Foster Cornell University | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | Mining Software Repositories and ParsingOOPSLA at Regency A Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel | ||
13:30 22mTalk | Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining OOPSLA Samantha Syeda Khairunnesa Iowa State University, Hoan Anh Nguyen Iowa State University, USA, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University DOI | ||
13:52 22mTalk | DéjàVu: A Map of Code Duplicates on GitHub OOPSLA Crista Lopes University of California, Irvine, Petr Maj ReactorLabs, Pedro Martins University of California at Irvine, USA, Vaibhav Saini University of California at Irvine, USA, Di Yang University of California at Irvine, USA, Jakub Zitny Czech Technical University, Czechia, Hitesh Sajnani Microsoft , Jan Vitek Northeastern University, USA DOI | ||
14:15 22mTalk | Understanding the Use of Lambda Expressions in Java OOPSLA Davood Mazinanian Concordia University, Canada, Ameya Ketkar Oregon State University, USA, Nikolaos Tsantalis Concordia University, Canada, Danny Dig School of EECS at Oregon State University DOI | ||
14:37 22mTalk | Restricting Grammars with Tree Automata OOPSLA DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | The Serverless Trilemma: Function Composition for Serverless Computing Onward! Papers Ioana Baldini IBM T.J. Watson Research, Perry Cheng IBM Research, Stephen J Fink IBM, Nick Mitchell , Vinod Muthusamy IBM T.J. Watson Research, Rodric Rabbah IBM Research, Philippe Suter Two Sigma, Olivier Tardieu IBM Research | ||
14:00 30mTalk | Encoding the building blocks of communication Onward! Papers Aleksandar Prokopec Oracle Labs | ||
14:30 30mTalk | IoTa: A Calculus for Internet of Things Automation Onward! Papers Julie L. Newcomb University of California at Berkeley, Satish Chandra Facebook, Jean-Baptiste Jeannin Carnegie Mellon University , Cole Schlesinger Samsung Research America, Manu Sridharan Uber | ||
13:30 - 15:00 | |||
13:30 22mTalk | Seam: Provably Safe Local Edits on Graphs OOPSLA Manolis Papadakis Stanford University, USA, Gilbert Louis Bernstein Stanford University, USA, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Pat Hanrahan Stanford University, USA DOI | ||
13:52 22mTalk | TiML: A Functional Language for Practical Complexity Analysis with Invariants OOPSLA Peng Wang Massachusetts Institute of Technology, USA, Di Wang Peking University, China, Adam Chlipala Massachusetts Institute of Technology, USA DOI | ||
14:15 22mTalk | FairSquare: Probabilistic Verification of Program Fairness OOPSLA Aws Albarghouthi University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison, Samuel Drews University of Wisconsin-Madison, Aditya Nori DOI | ||
14:37 22mTalk | Reasoning on Divergent Computations with Coaxioms OOPSLA DOI | ||
13:30 - 15:00 | Software Engineering & EducationSPLASH-I at Regency D Chair(s): Vadim Zaytsev Raincode Labs, Belgium | ||
13:30 30mTalk | One if by Lambda, Two if by C: How PL Can Attack Computing Education SPLASH-I Kathi Fisler Brown University | ||
14:00 30mTalk | Reducing Interruptions at Work with the FlowLight SPLASH-I Thomas Fritz University of British Columbia, University of Zurich | ||
14:30 30mTalk | Smart Condo: IoT for Social Good SPLASH-I Eleni Stroulia University of Alberta | ||
15:00 - 15:30 | |||
15:30 - 17:00 | SRC 2nd Round: PresentationsStudent Research Competition at Prince of Wales Chair(s): Shan Shan Huang LogicBlox, Inc., Jennifer B. Sartor Vrije Universiteit Brussel | ||
15:30 15mTalk | Abstracting Resource Effects Student Research Competition Valerie Zhao Wellesley College | ||
15:45 15mTalk | Automatic Testing of Interactive JavaScript Debuggers Student Research Competition Daniel Lehmann TU Darmstadt | ||
16:00 15mTalk | Devirtualization in LLVM Student Research Competition | ||
16:15 15mTalk | How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System Student Research Competition Germán Ceballos Uppsala University | ||
16:30 15mTalk | How to Efficiently Process 2^100 Different Lists Student Research Competition | ||
16:45 15mTalk | Simulation-based Code Duplication for Enhancing Compiler Optimizations Student Research Competition David Leopoldseder Johannes Kepler University Linz | ||
15:30 - 17:22 | |||
15:30 22mTalk | A Solver-Aided Language for Test Input Generation OOPSLA Talia Ringer University of Washington, Dan Grossman University of Washington, Daniel Schwartz-Narbonne Amazon, n.n., Serdar Tasiran Amazon, n.n. DOI | ||
15:52 22mTalk | Automated Testing of Graphics Shader Compilers OOPSLA Alastair F. Donaldson Imperial College London, Hugues Evrard Imperial College London, UK, Andrei Lascu Imperial College London, Paul Thomson Imperial College London DOI | ||
16:14 22mTalk | Bounded Exhaustive Test-Input Generation on GPUs OOPSLA Ahmet Celik University of Texas at Austin, USA, Sreepathi Pai University of Rochester, Sarfraz Khurshid University of Texas at Austin, Milos Gligoric University of Texas at Austin DOI | ||
16:37 22mTalk | Transforming Programs and Tests in Tandem for Fault Localization OOPSLA DOI | ||
16:59 22mTalk | Type Test Scripts for TypeScript Testing OOPSLA DOI | ||
15:30 - 17:00 | |||
15:30 22mTalk | A Model for Reasoning about JavaScript Promises OOPSLA Magnus Madsen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada, Frank Tip Northeastern University DOI | ||
15:52 22mTalk | Robust and Compositional Verification of Object Capability Patterns OOPSLA David Swasey MPI-SWS, Germany, Deepak Garg Max Planck Institute for Software Systems, Derek Dreyer MPI-SWS DOI | ||
16:15 22mTalk | A Verified Messaging System OOPSLA DOI | ||
16:37 22mTalk | Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification OOPSLA Alastair Reid Arm Ltd DOI | ||
15:30 - 17:00 | |||
15:30 30mTalk | Bridging the Digital Divide in Data Science SPLASH-I Hridesh Rajan Iowa State University | ||
16:00 30mTalk | Domain-Specific Symbolic Compilation SPLASH-I Rastislav Bodík University of Washington | ||
16:30 30mTalk | Training and Tuning Machine-Learning Applications: A View from the Trenches SPLASH-I | ||
17:30 - 18:30 | |||
17:30 15mTalk | SPLASH Steering Committee Report Keynotes | ||
17:45 10mTalk | SPLASH 2017 General Chairs Report Keynotes | ||
17:55 10mTalk | OOPSLA 2017 Program Chair's Report Keynotes | ||
18:05 10mTalk | Onward! Program Chairs' Report Keynotes | ||
18:15 15mTalk | SIGPLAN Town Hall Keynotes Yannis Smaragdakis University of Athens | ||
18:45 - 22:00 | |||
18:45 3h15mSocial Event | Conference Banquet (Reception Style) Social Program Gail Murphy University of British Columbia | ||
Fri 27 OctDisplayed time zone: Tijuana, Baja California change
Fri 27 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | |||
08:30 10mDay opening | SPLASH 2018 Keynotes | ||
08:40 5mOther | Onward! Most Notable Paper Award Keynotes | ||
08:45 10mAwards | Student Awards Keynotes Jennifer B. Sartor Vrije Universiteit Brussel | ||
08:55 65mTalk | Onward 2017 Keynote: How the languages we speak shape the ways we thinkKeynote Keynotes Lera Boroditsky UC San Diego | ||
10:00 - 10:30 | |||
10:30 - 12:00 | |||
10:30 22mTalk | Project Snowflake: Non-blocking Safe Manual Memory Management for .NET OOPSLA Matthew J. Parkinson Microsoft Research, UK, Dimitrios Vytiniotis Microsoft Research, Cambridge, Kapil Vaswani Microsoft Research, Manuel Costa Microsoft Research, Pantazis Deligiannis Microsoft Research, Dylan McDermott University of Cambridge, Jonathan Balkind Princeton, USA, Aaron Blankstein Princeton, USA DOI | ||
10:52 22mTalk | Alpaca: Intermittent Execution without Checkpoints OOPSLA Kiwan Maeng Carnegie Mellon University, USA, Alexei Colin Carnegie Mellon University, Brandon Lucia Carnegie Mellon University DOI | ||
11:15 22mTalk | An Auditing Language for Preventing Correlated Failures in the Cloud OOPSLA Ennan Zhai Yale University, USA, Ruzica Piskac Yale University, Ronghui Gu Columbia University, USA, Xun Lao Yale University, USA, Xi Wang Yale University, USA DOI | ||
11:37 22mTalk | Reliable and Automatic Composition of Language Extensions to C OOPSLA Ted Kaminski University of Minnesota, Lucas Kramer University of Minnesota, Travis Carlson University of Minnesota, USA, Eric Van Wyk University of Minnesota, USA DOI Pre-print | ||
10:30 - 12:00 | Usability and PerformanceOnward! Papers at Regency B Chair(s): Sam Tobin-Hochstadt Indiana University | ||
10:30 30mTalk | Error Messages are Classifiers: A Process to Design and Evaluate Error Messages Onward! Papers | ||
11:00 30mTalk | You Can Have it All: Abstraction and Good Cache Performance Onward! Papers Juliana Franco Imperial College London, Martin Hagelin (Dirac), Tobias Wrigstad Uppsala University, Sophia Drossopoulou , Susan Eisenbach Imperial College London | ||
11:30 30mTalk | Garbology: A Study of How Java Objects Die Onward! Papers | ||
10:30 - 12:00 | |||
10:30 22mTalk | IDEal: Efficient and Precise Alias-Aware Dataflow Analysis OOPSLA Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM DOI | ||
10:52 22mTalk | P/Taint: Unified Points-to and Taint Analysis OOPSLA DOI | ||
11:15 22mTalk | Data-Driven Context-Sensitivity for Points-to Analysis OOPSLA Sehun Jeong Korea University, South Korea, Minseok Jeon Korea University, South Korea, Sungdeok (Steve) Cha Korea University, South Korea, Hakjoo Oh Korea University DOI | ||
11:37 22mTalk | Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages OOPSLA Kwonsoo Chae Korea University, Hakjoo Oh Korea University, Kihong Heo University of Pennsylvania, USA, Hongseok Yang University of Oxford DOI | ||
10:30 - 12:00 | |||
10:30 30mTalk | DYOL: Design a Language, Know the Consequences SPLASH-I Vadim Zaytsev Raincode Labs, Belgium | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 22mTalk | Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers OOPSLA Tiago Cogumbreiro Rice University, Rishi Surendran Rice University, USA, Francisco Martins LaSIGE, University of Lisbon, Vivek Sarkar Rice University, USA, Vasco T. Vasconcelos University of Lisbon, Portugal, Max Grossman Rice University, USA DOI | ||
13:52 22mTalk | Detecting Argument Selection Defects OOPSLA Andrew Rice University of Cambridge, UK, Eddie Aftandilian Google, Ciera Jaspan Google, Emily Johnston Google, Michael Pradel TU Darmstadt, Yulissa Arroyo-Paredes Columbia University, USA DOI | ||
14:15 22mTalk | How Type Errors Were Fixed and What Students Did? OOPSLA DOI | ||
14:37 22mTalk | Learning User Friendly Type-Error Messages OOPSLA Baijun Wu University of Louisiana at Lafayette, USA, John Peter Campora ULL Lafayette, Sheng Chen ULL Lafayette DOI | ||
13:30 - 15:00 | |||
13:30 30mTalk | Infra: Structure All the Way Down - Structured Data as a Visual Programming Language Onward! Papers | ||
14:00 30mTalk | Selfie and the Basics Onward! Papers Christoph Kirsch University of Salzburg | ||
14:30 30mTalk | Systems Level Liveness with AnonSystem Onward! Papers | ||
13:30 - 15:00 | |||
13:30 22mTalk | Geo-Distribution of Actor-Based Services OOPSLA Philip A. Bernstein Microsoft Research, Sebastian Burckhardt Microsoft Research, Sergey Bykov Microsoft, n.n., Natacha Crooks University of Texas at Austin, USA, Jose Faleiro Yale University, USA, Gabriel Kliot Google, n.n., Alok Kumbhare Microsoft Research, n.n., Muntasir Raihan Rahman Microsoft, Vivek Shah University of Copenhagen, Denmark, Adriana Szekeres University of Washington, USA, Jorgen Thelin Microsoft Research, Redmond DOI | ||
13:52 22mTalk | Paxos Made EPR: Decidable Reasoning about Distributed Protocols OOPSLA Oded Padon Tel Aviv University, Giuliano Losa University of California at Los Angeles, USA, Mooly Sagiv Tel Aviv University, Sharon Shoham Tel Aviv university DOI | ||
14:15 22mTalk | Verifying Strong Eventual Consistency in Distributed Systems OOPSLA Victor B. F. Gomes University of Cambridge, UK, Martin Kleppmann University of Cambridge, Dominic P. Mulligan University of Cambridge, Alastair R. Beresford University of Cambridge, UK DOI | ||
14:37 22mTalk | Verifying Distributed Programs via Canonical Sequentialization OOPSLA Alexander Bakst , Klaus v. Gleissenthall University of California at San Diego, USA, Ranjit Jhala University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA DOI | ||
15:00 - 16:00 | |||
15:00 60mSocial Event | Ice Cream Social Social Program Gail Murphy University of British Columbia | ||