Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Events (52 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:25 - 09:40 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:00 - 09:25 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:00 - 14:30 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 …

FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization

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

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

Streams, Reactivity and FRP: where we are, where to go

REBLS When: Mon 21 Oct 2019 09:10 - 10:30 People: Ivan Perez

… interfaces, and application domains.

In spite of all these differences, many …

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

MadMax and Friends: Program Analysis for Smart Contracts

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

… .

The toolchains surrounding MadMax today (namely Ethane and Gigahorse) are 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 …

Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation

NJR 2019 When: Mon 21 Oct 2019 16:30 - 17:00 People: Tony Hosking

… explore mutation from all available seeds. To address this, industrial-strength … that neither MoonLight nor MINSET finds all of the 33 bugs revealed by our …

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 …

Dinner (registration add-on)

SLE 2019 When: Tue 22 Oct 2019 19:00 - 22:00

… The popular and traditional GPCE/SLE dinner will take place on Tuesday evening (October 22), 7:00pm at Attica Hall.

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

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 …

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

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

MPLR 2019 When: Mon 21 Oct 2019 11:00 - 11:30 People: Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck

… approach is generalizable for all bytecode interpreters. …

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 …

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 …

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

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

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 … APALACHE – a first symbolic model checker for TLA+. Like TLC, it assumes that all specification parameters are fixed and all states are finite structures. Unlike …

Unreasonable Effectiveness of Multiple Dispatch

Rebase When: Thu 24 Oct 2019 16:45 - 17:30 People: Jeff Bezanson, Stefan Karpinski

… to happen in all kinds of languages, but all too often we have failed to see this kind …-based object-oriented languages? After all, inheritance and encapsulation are two … encapsulation and doesn’t allow inheriting from concrete types at all.

In this talk …

The Algorithm for Precision Medicine

Keynotes When: Wed 23 Oct 2019 09:20 - 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 …

The Times They Are a-Changin’: A Data-Driven Portrait of New Trends in How We Build Software, Open Source, & What Even is "Entry-Level" Now

Rebase When: Thu 24 Oct 2019 14:45 - 15:30 People: Heather Miller

… are interesting because it affects all of us – both Academic and Industry. …

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

… number of key events. They bias the sample space of schedules to only cover all executions of small depth, rather than the much larger space of all schedules …

Optimal Stateless Model Checking for Reads-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 of Mazurkiewicz traces can be coarsened but still cover all …}, meaning that it spends polynomial time per equivalence class on all programs …

Formal Foundations of Serverless Computing

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

… serverless platform, AWS Lambda, and similar abstractions are now available on all major … computing. Despite being a small (half a page) core calculus, λ_λ models all

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 …

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 …

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 submissions …

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

… . Enforcing serializable execution of all transactions achieves this simplification …

A Formalization of Java’s Concurrent Access Modes

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

… . We
have constructed an axiomatic model for all of the modes using the Herd …

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 …

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

Sound and Reusable Components for Abstract Interpretation

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

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

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 …

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 F. Donaldson, Cristian Cadar

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

Compiler Fuzzing: How Much Does It Matter?

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

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

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 …

Weakening WebAssembly

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

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

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 S. Adve, Sasa Misailovic, Sarita Adve

… be shipped to all kinds of hardware platforms.

We evaluate our framework …

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

… reruns all tests after every code change. We also compare safety and precision …

Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming

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 …

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

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