| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming Alexandre Maréchal, David Monniaux, Michaël Périn |
Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Probabilistic Horn Clause Verification Aws Albarghouthi |
Probabilistic Horn Clause Verification Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Loop Invariants from Counterexamples Marius Greitschus, Daniel Dietsch, Andreas Podelski |
Loop Invariants from Counterexamples Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Combining Forward and Backward Abstract Interpretation of Horn Clauses Alexey Bakhirkin, David Monniaux |
Combining Forward and Backward Abstract Interpretation of Horn Clauses Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification Isabella Mastroeni, Michele Pasqua |
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Modular Demand-Driven Analysis of Semantic Difference for Program Versions Anna Trostanetski, Orna Grumberg, Daniel Kroening |
Modular Demand-Driven Analysis of Semantic Difference for Program Versions Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky |
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel, Jorge A. Navas |
A Context-Sensitive Memory Model for Verification of C/C++ Programs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Relative Store Fragments for Singleton Abstraction Leandro Facchinetti, Zachary Palmer, Scott F. Smith |
Relative Store Fragments for Singleton Abstraction Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Chaoqiang Deng, Kedar S. Namjoshi |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A New Abstraction Framework for Affine Transformers Tushar Sharma, Thomas W. Reps |
A New Abstraction Framework for Affine Transformers Details |
|
Author Comments:
The contribution of this confererence paper was a theoretical framework. Experiments and implementation were not included.
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Template Polyhedra with a Twist Sriram Sankaranarayanan, Mohamed Amin Ben Sassi |
Template Polyhedra with a Twist Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, Daniel Tarlow |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A Gradual Interpretation of Union Types Matías Toro, Éric Tanter |
A Gradual Interpretation of Union Types Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Abstract Semantic Diffing of Evolving Concurrent Programs Ahmed Bouajjani, Constantin Enea, Shuvendu K. Lahiri |
Abstract Semantic Diffing of Evolving Concurrent Programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff |
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Incremental Analysis for Probabilistic Programs Jieyuan Zhang, Yulei Sui, Jingling Xue |
Incremental Analysis for Probabilistic Programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration Colas Le Guernic |
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer |
Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models Details |
Author Comments:
A newer version of the tool (including new features and improvements in performance) can be found here: https://github.com/hernanponcedeleon/Dat3M
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains Abdelraouf Ouadjaout, Antoine Miné |
Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Verifying Array Manipulating Programs by Tiling Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat |
Verifying Array Manipulating Programs by Tiling Details |
Author Comments:
A virtual machine image of ubuntu 16.04 with TILER installed is uploaded on the given link. It contains all the benchmarks used in the paper and scripts to run the benchmarks.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Synthesizing Imperative Programs from Examples Guided by Static Analysis Sunbeom So, Hakjoo Oh |
Synthesizing Imperative Programs from Examples Guided by Static Analysis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|