OSRKit is a library that enables On-Stack Replacement (OSR) at arbitrary places in LLVM IR code. The artifact is designed to explore how OSRKit can instrument IR code to support OSR transitions in the LLVM MCJIT runtime environment. The artifact includes an interactive VM called TinyVM for loading, inspecting, instrumenting, and executing IR code. The package is a preconfigured Oracle VirtualBox VM. The code has been endorsed by the joint Artifact Evaluation process of CGO-PPoPP 201
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
This upload is a virtual machine (VM) containing the artifact accompanying our paper "Randomized Tes...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
On-Stack Replacement (OSR) is a technique for dynamically transferring execution between different v...
The artifact for this paper contains tools and data to reproduce, with minimal effort, the entire te...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2...
Evaluation Artifact for the CGO 2022 paper "F3M: Fast Focused Function Merging". This archive contai...
This is the artifact to accompany our OOPSLA 2023 submission on “Reusing Just-in-Time Compiled Code”...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact submitted alongside our OOPSLA'22 paper "Language-Parametric Static Semantic Co...
A VirtualBox VM image that is fully set up to reproduce experiments mentioned in the ASPLOS 2021 pap...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
This upload is a virtual machine (VM) containing the artifact accompanying our paper "Randomized Tes...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
On-Stack Replacement (OSR) is a technique for dynamically transferring execution between different v...
The artifact for this paper contains tools and data to reproduce, with minimal effort, the entire te...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
The artifact evaluation for "IRDL: An IR Definition Language for SSA Compilers", published at PLDI 2...
Evaluation Artifact for the CGO 2022 paper "F3M: Fast Focused Function Merging". This archive contai...
This is the artifact to accompany our OOPSLA 2023 submission on “Reusing Just-in-Time Compiled Code”...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact for the PLDI'22 paper "Islaris: Verification of Machine Code Against Authoritat...
This is the artifact submitted alongside our OOPSLA'22 paper "Language-Parametric Static Semantic Co...
A VirtualBox VM image that is fully set up to reproduce experiments mentioned in the ASPLOS 2021 pap...
This is the artifact for our CC'22 paper "QSSA: An SSA-based IR for Quantum Computing". It consists ...
This upload is a virtual machine (VM) containing the artifact accompanying our paper "Randomized Tes...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...