Publication date
April 2023
DOIAbstract
This is the Artifact for the CAV 2023 paper: Model Checking Race-Freedom when "Sequential Consistency for Data-race-free Programs" is Guarantee
This is the Artifact for the CAV 2023 paper: Model Checking Race-Freedom when "Sequential Consistency for Data-race-free Programs" is Guarantee
The most intuitive memory model for shared-memory multi-threaded programming is sequenti...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is the artifact for the OOPSLA'21 paper "Well-Typed Programs Can Go Wrong: A Study of Typing-Re...
This is the second revision of the artifact for the CAV 2023 paper: Model Checking Race-Freedom when...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
The artifact for the paper Modular Data-Race-Freedom Guarantees in the Promising Semantics (PLDI 202...
This replication archive contains all data and code to replicate the JOP article "Economic Reasoning...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This artifact is for the paper entitled “MAAT: A Novel Ensemble Approach to Addressing Fairness and ...
This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabil...
Thesis (Ph.D.)--University of Washington, 2014Some researchers have proposed data-race exceptions to...
This artifact accompanies our paper "VerifiedFT: A Verified, High-Performance Precise Dynamic Race D...
This is the artifact for our ESEC/FSE 2019 paper "Effects of Explicit Feature Traceability on Progra...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
The most intuitive memory model for shared-memory multi-threaded programming is sequenti...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is the artifact for the OOPSLA'21 paper "Well-Typed Programs Can Go Wrong: A Study of Typing-Re...
This is the second revision of the artifact for the CAV 2023 paper: Model Checking Race-Freedom when...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
The artifact for the paper Modular Data-Race-Freedom Guarantees in the Promising Semantics (PLDI 202...
This replication archive contains all data and code to replicate the JOP article "Economic Reasoning...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This artifact is for the paper entitled “MAAT: A Novel Ensemble Approach to Addressing Fairness and ...
This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabil...
Thesis (Ph.D.)--University of Washington, 2014Some researchers have proposed data-race exceptions to...
This artifact accompanies our paper "VerifiedFT: A Verified, High-Performance Precise Dynamic Race D...
This is the artifact for our ESEC/FSE 2019 paper "Effects of Explicit Feature Traceability on Progra...
Artifact for CAV23 Artifact Evaluation, to accompany the paper entitled Commutativity For Concurrent...
The most intuitive memory model for shared-memory multi-threaded programming is sequenti...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is the artifact for the OOPSLA'21 paper "Well-Typed Programs Can Go Wrong: A Study of Typing-Re...
Add to ORKG