Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Events (65 results)

Infra: Structure All the Way Down - Structured Data as a Visual Programming Language

Onward! Papers When: Fri 27 Oct 2017 13:30 - 14:00 People: Christopher Hall, Trevor Standley, Tobias Hollerer

… We present Infra, a new baseline medium for representing data. With Infra, arbitrarily-complex structured data can be encoded, viewed, edited and processed, all within a parsed paradigm. It is suitable for the full range of information …

Concept Analysis in Programming Language Research: Done Well It Is All Right

Onward! Essays When: Wed 25 Oct 2017 16:15 - 17:00 People: Antti-Juhani Kaijanaho

… …

You Can Have it All: Abstraction and Good Cache Performance

Onward! Papers When: Fri 27 Oct 2017 11:00 - 11:30 People: Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach

… …

Accelerate JavaScript Applications by Cross-Compiling to WebAssembly

VMIL 2017 When: Tue 24 Oct 2017 11:20 - 12:00 People: Micha Reiser, Luc Bläser

… execution supported by all major browsers. Speedy.js only imposes minimal …

Verifiable Reactive Software

REBELS When: Mon 23 Oct 2017 14:30 - 15:00 People: Kevin Baldor, Jianwei Niu

… of errors, it effectively explores all possible input of a configurable length …

Keynote: How Should We Train the Next Generation of VM Engineers?

VMIL 2017 When: Tue 24 Oct 2017 13:30 - 14:30 People: Mario Wolczko

… , all the while remaining cognizant of the tradeoffs involved. How does one …

Specifying Attenuation

OCAP 2017 When: Tue 24 Oct 2017 15:30 - 16:00 People: Shu-Peng Loh, Sophia Drossopoulou

… In object capability systems, attenuating objects give secure access to some, but not all capabilities of another object. One such example, is restricted (DOM) tree access, where an attenuating object allows reading and writing …

Programmable Aspect (Canceled)

Meta 2017 People: Farshad Saeidi, Farzad Sanati

… One of the barriers to identifying all possible crosscutting concerns is the presence of repetitive details, which in most cases leads to encapsulation of each repeated detail into an independent module. In this paper, we propose …

FRP IoT Modules as a Scala DSL

REBELS When: Mon 23 Oct 2017 13:30 - 14:00 People: Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens

… managing code-bases of sub-applications that go on all nodes separately.

We …

Invited talk: Challenges and Progress Toward Efficient Gradual Typing

DLS 2017 When: Tue 24 Oct 2017 13:30 - 14:30 People: Jeremy G. Siek

… or fully typed version of the same program. But all is not lost …

Declarative Disambiguation with Contextual Scoping

Parsing@SLE 2017 When: Sun 22 Oct 2017 14:00 - 14:30 People: Michael Steindorfer, Luis Eduardo de Souza Amorim

… . Safe disambiguation denotes that all valid inputs are accepted by the parser … disambiguate all combinations of operators, i.e., for any input constructed combining …

Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP

PX/17.2 When: Sun 22 Oct 2017 13:30 - 14:15 People: Yoshiki Ohshima, Bert Freudenberg, Dan Amelang

… canvas to render all graphics, we can simply stream the contents of the canvas …

A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools

DLS 2017 When: Tue 24 Oct 2017 09:30 - 10:00 People: Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, Hanspeter Mössenböck

… of these, the debugger needed to be changed. Furthermore, we visualize all concurrent …

CapNet: Security and Least Authority in a Capability-Enabled Cloud

OCAP 2017 When: Tue 24 Oct 2017 10:30 - 11:00 People: Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus Van der Merwe

… beyond capabilities: all network operations are accessible only through capability …

Monocle - Physical to Digital

SAVR 2017 When: Tue 24 Oct 2017 15:50 - 16:10

… , sharing the scan to all viewers simultaneously.

Aaron Hilton (Steampunk …

Block Level Parallelism in Parsing Block Structured Languages

Parsing@SLE 2017 When: Sun 22 Oct 2017 09:00 - 09:30 People: Abhinav Jangda

… -AST for each part, and then combining all sub-ASTs into one AST. …

Dinner (registration add-on)

GPCE 2017 When: Tue 24 Oct 2017 18:00 - 20:00

… of the conference venue.

All GPCE attendees are warmly encouraged to attend, but tickets …

Collapsing Towers of Interpreters ⭐️

Meta 2017 When: Sun 22 Oct 2017 15:30 - 16:30 People: Nada Amin

… ### Invited Talk

Given a tower of interpreters, i.e., a sequence of interpreters interpreting each other, we aim to collapse this tower into a compiler that removes all interpretive overhead in a single pass. In the real world, a use …

Embedding By Normalisation

DSLDI 2017 When: Sun 22 Oct 2017 15:52 - 16:15 People: Shayan Najd

… their target code from, all embedded terms are designed to eventually adhere to the normal …

Some Were Meant For C: The endurance of an unmanageable language

Onward! Essays When: Wed 25 Oct 2017 15:30 - 16:15 People: Stephen Kell

… ned behaviour, and the motivation of performance. It argues all

Dinner (registration add-on)

SLE When: Tue 24 Oct 2017 18:00 - 20:00

… of the conference venue.

All SLE attendees are warmly encouraged to attend, but tickets …

Toward a Live Stepper for Typed Expressions with Holes

LIVE 2017 When: Tue 24 Oct 2017 11:20 - 11:40 People: Cyrus Omar, Ian Voysey, Matthew Hammer

… be a program editor where the programmer has access to the stepper at all times …

Sympathy for the Devil: Reified Collection of Runtime Errors

PLATEAU 2017 When: Mon 23 Oct 2017 14:25 - 14:45 People: Tommaso Dal Sasso, Andrei Chiş, Andrea Mocci, Tudor Gîrba, Michele Lanza

… a running system. The developer is able to take a snapshot of all

Preliminary Analysis of Contestant Performance for a Code Hunt Contest

PLATEAU 2017 When: Mon 23 Oct 2017 16:45 - 17:05 People: Adrian Clark, Jonathan Wells, Angello Astorga, Andrew Xie, Jalen Coleman-Lands, Tao Xie

… preliminary analysis of contestant performance among all contestants along with comparing …

Robust Projectional Editing

SLE When: Mon 23 Oct 2017 14:38 - 15:00 People: Friedrich Steimann, Marcus Frenkel, Markus Voelter

… at all times ensures that necessary corrections of a program are linked …-based capture of well-formedness will still catch all introduced errors …

Selfie and the Basics

Onward! Papers When: Fri 27 Oct 2017 14:00 - 14:30 People: Christoph Kirsch

… compiler, self-executing MIPS emulator, and self-hosting MIPS hypervisor all

Silverchain: A Fluent API Generator

GPCE 2017 When: Tue 24 Oct 2017 14:20 - 14:45 People: Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, Shigeru Chiba

… provide two styles of APIs:
One is for building a chain by concatenating all

The Immersive Internet, Karan Singh, University of Toronto

SAVR 2017 When: Tue 24 Oct 2017 09:00 - 10:00

… as webspaces is challenging: it is about enabling all content regardless …

Rewriting for Sound and Complete Union, Intersection and Negation Types

GPCE 2017 When: Mon 23 Oct 2017 16:20 - 16:45 People: David J. Pearce

… which an implementation can be automatically generated. Whilst not all type systems …

Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms

GPCE 2017 When: Tue 24 Oct 2017 10:55 - 11:20 People: Joseph Caldwell, Shigeru Chiba

… , such as the 16-bit ARM Thumb and Thumb-2 instruction sets, used in virtually all

Staging with Control: Type-Safe Multi-stage Programming with Control Operators

GPCE 2017 When: Mon 23 Oct 2017 11:20 - 11:45 People: Junpei Oishi, Yukiyoshi Kameyama

… Staging allows a programmer to write domain-specific, custom code generators. Ideally, a programming language for staging provides all necessary features for staging, and at the same time, gives static guarantee for the safety properties …

SLE Keynote: Engineering meta-languages for specifying software languages

SLE When: Tue 24 Oct 2017 08:45 - 10:00 People: Peter D. Mosses

… ). The main feature of CBS is that each funcon is defined once and for all

Tool Demonstration: A development environment for the Alf language within the MagicDraw UML tool

SLE When: Tue 24 Oct 2017 14:38 - 15:00 People: Ed Seidewitz

… simulation scenarios. The Alf compiler also tracks the dependencies of all Alf …

Ensuring Non-interference of Composable Language Extensions

SLE When: Tue 24 Oct 2017 11:20 - 11:45 People: Ted Kaminski, Eric Van Wyk

… , implemented as attribute grammars, preserve all coherent properties. If we also restrict …

Keynote: Engineering Meta-Languages for Specifying Software Languages

GPCE 2017 When: Tue 24 Oct 2017 08:45 - 10:00 People: Peter D. Mosses

… (funcons). The main feature of CBS is that each funcon is defined once and for all

Deep Priority Conflicts in the Wild: A Pilot Study

SLE When: Mon 23 Oct 2017 13:53 - 14:15 People: Luis Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser

… disambiguation of operator precedence and associativity conflicts guarantees that all

One if by Lambda, Two if by C: How PL Can Attack Computing Education

SPLASH-I When: Thu 26 Oct 2017 13:30 - 14:00 People: Kathi Fisler

… Collegiate CS enrollments are exploding. Many states are calling for"CS for All" K-12 students. Choices of programming languages and technologies are key strategic decisions for supporting diverse learners and their teachers. What …

How Type Errors Were Fixed and What Students Did?

OOPSLA When: Fri 27 Oct 2017 14:15 - 14:37 People: Baijun Wu, Sheng Chen

… more than 3,900 are ill typed. We investigated all the ill-typed programs … in practice since only about 30% of all type errors were caused by single …

Project Snowflake: Non-blocking Safe Manual Memory Management for .NET

OOPSLA When: Fri 27 Oct 2017 10:30 - 10:52 People: Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Jonathan Balkind, Aaron Blankstein

… or the manual heap. All existing applications run unmodified, and without any … and concurrent sharing of these objects amongst all the threads in the program …

Onward 2017 Keynote: How the languages we speak shape the ways we think

Keynotes When: Fri 27 Oct 2017 08:55 - 10:00 People: Lera Boroditsky

… , and with good reason. At stake are basic questions all of us have about ourselves, human …

A Verified Messaging System

OOPSLA When: Thu 26 Oct 2017 16:15 - 16:37 People: William Mansky, Andrew W. Appel, Aleksey Nogin

… participants. There is only one writer, all operations are wait-free …

The Tensor Algebra Compiler

OOPSLA When: Thu 26 Oct 2017 10:30 - 10:52 People: Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, Saman Amarasinghe

… implement and optimize them all. This paper introduces the first compiler technique …

Bounded Exhaustive Test-Input Generation on GPUs

OOPSLA When: Thu 26 Oct 2017 16:14 - 16:37 People: Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric

… testing is Korat. It generates all test inputs, up to a given small size, based … to systematically explore the space of all possible inputs and generate only those …

Unifying Typing and Subtyping

OOPSLA When: Wed 25 Oct 2017 11:15 - 11:37 People: Yanpeng Yang, Bruno C. d. S. Oliveira

substitution lemmas. All the metatheory of λI≤ is mechanically proved in the Coq …

Data-Driven Context-Sensitivity for Points-to Analysis

OOPSLA When: Fri 27 Oct 2017 11:15 - 11:37 People: Sehun Jeong, Minseok Jeon, Sungdeok (Steve) Cha, Hakjoo Oh

… -sensitivity. In all cases, experimental results show that our approach significantly …

Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification

OOPSLA When: Thu 26 Oct 2017 16:37 - 17:00 People: Alastair Reid

… twelve bugs (including two security bugs) that have all been fixed by
ARM. …

Robust and Compositional Verification of Object Capability Patterns

OOPSLA When: Thu 26 Oct 2017 15:52 - 16:15 People: David Swasey, Deepak Garg, Derek Dreyer


for representative client code. All our results are fully mechanized in the Coq …

A Simple Soundness Proof for Dependent Object Types

OOPSLA When: Wed 25 Oct 2017 10:52 - 11:15 People: Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták

… and paradoxes caused by abstract type members are eliminated. Almost all reasoning …

Verifying Distributed Programs via Canonical Sequentialization

OOPSLA When: Fri 27 Oct 2017 14:37 - 15:00 People: Alexander Bakst, Klaus v. Gleissenthall, Ranjit Jhala, Rami Gökhan Kıcı

… , programmers do not reason about their systems by case-splitting over all

Heaps Don't Lie: Countering Unsoundness with Heap Snapshots

OOPSLA When: Wed 25 Oct 2017 16:37 - 17:00 People: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

… Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses with dynamic information is a common pattern, with tools …

Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers

OOPSLA When: Fri 27 Oct 2017 13:30 - 13:52 People: Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman

… -detection. Proofs of all results were formalized using the Coq proof assistant. …

Direct Manipulation Programming Systems

SPLASH-I When: Wed 25 Oct 2017 10:30 - 11:00 People: Ravi Chugh

… , and all of the code manipulation features, are new compared to the version …

Learning User Friendly Type-Error Messages

OOPSLA When: Fri 27 Oct 2017 14:37 - 15:00 People: Baijun Wu, John Peter Campora, Sheng Chen

… steps to fix and occur quite frequently (around 50% to 60% of all type-errors …

Static Stages for Heterogeneous Programming

OOPSLA When: Thu 26 Oct 2017 10:52 - 11:15 People: Adrian Sampson, Kathryn S McKinley, Todd Mytkowicz

… take on multi-stage programming that lets the compiler generate all code …

Automated Testing of Graphics Shader Compilers

OOPSLA When: Thu 26 Oct 2017 15:52 - 16:14 People: Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson

… than 60 distinct bugs, covering all tested configurations. As well as defective …

Toward Scalable Semantic Big Data

SPLASH-I When: Wed 25 Oct 2017 11:00 - 11:30 People: Julian Dolby

… for query federation over different endpoints is limited: the endpoints all need …

Verifying Spatial Properties of Array Computations

OOPSLA When: Thu 26 Oct 2017 11:15 - 11:37 People: Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice

… on the all too common mistake of array offset errors as a generalisation of off …

Instrumentation Bias for Dynamic Data Race Detection

OOPSLA When: Wed 25 Oct 2017 15:52 - 16:15 People: Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman

… eliminates nearly all instrumentation atomicity costs on benchmarks where data often …

Synthesizing Configuration File Specifications with Association Rule Learning

OOPSLA When: Wed 25 Oct 2017 16:37 - 16:59 People: Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac

… set of configuration files (not necessarily all correct) into a well-structured …

Monadic Composition for Deterministic, Parallel Batch Processing

OOPSLA When: Thu 26 Oct 2017 11:37 - 12:00 People: Ryan Scott, Omar Navarro-Leija, Ryan R. Newton, Joseph Devietti

… an entrypoint that lives in the DetIO monad, a type which requires all operations—including …

IDEal: Efficient and Precise Alias-Aware Dataflow Analysis

OOPSLA When: Fri 27 Oct 2017 10:30 - 10:52 People: Johannes Späth, Karim Ali, Eric Bodden

… , and context-sensitive all-alias analysis. Yet, it achieves previously unseen …

Verifying Strong Eventual Consistency in Distributed Systems

OOPSLA When: Fri 27 Oct 2017 14:15 - 14:37 People: Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford

… , and proving that our theorems hold in all possible network behaviours. Our …

A Volatile-by-Default JVM for Server Applications

OOPSLA When: Wed 25 Oct 2017 10:30 - 10:52 People: Lun Liu, Todd Millstein, Madan Musuvathi

… * semantics provides sequential consistency (SC) for all programs by default …

Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining

OOPSLA When: Thu 26 Oct 2017 13:30 - 13:52 People: Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan

… a program, and empirical evaluation of all of these ideas. We have analyzed …

Panel: 50 Years of Language Evolution: From Simula’67 to the Future

SPLASH-I When: Wed 25 Oct 2017 15:30 - 17:00 People: Steven D. Fraser, Lera Boroditsky, Robert Gentleman, Chris Granger, Sumit Gulwani, Crista Lopes

… questions all of us have about ourselves, human nature, and reality. Why do we think …, and was proud of herself about it all day.

Robert Gentleman. It seems …