Artifact package to reproduce some results in our paper Efficiently Running SpMV on Long Vector Architectures
This reproduction package contains the JavaSMT library, CPAchecker (internally using JavaSMT), bench...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
This artifact contains the log files and data to replicate the experiments in the paper "Murxla: A M...
Artifact package to reproduce some results in our paper Efficiently Running SpMV on Long Vector Arch...
Artifact description appendix for the paper "Speeding Up SpMV for Power-Law Graph Analytics by Enhan...
This artifact provides all necessary script, code and data to reproduce the performance evaluation ...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Sparse Matrix-Vector multiplication (SpMV) is an essential kernel for parallel numerical application...
As part of our recently accepted NVMExplorer-related submission to HPCA '22, we include reference co...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This reproduction package contains the JavaSMT library, CPAchecker (internally using JavaSMT), bench...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
This artifact contains the log files and data to replicate the experiments in the paper "Murxla: A M...
Artifact package to reproduce some results in our paper Efficiently Running SpMV on Long Vector Arch...
Artifact description appendix for the paper "Speeding Up SpMV for Power-Law Graph Analytics by Enhan...
This artifact provides all necessary script, code and data to reproduce the performance evaluation ...
This artifact allows for reproducing the results of Section 6 of the paper Static Analysis of Memory...
This upload is a VM containing the artifact accompanying our QEST'22 paper "POMDP Controllers With O...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
Sparse Matrix-Vector multiplication (SpMV) is an essential kernel for parallel numerical application...
As part of our recently accepted NVMExplorer-related submission to HPCA '22, we include reference co...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This reproduction package contains the JavaSMT library, CPAchecker (internally using JavaSMT), bench...
The artifact is a virtual machine image containing two Coq packages which include mechanization of p...
This artifact contains the log files and data to replicate the experiments in the paper "Murxla: A M...