Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Events (69 results)

Semantics-Based Program Verifiers for All Languages

OOPSLA When: Wed 2 Nov 2016 10:30 - 10:55 People: Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu

… …

GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!

GPCE When: Mon 31 Oct 2016 08:30 - 10:00 People: Tiark Rompf

… …

Group work

DSM When: Sun 30 Oct 2016 15:40 - 17:00

All participants can join the group(s) with the topic of interest. …

Situated Objects

NOOL When: Mon 31 Oct 2016 15:40 - 16:15 People: Patrick Dubroy

… We explore a form of object-oriented messaging in the context of an ownership tree, where owners can intercept messages sent to their transitively-owned objects. If all access to an object is mediated by its owner *(owners-as-accessors …

Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism

DLS When: Tue 1 Nov 2016 11:45 - 12:10 People: Mattias De Wael, Janwillem Swalens, Wolfgang De Meuter

… is not the silver bullet to solve all ambiguity problems heir to multiple inheritance, because it is not applicable in all scenarios.
We conclude …

From Soundiness to Soundness

WODA When: Tue 1 Nov 2016 16:30 - 17:20 People: Yannis Smaragdakis

… static analysis is one that catches all bugs–the complement of the previous …

The Definition and Anatomy of Model Driven Engineering and Domain Specific Languages

DSLDI When: Mon 31 Oct 2016 16:55 - 17:20 People: Bruce Trask

… be understood very clearly by all involved (from customer to developer …

Naturally Embedded DSLs

DSLDI When: Mon 31 Oct 2016 13:55 - 14:20 People: Jonathan Aldrich, Alex Potanin

… , and dynamic semantics for the DSL, all of which may differ from the host …

Synthesizing Regular Expressions from Examples for Introductory Automata Assignments

GPCE When: Mon 31 Oct 2016 15:40 - 16:10 People: Mina Lee, Sunbeom So, Hakjoo Oh

… automatically synthesizes the simplest possible regular expression that accepts all the positive examples while rejecting all the negative examples. The key novelty …

Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR

VMIL When: Mon 31 Oct 2016 16:30 - 16:55 People: Matthew Gaudet, Mark Stoodley

… Eclipse OMR is a new open source project created by refactoring the IBM J9 Java Virtual Machine to create a set of language agnostic components for building all kinds of language runtimes. This paper reflects on the effort, the successes …

Reducing Parallelizing Compilation Time by Removing Redundant Analysis

SEPS When: Tue 1 Nov 2016 10:30 - 10:55 People: Jixin Han, Rina Fujino, Ryota Tamura, Mamoru Shimaoka, Hiroki Mikami, Moriyuki Takamura, Sachio Kamiya, Kazuhiko Suzuki, Takahiro Miyajima, Keiji Kimura , Hironori Kasahara

… to a source program but all program analysis passes do not have to be applied …

MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo)

SLE When: Mon 31 Oct 2016 11:30 - 11:45 People: Juha-Pekka Tolvanen

… Almost all software development activities require collaboration and language engineering is no exception. First, there is a need for collaboration among language engineers as it is not realistic to expect one man to master all. Second …

Tool Demo: Testing Configurable Systems with FeatureIDE

GPCE When: Tue 1 Nov 2016 14:45 - 15:00 People: Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake

… configurations. Ideally, all configurations of a software system should be tested … or a specialized testing framework. Within our tool FeatureIDE, we integrate all

Virtual Values for Taint and Information Flow Analysis

Meta 2016 When: Sun 30 Oct 2016 14:00 - 14:30 People: Prakasam Kannan, Thomas H. Austin, Mark Stamp, Tim Disney, Cormac Flanagan

… implementations require the support of all JavaScript VMs. Code rewriting requires …

Implementation of LMNtal Model Checkers: a Metaprogramming Approach

Meta 2016 When: Sun 30 Oct 2016 09:30 - 10:00 People: Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda

… LMNtal is a modeling language based on hierarchical graph rewriting, and its implementation SLIM features an LTL model checker. There is some research on extensions of SLIM, and all of them achieve their functionalities by modifying SLIM …

Integrated Simulation of CIF3 and Simulink Models

ITSLE When: Mon 31 Oct 2016 16:10 - 16:39 People: Abhishek Sharma, Michel Reniers

… A model of a system (plant) is required to address aspects from different domains, e.g., supervisory control, communication, each of which need to be formulated using appropriate modeling tools. Modeling all these aspects using a single …

Instance Migration in Dynamic Software Update

Meta 2016 When: Sun 30 Oct 2016 11:00 - 11:30 People: Pablo Tesone, Guillermo Polito, Luc Fabresse, Noury Bouraqadi, Stéphane Ducasse

… they are executing. A common concern in all DSU solutions is the migration …

Improving Trace-based JIT Optimisation using Whole-Program Information

VMIL When: Mon 31 Oct 2016 16:05 - 16:30 People: Maarten Vandercammen, Coen De Roover

… refine the information about the future of the current and all possible states. We …

Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications

WODA When: Tue 1 Nov 2016 11:36 - 12:10 People: Steven Arzt

… out and emulate all these app-specific constraints. In this talk, we will present …

Type Unsoundness in Practice: An Empirical Study of Dart

DLS When: Tue 1 Nov 2016 10:30 - 10:55 People: Gianluca Mezzetti, Anders Møller, Fabio Strocco

… . Our results show that some, but not all, sources of unsoundness can …

Type Safety Analysis for Dart

DLS When: Tue 1 Nov 2016 10:55 - 11:20 People: Thomas S. Heinze, Anders Møller, Fabio Strocco

… that the technique is remarkably effective, even without context sensitivity: 99.3% of all

Implementing Delta-Oriented SPLs using PEoPL: An Example Scenario and Case Study

FOSD When: Sun 30 Oct 2016 10:30 - 11:00 People: Benjamin Behringer, Moritz Fey

… is expressive enough to represent DeltaJ product lines, and at the same time supports all

Regression Aware Debugging for Mobile Applications

Mobile! When: Mon 31 Oct 2016 11:20 - 11:45 People: Rohan Bavishi, Awanish Pandey, Subhajit Roy

… Regression-aware fault localization attempts to rank suspicious statements in a manner such that potential regression inducing suggestions are ranked low. The algorithm extracts the proof of correctness of all the correct executions …

A model for Reflection in Rule-Based Languages

Meta 2016 When: Sun 30 Oct 2016 10:30 - 11:00 People: Simon Van de Water, Thierry Renaux, Wolfgang De Meuter

… a reification of all the rules in the ruleset, enabling us to provide language …

Extending OpenJDK To Support Hybrid STM/HTM

VMIL When: Mon 31 Oct 2016 09:35 - 10:00 People: Keith Chapman, Tony Hosking, Eliot Moss

… transactional metadata in the synchronization word carried by all OpenJDK objects …

Variability Mining of State Charts

FOSD When: Sun 30 Oct 2016 15:40 - 16:10 People: David Wille, Sandro Schulze, Ina Schaefer

… variants is lost so that all products have to be maintained separately …

Scaling Android User Interfaces: A Case Study of Squid

Mobile! When: Mon 31 Oct 2016 13:55 - 14:10 People: David S. Janzen, Andrew Hughes, Anthony Lenz

… developers who desire to support all devices within a single application. Squid …

Managing Persistent Heap in NVRAM

Mobile! When: Mon 31 Oct 2016 09:35 - 10:00 People: Kumud Bhandari

… The scalability limitations of current DRAM technology
have prompted research in alternative memory technologies.
Almost all new viable alternatives being explored are non-volatile
in nature. In this talk, we explore …

The Left Hand of Equals

Onward! Essays When: Wed 2 Nov 2016 14:20 - 15:10 People: James Noble, Andrew Black, Kim Bruce, Michael Homer, Mark Miller

all of which provide two variants of ``equality'', while some …

Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications

Onward! Papers When: Thu 3 Nov 2016 15:40 - 16:05 People: Matt McCutchen, Shachar Itzhaky, Daniel Jackson

… in almost all cases to represent data that is essentially relational (with some …

MADFAct—Constructing Dictionaries

Parsing@SLE When: Sun 30 Oct 2016 10:30 - 10:55 People: Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce Watson

… developed [1]. Yet no coherent implementation covering all these algorithm variants …

Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks

Onward! Papers When: Fri 4 Nov 2016 11:20 - 11:45 People: Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

… not encapsulate all the framework-specific knowledge and expect developers to understand …

Shared State for Actors: Pass-By-Replication Semantics

AGERE 2016 When: Sun 30 Oct 2016 14:10 - 14:30 People: Tim Coppieters, Joeri De Koster, Wolfgang De Meuter

… executing all the operations of the replicas in the same order, as determined …

Function Passing: A Model for Typed, Distributed Functional Programming

Onward! Papers When: Wed 2 Nov 2016 16:30 - 16:55 People: Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier, Jorge Vicente-Cantero

… The most successful systems for ``big data'' processing have all adopted
functional APIs. We present a new programming model we call {\em function
passing} designed to provide a more principled substrate on which to build …

This is not a Type: Gradual typing in practice

Scala When: Mon 31 Oct 2016 09:00 - 10:00 People: Jan Vitek

… words they ignore four decade of research in programming languages. But all

DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)

SLE When: Tue 1 Nov 2016 11:45 - 12:00 People: Joel Lindholm, Johan Thorsberg, Görel Hedin

… , and supports all JastAdd attribution mechanisms, such as demand evaluation, reference …

FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)

SLE When: Mon 31 Oct 2016 16:55 - 17:10 People: Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann

… modeling editor embracing all natures of roles and modeling constraints featuring …

Symbolic Execution of High-Level Transformations

SLE When: Tue 1 Nov 2016 14:20 - 14:45 People: Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wąsowski

… for such programs in almost all tested cases. …

A Change-Centric Approach to Compile Configurable Systems with #ifdefs

GPCE When: Tue 1 Nov 2016 10:30 - 11:00 People: Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flavio Medeiros, Leopoldo Teixeira

… Configurable systems typically use #ifdefs to denote variability. Generating and compiling all configurations may be time-consuming. An alternative consists of using variability-aware parsers, such as TypeChef. However, they may not scale …

A Feature-Based Personalized Recommender System for Product-Line Configuration

GPCE When: Tue 1 Nov 2016 11:00 - 11:30 People: Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake

… an interactive open-source configurator tool encompassing all those features. (iv …

Nez: Practical Open Grammar Language

Onward! Papers When: Wed 2 Nov 2016 11:20 - 11:45 People: Kimio Kuramitsu

… of parsers since all Nez operations are independent of a specific parser language …

Fine-grained language composition without a common VM

Scala When: Sun 30 Oct 2016 09:00 - 10:00 People: Laurence Tratt

… : no matter how clever the VM, some languages run slowly. Even when all languages …

A Scala Library for Testing Student Assignments on Concurrent Programming

Scala When: Mon 31 Oct 2016 13:55 - 14:20 People: Mikaël Mayer, Ravichandhran Madhavan

… , and interleaves as per the schedule all user-specified operations invoked through …

Towards a Software Product Line of Trie-Based Collections

GPCE When: Tue 1 Nov 2016 14:30 - 14:45 People: Michael Steindorfer, Jurgen Vinju

… structures which covers all variations without exhaustively listing them, while …

Truffle and Graal: Fast Programming Languages With Modest Effort

SPLASH-I When: Thu 3 Nov 2016 14:20 - 15:10 People: Adam Welc, Chris Seaton

… Not all programming languages can be supported by huge expert engineering teams to make them as fast as major languages such as Java and JavaScript. Two technologies from Oracle Labs are making it easy to achieve similar results with much …

Stencils: Graphical User Interfaces in Ensō

SPLASH-I When: Fri 4 Nov 2016 10:30 - 11:20 People: William Cook

… Stencils are a new approach to Graphical/Web User Interface (GWUI) construction based on combining multiple domain-specific languages with powerful implementation strategies. The strategies convey all the knowledge about how to build …

Extensible Access Control with Authorization Contracts

OOPSLA When: Wed 2 Nov 2016 13:30 - 13:55 People: Scott Moore, Christos Dimoulas, Robby Findler, Matthew Flatt, Stephen Chong

… Existing programming language access control frameworks do not meet the needs of all software components. We propose an expressive framework for implementing access control monitors for components. The basis of the framework is a novel …

sk_p: a neural program corrector for MOOCs

Posters When: Wed 2 Nov 2016 17:30 - 19:30Mon 31 Oct 2016 20:12 - 20:30 People: Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay

… can correct 29% of all incorrect submissions and out-performs state of the art …

Flexible Initialization of Immutable Objects

Student Research Competition People: Tyler Etzel

… to express and enforce immutability by declaring all fields of an object "final …

Introducing Lightweight Reactive Values to Java

Posters When: Wed 2 Nov 2016 17:30 - 19:30Mon 31 Oct 2016 18:06 - 18:24 People: Tetsuo Kamina

… and any changes of the source values are propagated to all the dependent reactive …

Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

OOPSLA When: Wed 2 Nov 2016 10:55 - 11:20 People: Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco

… mechanized proofs for all the examples in the paper. …

An Approach to Compile Configurable Systems with #ifdefs Based on Impact Analysis

Student Research Competition People: Larissa Braz

… Configurable systems typically use #ifdefs to denote variability. Generating and compiling all configurations may be time-consuming. An alternative consists of using variability-aware parsers, such as TypeChef. However, they may not scale …

Reducing Procedure Call Bloat in ARM Binaries

Student Research Competition People: Joseph Caldwell

… in virtually all smart phones and in many other smaller-scale embedded devices. Here …

Reducing Procedure Call Bloat in ARM Binaries

Posters When: Wed 2 Nov 2016 17:30 - 19:30Mon 31 Oct 2016 18:42 - 19:00 People: Joseph Caldwell

… in virtually all smart phones and in many other smaller-scale embedded devices …

Fast Datalog

SPLASH-I When: Fri 4 Nov 2016 13:30 - 14:20 People: Todd Veldhuizen

… demonstrate parallel speedup even in inimical scenarios where all pairs …

Type Inference for Static Compilation of JavaScript

OOPSLA When: Wed 2 Nov 2016 16:55 - 17:20 People: Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-il Choi

… bound propagation to infer types and
discover type errors in all code, including …

Asserting Reliable Convergence for Configuration Management Scripts

OOPSLA When: Wed 2 Nov 2016 16:30 - 16:55 People: Oliver Hanappi, Waldemar Hummer, Schahram Dustdar

… preservation, and we show that if preservation holds for all pairs of resources … scripts and show the effectiveness of the approach. Our tool is able to detect all

Simulating Cities: The Spacetime Framework

SPLASH-I When: Thu 3 Nov 2016 11:20 - 12:10 People: Crista Lopes

… , all these new technologies can greatly benefit from urban simulations …, despite all the reasons why complex simulations are desirable for decision …

Making Mendix Meta Model Driven

SPLASH-I When: Wed 2 Nov 2016 11:20 - 12:10 People: Jos Warmer

… and more different technologies.

To guarantee consistency between all usages …

Makalu: Fast Recoverable Allocation of Non-volatile Memory

OOPSLA When: Thu 3 Nov 2016 14:20 - 14:45 People: Kumud Bhandari, Dhruva Chakrabarti, Hans-J. Boehm

… memory leaks, and is efficient, all in the face of failures.

We show …

How Domain Requirements Shape Languages

SPLASH-I When: Wed 2 Nov 2016 10:30 - 11:20 People: Markus Völter

… , engine control and system engineering. All of the languages discussed have been …

Precise and Maximal Race Detection from Incomplete Traces

OOPSLA When: Thu 3 Nov 2016 11:45 - 12:10 People: Jeff Huang, Arun Krishnakumar Rajagopalan

… to be precise all report many false alarms when missing synchronizations. …

Software Environmentalism

SPLASH-I When: Fri 4 Nov 2016 14:20 - 15:10 People: Tudor Gîrba

… and anything else related to a software system. It’s all data, and data is best … systems all the way down, and (3) reeducate our perception of what software …

Hybrid STM/HTM for Nested Transactions on OpenJDK

OOPSLA When: Thu 3 Nov 2016 13:55 - 14:20 People: Keith Chapman, Tony Hosking, Eliot Moss

… successfully run all transactional programs, whether because of hardware …

SPLASH 2016 Keynote: The Science of Deep Specification

Keynotes and Awards When: Wed 2 Nov 2016 08:45 - 10:00 People: Benjamin C. Pierce

… Abstraction and modularity underlie all successful hardware and software systems: We build complex artifacts by decomposing them into parts that can be understood separately. Modular decomposition depends crucially on the artful choice …

An Operational Semantics for C/C++11 Concurrency

OOPSLA When: Wed 2 Nov 2016 11:20 - 11:45 People: Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell

… concurrency. This covers all the features of the previous formalised axiomatic model …

Stateless Model Checking with Data-Race Preemption Points

OOPSLA When: Thu 3 Nov 2016 11:20 - 11:45 People: Ben Blum, Garth Gibson

… checkers. It also enables full verification of all possible schedules when …

Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement

OOPSLA When: Fri 4 Nov 2016 14:20 - 14:45 People: Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Harry Xu, Shan Lu

… simultaneously,
which are all indispensable for statistical debugging …

Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect

OOPSLA When: Wed 2 Nov 2016 13:55 - 14:20 People: Leo Osvald, Gregory Essertel, Xilun Wu, Lilliam I Gonzalez Alayon, Tiark Rompf

… modify the Scala Collections library and add
privilege annotations to all