Publication date
September 2022
DOIAbstract
This release correspond to the artifact submitted at OOPSLA 2022 along with the paper A Conceptual Framework for Safe Object Initialization (Blaudeau, Liu)
This release correspond to the artifact submitted at OOPSLA 2022 along with the paper A Conceptual Framework for Safe Object Initialization (Blaudeau, Liu)
This release is the artifact associated with "Causal Testing: Understanding Defects' Root Causes" by...
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
Artifact accompanying the paper Specification-Guided Component-Based Synthesis from Effectful Librar...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This file is an artifact for the OOPSLA 2023 paper Initializing Global Objects: Time and Order
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
It contains the README and the scripts to set up the experimental environment and run the experiment...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This is the artifact to accompany our OOPSLA 2023 submission on “Reusing Just-in-Time Compiled Code”...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
This is the artifact corresponding to the paper "Formulog: Datalog for SMT-Based Static Analysis" by...
This release is the artifact associated with "Causal Testing: Understanding Defects' Root Causes" by...
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
Artifact accompanying the paper Specification-Guided Component-Based Synthesis from Effectful Librar...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This file is an artifact for the OOPSLA 2023 paper Initializing Global Objects: Time and Order
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This archive contains the accompanying artifact for the PACMPL/OOPSLA 2021 paper "Translating C to S...
It contains the README and the scripts to set up the experimental environment and run the experiment...
It provides a VM and a docker image that contain all the source code to perform experiments of the F...
This is the artifact to accompany our OOPSLA 2023 submission on “Reusing Just-in-Time Compiled Code”...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
This is the artifact corresponding to the paper "Formulog: Datalog for SMT-Based Static Analysis" by...
This release is the artifact associated with "Causal Testing: Understanding Defects' Root Causes" by...
This is the artifact that accompanies the paper "Solver-based Gradual Type Migration" which was cond...
Artifact accompanying the paper Specification-Guided Component-Based Synthesis from Effectful Librar...
Add to ORKG