Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Events (47 results)

Predicting All Data Race Pairs for a Specific Schedule

MPLR 2019 When: Mon 21 Oct 2019 16:00 - 16:30 People: Martin Sulzmann, Kai Stadtmüller

… …

Automatic Identification of Standard Template Algorithms in Raw Loops

AI-SEPS When: Tue 22 Oct 2019 09:00 - 09:25 People: Yannic Fischler, Jan-Patrick Lehr, Christian Bischof, Matthäus Magnus Kiehn

… roughly 50% false positives, all of which a human can easily identify. …

“It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant

AI-SEPS When: Tue 22 Oct 2019 09:25 - 09:40 People: Aleksandr Maramzin, Christos Vasiladiotis, Roberto Castañeda Lozano, Murray Cole, Björn Franke

… with a ranking of all loops in a program based on their overall merit. For each loop …

Towards Gradual Checking of Reference Capabilities

VMIL 2019 When: Tue 22 Oct 2019 12:00 - 12:15 People: Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad

… .

Unfortunately, reference capability languages are an all-in or nothing game, i.e., all the types must be annotated with reference capabilities. In this work …

50K-C: A Dataset of Compilable, and Compiled, Java Projects

NJR 2019 When: Mon 21 Oct 2019 14:30 - 15:00 People: Rohan Achar

… We provide a repository of 50,000 compilable Java projects. Each project in this dataset comes with references to all the dependencies required to compile it, the resulting bytecode, and the scripts with which the projects were built …

Precise, Efficient, and Expressive Incremental Build Scripts with PIE

IC 2019 When: Mon 21 Oct 2019 14:30 - 15:00 People: Gabriël Konat, Roelof Sol, Sebastian Erdweg, Eelco Visser

… of the configuration and build stages. That is, all build tasks and dependencies …-approximation (*.h in Make to depend on all C header files), under-approximation (`own.h …

Gigahorse: Thorough Smart Contract Decompilation and Security Analyses

NJR 2019 When: Mon 21 Oct 2019 17:00 - 17:30 People: Neville Grech

… -library.com contains the most complete, high-level decompiled representation of all … and adapted several advanced high-level client analyses, including MadMax. All our client …

FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization

META 2019 When: Sun 20 Oct 2019 14:45 - 15:30 People: Jonathan Van der Cruysse, Lode Hoste, Wolfgang Van Raemdonck

… , the construction supports nearly all JavaScript syntax and naturally gives rise …

Modal Assertions for Actor Correctness

AGERE 2019 When: Tue 22 Oct 2019 11:00 - 11:30 People: Colin Gordon

… each others’ rely-guarantee relations explicitly.

We find that almost all

Language-independent Development Environment Support For Dynamic Runtimes

DLS 2019 When: Sun 20 Oct 2019 11:30 - 12:00 People: Daniel Stolpe, Tim Felgentreff, Christian Humer, Fabio Niephaus, Robert Hirschfeld

… available automatically to all language implementations on the Truffle framework …

Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications

MPLR 2019 When: Tue 22 Oct 2019 14:30 - 15:00 People: Dominik Aumayr, Stefan Marr, Elisa Gonzalez Boix, Hanspeter Mössenböck

… purposes. A key issue is that snapshotting blocks all other operations … thousand Acme Air requests, the number of slow requests ( 0.007% of all requests …

Lazy Pointer Update for Low Heap Compaction Pause Times

DLS 2019 When: Sun 20 Oct 2019 16:00 - 16:30 People: Clément Béra, Eliot Miranda, Elisa Gonzalez Boix

… reduces the time spent in moving compacted objects, not the time spent updating all

Efficient Fail-Fast Dynamic Subtype Checking

VMIL 2019 When: Tue 22 Oct 2019 11:30 - 12:00 People: Rohan Padhye, Koushik Sen

… combines the type identifiers of all its transitive supertypes. At run-time …

A mosaic of models as the driver for Domain-Specific Modeling in the Robotics Industry - Keynote by Anastasia Mavrommati, Mathworks

DSM'19 When: Sun 20 Oct 2019 09:30 - 10:30

… of assembly-like languages covering all facets of robot system design, from physics …

Lifted Static Analysis using a Binary Decision Diagram Abstract Domain

GPCE 2019 When: Tue 22 Oct 2019 14:00 - 14:30 People: Aleksandar S. Dimovski

… -based) static analyses allow analyzing all variants of the family … for all variants, immediately yields to combinatorial explosion given …

Floorplan: Spatial Layout in Memory Management Systems

GPCE 2019 When: Tue 22 Oct 2019 11:30 - 12:00 People: Karl Cronburg, Sam Guyer

… . A memory management policy must also carefully orchestrate all the different …

Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses

GPCE 2019 When: Tue 22 Oct 2019 15:00 - 15:30 People: Kevin Feichtinger, Daniel Hinterreiter, Lukas Linsbauer, Herbert Prähofer, Paul Grünbacher

… and as a heatmap visualizing the dependency changes of all features in a model. We …

A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions

GPCE 2019 When: Mon 21 Oct 2019 14:00 - 14:30 People: Alen Stojanov, Tiark Rompf, Markus Püschel

… . Our prototype MATLAB compiler MGen produces static C code that supports all

Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors

SLE 2019 When: Mon 21 Oct 2019 14:00 - 14:30 People: Vasco Sousa, Eugene Syriani, Khady Fall

… . In our work, we anchor the semantics of all these aspects in a Statecharts model … on the semantic anchoring of all these languages based on a RETE algorithm to provide …

Consistency Management via a Combination of Triple Graph Grammars and Linear Programming

SLE 2019 When: Mon 21 Oct 2019 12:00 - 12:30 People: Nils Weidmann, Anthony Anjorin, Erhan Leblebici, Andy Schürr

… Consistency management is an important task in the context of Domain-Specific Language (DSL) development. It involves operations such as program (model) transformation, synchronisation, integration, and consistency checking, which are all

Multiple Lexicalisation - A Java Based Study

SLE 2019 When: Mon 21 Oct 2019 16:00 - 16:30 People: Elizabeth Scott, Adrian Johnstone

… the standard Java lexer is safe in the sense that it does not remove all

A Feature-Based Classification of Triple Graph Grammar Variants

SLE 2019 When: Mon 21 Oct 2019 11:00 - 11:30 People: Nils Weidmann, Patrick Robrecht, Robin Oppermann

… to check whether the tool supports all features required to specify a given consistency …

Spectrum-Based Fault Localization for Context-Free Grammars

SLE 2019 When: Mon 21 Oct 2019 11:30 - 12:00 People: Moeketsi Raselimo, Bernd Fischer

… %-40% of the cases. On average, it ranks the fault at around 25% of all rules …

TLA+ model checking made symbolic

OOPSLA When: Fri 25 Oct 2019 14:45 - 15:07 People: Igor Konnov, Jure Kukovec, Thanh-Hai Tran

… TLA+ is a language for formal specification of all kinds of computer systems. System designers use this language to specify concurrent, distributed … that all specification parameters are fixed and all states are finite structures …

The Algorithm for Precision Medicine

Keynotes When: Wed 23 Oct 2019 09:00 - 10:30 People: Matthew Might

… Precision medicine promises to deliver ultra-personalized care by casting medicine as an optimization problem: identifying the best possible treatment with respect to all available data.

A slew of recent advances in biology, starting …

Formal Foundations of Serverless Computing

OOPSLA When: Wed 23 Oct 2019 16:00 - 16:22 People: Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha

… on all major cloud computing platforms.

Unfortunately, the serverless computing …, Lambda_Lambda models all the low-level details that serverless functions can …

Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency

OOPSLA When: Fri 25 Oct 2019 14:22 - 14:45 People: Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos (Kostis) Sagonas

… equivalence can be coarsened but still cover all program crashes and assertion … on all programs that we have tried. This is achieved by a novel test that checks …

Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping

OOPSLA When: Wed 23 Oct 2019 17:07 - 17:30 People: Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, Fernando Magno Quintão Pereira

… . We have compared our algorithm against five other qubit allocators, all

A Formalization of Java’s Concurrent Access Modes

OOPSLA When: Wed 23 Oct 2019 16:22 - 16:45 People: John Bender, Jens Palsberg

… constructed an axiomatic model for all of the modes using the Herd modeling tool …

Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments

OOPSLA When: Wed 23 Oct 2019 14:45 - 15:07 People: Dowon Song, Myungho Lee, Hakjoo Oh

… because instructors cannot predict all corner cases of diverse student …

CLOTHO: Directed Test Generation for Weakly Consistent Database Systems

OOPSLA When: Fri 25 Oct 2019 11:00 - 11:22 People: Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

… properties. Enforcing serializable execution of all transactions achieves …

Effective Lock Handling in Stateless Model Checking

OOPSLA When: Fri 25 Oct 2019 15:07 - 15:30 People: Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis

… Stateless Model Checking (SMC) is a verification technique for concurrent programs that checks for safety violations by exploring all possible thread interleavings. SMC is usually coupled with Partial Order Reduction (POR), which …

Modular Verification of Heap Reachability Properties in Separation Logic

OOPSLA Artifacts People: Arshavir Ter-Gabrielyan, Alexander J. Summers, Peter Müller

… We submit an artifact with all the software needed to reproduce our experiments. Based on a number of benchmarks, including the running examples from our paper, we demonstrate how the claimed classes of programs (methods with relatively …

Quantum Programming

Rebase When: Wed 23 Oct 2019 14:00 - 14:45 People: Jens Palsberg

… to outperform all current classical computers. Quantum computers with 72 cubits …

Sound and Reusable Components for Abstract Interpretation

OOPSLA When: Wed 23 Oct 2019 12:07 - 12:30 People: Sven Keidel, Sebastian Erdweg

… , if all its analysis components are sound. This means that analysis developers do …

Declarative Assembly of Web Applications from Predefined Concepts

Onward! Papers When: Thu 24 Oct 2019 11:00 - 11:30 People: Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, Barry A. McNamara III

… , configuration, linking and binding of components is all expressed in a simple template …

Trace Aware Random Testing for Distributed Systems

OOPSLA When: Wed 23 Oct 2019 14:22 - 14:45 People: Burcu Kulahcioglu Ozkan, Rupak Majumdar, Simin Oraee

… to only cover all executions of small depth, rather than the much larger space of all schedules. At this point, there is no random testing algorithm that combines …

Weakening WebAssembly

OOPSLA When: Thu 24 Oct 2019 11:22 - 11:45 People: Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod

… address space can be dynamically grown during execution, while all accesses …

Reflection-aware Static Regression Test Selection

OOPSLA When: Wed 23 Oct 2019 14:00 - 14:22 People: August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen

… , and with RetestAll which reruns all tests after every code change. We also compared safety …

Local-first software: You own your data, in spite of the cloud

Onward! Essays When: Wed 23 Oct 2019 16:00 - 16:45 People: Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, Mark McGranaghan

… Cloud apps like Google Docs and Trello are popular because they enable real-time collaboration with colleagues, and they make it easy for us to access our work from all of our devices. However, by centralizing data storage on servers …

ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations

OOPSLA When: Thu 24 Oct 2019 16:45 - 17:07 People: Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram Adve, Sasa Misailovic, Sarita Adve

… be shipped to all kinds of hardware platforms. We evaluate our framework on nine …

Staged Abstract Interpreters

OOPSLA When: Wed 23 Oct 2019 11:22 - 11:45 People: Guannan Wei, Yuxuan Chen, Tiark Rompf

… static analysis, all while requiring less engineering effort and without …

Augmenting Raw Materials with Sensing and Computation

Rebase When: Wed 23 Oct 2019 14:45 - 15:30 People: Phillip Stanley-Marbell

all iOS, watchOS, and macOS platforms. Prior to completing his Ph.D., he held …

Compiler Fuzzing: How Much Does It Matter?

OOPSLA When: Fri 25 Oct 2019 12:07 - 12:30 People: Michaël Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar

… of all the impacted packages. User-reported and formal verification bugs do …

Exploiting Models for Scalable and High Throughput Distributed Software

Doctoral Symposium When: Mon 21 Oct 2019 16:00 - 16:40 People: Tim Soethout

… , where all or none should happen, but nothing in between. A well-known generic …

Compiler Fuzzing: How Much Does It Matter?

OOPSLA Artifacts People: Michaël Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar

… of all the impacted packages. User-reported and formal verification bugs do …

Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts

OOPSLA When: Fri 25 Oct 2019 11:00 - 11:22 People: Shuai Wang, Chengyu Zhang, Zhendong Su

… vulnerable to recently-disclosed attack vectors. NPChecker can identify all six new …