Artifact for the ECOOP 2022 Paper: A Deterministic Memory Allocator for Dynamic Symbolic Executio
This artifact is intended to make available the output files generated during our simulations to ana...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
Artifact for Contention-aware Application Performance Prediction for Disaggregated Memory Systems (C...
KDAlloc is a deterministic memory allocator for Dynamic Symbolic Execution. This artifact provides t...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is the artifact that accompanies the paper "Visibility Algorithms for Dynamic Dependence Analys...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
This work investigates the problem of integrating two powerful abstractions for concurrent programmi...
The purpose of this artifact is to provide access to the workflow employed during our tests and the ...
This artifact is intended to demonstrate the workflow followed by our simulation approach for at-sca...
This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2...
Dynamic symbolic execution (DSE) has established itself as an effective testing and analysis techniq...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact is intended to make available the output files generated during our simulations to ana...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
Artifact for Contention-aware Application Performance Prediction for Disaggregated Memory Systems (C...
KDAlloc is a deterministic memory allocator for Dynamic Symbolic Execution. This artifact provides t...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is the artifact that accompanies the paper "Visibility Algorithms for Dynamic Dependence Analys...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
This work investigates the problem of integrating two powerful abstractions for concurrent programmi...
The purpose of this artifact is to provide access to the workflow employed during our tests and the ...
This artifact is intended to demonstrate the workflow followed by our simulation approach for at-sca...
This is the primary artifact for "Symbolic Execution for Randomized Programs", to appear in OOPSLA 2...
Dynamic symbolic execution (DSE) has established itself as an effective testing and analysis techniq...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact is intended to make available the output files generated during our simulations to ana...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
Artifact for Contention-aware Application Performance Prediction for Disaggregated Memory Systems (C...
DOI
Add to ORKG