Search events for 'all'
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 …