This is the artifact corresponding to the paper "Formulog: Datalog for SMT-Based Static Analysis" by Aaron Bembenek, Michael Greenberg, and Stephen Chong, which has been conditionally accepted at OOPSLA 2020. This version fixes a few bugs in the original (evaluated) artifact
<p>This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis fo...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact corresponding to the paper "Formulog: Datalog for SMT-Based Static Analysis" by...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Artifact for the Paper "Scaling Up Roundoff Analysis of Functional Data Structure Programs" to SAS23...
This is the artifact for the OOPSLA 23 paper "Bring Your Own Data structures to Datalog". The artifa...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
<p>This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis fo...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact corresponding to the paper "Formulog: Datalog for SMT-Based Static Analysis" by...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This is the artifact corresponding to the paper "From SMT to ASP: Solver-Based Approaches to Solving...
This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis for Testing Static T...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Artifact for the Paper "Scaling Up Roundoff Analysis of Functional Data Structure Programs" to SAS23...
This is the artifact for the OOPSLA 23 paper "Bring Your Own Data structures to Datalog". The artifa...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
Artifact associated with the paper "Boosting Static Analysis Accuracy with Instrumented Test Executi...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
<p>This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis fo...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
DOI
Add to ORKG