| 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 |
|---|
|
Trigger Selection Strategies to Stabilize Program Verifiers K. Rustan M. Leino, Clément Pit-Claudel |
Trigger Selection Strategies to Stabilize Program Verifiers 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
|
|
Learning-Based Assume-Guarantee Regression Verification Fei He, Shu Mao, Bow-Yaw Wang |
Learning-Based Assume-Guarantee Regression Verification Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Markov Chains and Unambiguous Büchi Automata Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell |
Markov Chains and Unambiguous Büchi Automata 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Symbolic Optimal Reachability in Weighted Timed Automata Patricia Bouyer, Maximilien Colange, Nicolas Markey |
Symbolic Optimal Reachability in Weighted Timed Automata 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata Bishoksan Kafle, John P. Gallagher, José F. Morales |
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata 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
|
|
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems Roderick Bloem, Nicolas Braud-Santoni, Swen Jacobs |
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
From Shape Analysis to Termination Analysis in Linear Time Roman Manevich, Boris Dogadov, Noam Rinetzky |
From Shape Analysis to Termination Analysis in Linear Time 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models Van Chan Ngo, Axel Legay, Vania Joloboff |
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Satisfiability Modulo Heap-Based Programs Quang Loc Le, Jun Sun, Wei-Ngan Chin |
Satisfiability Modulo Heap-Based Programs 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Bernd Finkbeiner, Felix Klein |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Counterexample Guided Abstraction Refinement for Stability Analysis Pavithra Prabhakar, Miriam Garcia Soto |
Counterexample Guided Abstraction Refinement for Stability Analysis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Progressive Reasoning over Recursively-Defined Strings Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar |
Progressive Reasoning over Recursively-Defined Strings Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Termination Analysis of Probabilistic Programs Through Positivstellensatz's Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady |
Termination Analysis of Probabilistic Programs Through Positivstellensatz's Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala |
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances Michael Dooley, Fabio Somenzi |
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover |
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Parsimonious, Simulation Based Verification of Linear Systems Parasara Sridhar Duggirala, Mahesh Viswanathan |
Parsimonious, Simulation Based Verification of Linear Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution Peter Müller, Malte Schwerhoff, Alexander J. Summers |
Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution 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
|
|
PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr, Sasa Misailovic, Martin T. Vechev |
PSI: Exact Symbolic Inference for Probabilistic Programs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Under-Approximating Backward Reachable Sets by Polytopes Bai Xue, Zhikun She, Arvind Easwaran |
Under-Approximating Backward Reachable Sets by Polytopes Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories Aina Niemetz, Mathias Preiner, Armin Biere |
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham |
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
JayHorn: A Framework for Verifying Java programs Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf |
JayHorn: A Framework for Verifying Java programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Decision Procedure for Sets, Binary Relations and Partial Functions Maximiliano Cristiá, Gianfranco Rossi |
A Decision Procedure for Sets, Binary Relations and Partial Functions 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
|
|
Fast, Flexible, and Minimal CTL Synthesis via SMT Tobias Klenze, Sam Bayless, Alan J. Hu |
Fast, Flexible, and Minimal CTL Synthesis via SMT Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Synthesizing Probabilistic Invariants via Doob's Decomposition Gilles Barthe, Thomas Espitau, Luis María Ferrer Fioriti, Justin Hsu |
Synthesizing Probabilistic Invariants via Doob's Decomposition Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
RV-Match: Practical Semantics-Based Program Analysis Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Rosu |
RV-Match: Practical Semantics-Based Program Analysis 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Structural Synthesis for GXW Specifications Chih-Hong Cheng, Yassine Hamza, Harald Ruess |
Structural Synthesis for GXW Specifications Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
String Analysis via Automata Manipulation with Logic Circuit Representation Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang |
String Analysis via Automata Manipulation with Logic Circuit Representation 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Soufflé: On Synthesis of Program Analyzers Herbert Jordan, Bernhard Scholz, Pavle Subotic |
Soufflé: On Synthesis of Program Analyzers Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky |
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Probabilistic Automated Language Learning for Configuration Files Mark Santolucito, Ennan Zhai, Ruzica Piskac |
Probabilistic Automated Language Learning for Configuration Files 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses Dirk Beyer, Matthias Dangl |
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Effectively Propositional Interpolants Samuel Drews, Aws Albarghouthi |
Effectively Propositional Interpolants Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
BigraphER: Rewriting and Analysis Engine for Bigraphs Michele Sevegnani, Muffy Calder |
BigraphER: Rewriting and Analysis Engine for Bigraphs 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
BDD-Based Boolean Functional Synthesis Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
BDD-Based Boolean Functional Synthesis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov |
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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Combining Model Learning and Model Checking to Analyze TCP Implementations Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
Combining Model Learning and Model Checking to Analyze TCP Implementations Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Compositional Synthesis of Reactive Controllers for Multi-agent Systems Rajeev Alur, Salar Moarref, Ufuk Topcu |
Compositional Synthesis of Reactive Controllers for Multi-agent Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Solving Parity Games via Priority Promotion Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero |
Solving Parity Games via Priority Promotion Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Slugs: Extensible GR(1) Synthesis Rüdiger Ehlers, Vasumathi Raman |
Slugs: Extensible GR(1) Synthesis Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli |
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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Qlose: Program Repair with Quantitative Objectives Loris D'Antoni, Roopsha Samanta, Rishabh Singh |
Qlose: Program Repair with Quantitative Objectives Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Hitting Families of Schedules for Asynchronous Programs Dmitry Chistikov, Rupak Majumdar, Filip Niksic |
Hitting Families of Schedules for Asynchronous Programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
End-to-End Verification of Processors with ISA-Formal Alastair Reid, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi |
End-to-End Verification of Processors with ISA-Formal Details |
Author Comments:
The research involved several commercial products that we are not able to publish so only a subset of the research artifacts are available so the linked information is not sufficient to reproduce the research.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits Hassan Eldib, Meng Wu, Chao Wang |
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Practical Verification Framework for Preemptive OS Kernels Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li |
A Practical Verification Framework for Preemptive OS Kernels 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Property Directed Equivalence via Abstract Simulation Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina |
Property Directed Equivalence via Abstract Simulation 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs Anton Wijs |
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration Marco Gario, Alessandro Cimatti, Cristian Mattarei, Stefano Tonetta, Kristin Yvonne Rozier |
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers Anthony W. Lin, Philipp Rümmer |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A SAT-Based Counterexample Guided Method for Unbounded Synthesis Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
A SAT-Based Counterexample Guided Method for Unbounded Synthesis 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Stateless Model Checking for POWER Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson |
Stateless Model Checking for POWER 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
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
XSat: A Fast Floating-Point Satisfiability Solver Zhoulai Fu, Zhendong Su |
XSat: A Fast Floating-Point Satisfiability Solver Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Limit-Deterministic Büchi Automata for Linear Temporal Logic Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský |
Limit-Deterministic Büchi Automata for Linear Temporal Logic 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
|
|
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach Yu-Fang Chen, Lei Song, Zhilin Wu |
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation Vladimir Herdt, Hoang Minh Le, Daniel Große, Rolf Drechsler |
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|