| 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 |
|---|
|
Closing the Performance Gap Between Doubles and Rationals for Octagons Aziem Chawdhary, Andy King |
Closing the Performance Gap Between Doubles and Rationals for Octagons Details |
|
Author Comments:
None
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Volume-Based Merge Heuristics for Disjunctive Numeric Domains Andrew Ruef, Kesha Hietala, Arlen Cox |
Volume-Based Merge Heuristics for Disjunctive Numeric Domains Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Florian Zuleger |
Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Experience Developing and Deploying Concurrency Analysis at Facebook Peter W. O'Hearn |
Experience Developing and Deploying Concurrency Analysis at Facebook Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Incremental Verification Using Trace Abstraction Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann |
Incremental Verification Using Trace Abstraction Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra Anna Becchi, Enea Zaffanella |
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra 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
|
|
Block-Size Independence for GPU Programs Rajeev Alur, Joseph Devietti, Nimit Singhania |
Block-Size Independence for GPU 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
|
|
Invertible Linear Transforms of Numerical Abstract Domains Francesco Ranzato, Marco Zanella |
Invertible Linear Transforms of Numerical Abstract Domains Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Interactive Verification of Distributed Protocols Using Decidable Logic Sharon Shoham |
Interactive Verification of Distributed Protocols Using Decidable Logic Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Verifying Properties of Differentiable Programs Jan Hückelheim, Ziqing Luo, Sri Hari Krishna Narayanan, Stephen F. Siegel, Paul D. Hovland |
Verifying Properties of Differentiable 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
|
|
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis Maxime Jacquemin, Sylvie Putot, Franck Védrine |
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point 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
|
|
Abstract Interpretation of CTL Properties Caterina Urban, Samuel Ueltschi, Peter Müller |
Abstract Interpretation of CTL Properties 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
|
|
Efficiently Learning Safety Proofs from Appearance as well as Behaviours Sumanth Prabhu, Kumar Madhukar, R. Venkatesh |
Efficiently Learning Safety Proofs from Appearance as well as Behaviours Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Modular Static Analysis of String Manipulations in C Programs Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout |
Modular Static Analysis of String Manipulations in C Programs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Abstract Interpretation of Stateful Networks Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
Abstract Interpretation of Stateful Networks Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Impact of Program Transformations on Static Program Analysis Kedar S. Namjoshi, Zvonimir Pavlinovic |
The Impact of Program Transformations on Static Program Analysis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Fairness: A Formal-Methods Perspective Aws Albarghouthi |
Fairness: A Formal-Methods Perspective Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Verifying Bounded Subset-Closed Hyperproperties Isabella Mastroeni, Michele Pasqua |
Verifying Bounded Subset-Closed Hyperproperties Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Deductive Verification in Decidable Fragments with Ivy Kenneth L. McMillan, Oded Padon |
Deductive Verification in Decidable Fragments with Ivy Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints Alexey Bakhirkin, David Monniaux |
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints 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
|
|
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair Ruzica Piskac |
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair Details |
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
|
Numerical Invariants via Abstract Machines Zachary Kincaid |
Numerical Invariants via Abstract Machines Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Modular Software Fault Isolation as Abstract Interpretation Frédéric Besson, Thomas P. Jensen, Julien Lepiller |
Modular Software Fault Isolation as Abstract Interpretation 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
|
|
Process-Local Static Analysis of Synchronous Processes Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
Process-Local Static Analysis of Synchronous Processes Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|