This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog"
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the supplementary material of the paper "The Essence of Verilog: A Tractable and Tested Oper...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This paper describes a formal executable semantics for the Verilog hardware description language. T...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the supplementary material of the paper "The Essence of Verilog: A Tractable and Tested Oper...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This paper describes a formal executable semantics for the Verilog hardware description language. T...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
Artifact for PLDI'20 paper "Silq: A High-level Quantum Programming Language with Safe Uncomputation ...
DOI
Add to ORKG