Artifact used in the Clockhands paper (to be published in MICRO2023). This artifact contains: 1. A cycle-accurate Clockhands simulator, Clockhands assembler, and optimized CoreMark assembly, and 2. An environment for preliminary experiments that investigate register lifetimes using RISC-V binaries
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
This is the artifact of the paper "Revisiting Learning-based Commit Message Generation". In the arti...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the software artifact for "Index Launches: Scalable, Flexible Representation of Parallel Tas...
This artifact is intended to demonstrate the workflow followed by our simulation approach for at-sca...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the version of Multi-Clock that was used for experiments reported in the following HPCA pape...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
The artifact for the publication: "MC Mutants: Evaluating and Improving Testing for Memory Consisten...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This artifact is intended to make available the workflow applied during our simulations to analyze t...
This artifact contains the source code of Khronos, along with other open-source simulators. Among th...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
This is the artifact of the paper "Revisiting Learning-based Commit Message Generation". In the arti...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the software artifact for "Index Launches: Scalable, Flexible Representation of Parallel Tas...
This artifact is intended to demonstrate the workflow followed by our simulation approach for at-sca...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the version of Multi-Clock that was used for experiments reported in the following HPCA pape...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
The artifact for the publication: "MC Mutants: Evaluating and Improving Testing for Memory Consisten...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This artifact is intended to make available the workflow applied during our simulations to analyze t...
This artifact contains the source code of Khronos, along with other open-source simulators. Among th...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
This is the artifact of the paper "Revisiting Learning-based Commit Message Generation". In the arti...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
DOI
Add to ORKG