A software artifact to accompany the paper "Responsive Parallelism with Futures and State," to appear in PLDI 2020. Contains a C++ type system that interfaces to a priority-aware work-stealing scheduler based on Cilk Plus as well as benchmarks used in the paper. For more details, see the PLDI 20 paper or an extended version of the paper available here: https://arxiv.org/abs/2004.02870.Along with the funding sources listed elsewhere, this work was also funded by National Science Foundation (US) grants CCF-1901381, CCF-1733873, CCF-1910568, and CCF-1725647
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
Parallel computing hardware is ubiquitous, ranging from cell-phones with multiple cores to super-com...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
The Cilk-F prototype runtime that implements a proactive work stealing scheduler for scheduling futu...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This artifact accompanies the PLDI 2020 paper "Inductive Sequentialization of Asynchronous Programs"...
An approach to high-performance discrete event simulation consists of exploiting parallelization tec...
This artifact is concerned with Section 5 (Evaluation) of the paper "Accelerating Nested Data Parall...
Artifact archive for the artifact evaluation of our ASPLOS 2020 paper, titled "Perspective: A Sensib...
This is the software artifact for "Index Launches: Scalable, Flexible Representation of Parallel Tas...
This is the artifact to accompany our PLDI 2022 submission on “Deoptless: Speculation with Dispatche...
Artifact archive for the artifact evaluation of our PLDI 2020 paper, titled "SCAF: A Speculation-Awa...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
Parallel computing hardware is ubiquitous, ranging from cell-phones with multiple cores to super-com...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
The Cilk-F prototype runtime that implements a proactive work stealing scheduler for scheduling futu...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
This artifact accompanies the PLDI 2020 paper "Inductive Sequentialization of Asynchronous Programs"...
An approach to high-performance discrete event simulation consists of exploiting parallelization tec...
This artifact is concerned with Section 5 (Evaluation) of the paper "Accelerating Nested Data Parall...
Artifact archive for the artifact evaluation of our ASPLOS 2020 paper, titled "Perspective: A Sensib...
This is the software artifact for "Index Launches: Scalable, Flexible Representation of Parallel Tas...
This is the artifact to accompany our PLDI 2022 submission on “Deoptless: Speculation with Dispatche...
Artifact archive for the artifact evaluation of our PLDI 2020 paper, titled "SCAF: A Speculation-Awa...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
We provide the Static Parallel Sampling (SPS) artifact that contains code, testing shell scripts and...
Parallel computing hardware is ubiquitous, ranging from cell-phones with multiple cores to super-com...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...