|
|
Cuda |
52 |
Artifact for OSDI'21 GNNAdvisor |
Apr 11, 2023 |
|
|
Dafny |
4 |
VeriBetrKV OSDI'20 artifact |
Jun 16, 2022 |
|
|
Cuda |
6 |
OSDI'23-MGG-Artifact |
Apr 26, 2023 |
|
|
C++ |
3 |
Artifact for the OSDI '23 paper: "Ensō: A Streaming Interface for NIC-Application Communication" |
Nov 09, 2023 |
|
|
Dafny |
9 |
Verifying OpenTitan |
Apr 24, 2022 |
|
|
Dafny |
13 |
Deposit smart contract in Dafny |
Jul 27, 2022 |
|
|
Dafny |
8 |
ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs |
Apr 16, 2023 |
|
|
Dafny |
50 |
An EVM interpreter in Dafny |
Apr 13, 2023 |
|
|
Dafny |
4 |
A work-in-progress reimplementation of Dafny's compiler, in Dafny |
Feb 09, 2023 |
qbft-formal-spec-and-verification
|
Dafny |
2 |
None |
Jul 01, 2022 |
|
|
Dafny |
2 |
A tool for analyzing and reporting on Dafny, especially the results of verification |
Aug 09, 2022 |
|
|
Dafny |
3 |
Some examples of Dafny code to support training sessions |
Dec 21, 2021 |
|
|
Dafny |
14 |
A verified high-performance file system |
May 19, 2022 |
|
|
Dafny |
16 |
Libraries useful for Dafny programs |
Jul 24, 2022 |
|
|
Dafny |
51 |
Eth2.0 spec in Dafny |
Jul 04, 2022 |
|
|
Dafny |
3 |
Verification of Smart Contracts with Dafny – FMICS paper examples |
Mar 23, 2023 |
|
|
Dafny |
13 |
DaisyNFS is an NFS server verified using Dafny and Perennial. |
Sep 23, 2022 |
|
|
Dafny |
2 |
A verified intermediate verification language |
Mar 04, 2023 |
|
|
Dafny |
214 |
The MSR Ironclad project builds provably secure and reliable systems. |
Aug 02, 2022 |
|
|
Dafny |
2 |
Dafny |
Apr 12, 2023 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
Dafny |
4 |
i am so smart |
Dec 16, 2022 |
|
|
Dafny |
9 |
None |
Aug 16, 2022 |
|
|
Dafny |
18 |
Dafny for Metatheory of Programming Languages |
Apr 09, 2023 |
|
|
Dafny |
4 |
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell … |
Feb 02, 2023 |
|
|
Dafny |
37 |
Proving a blocking queue deadlock free in a dozen different ways |
Dec 21, 2022 |
|
|
Dafny |
4 |
Short introduction to Dafny |
Sep 21, 2023 |
|
|
Dafny |
2 |
some formal verification exercises using dafny. |
Jan 16, 2023 |
|
|
C |
43 |
Code artifact of the paper "A Simpler and Faster NIC Driver Model for Network Functions" … |
Aug 17, 2022 |
|
|
Java |
12 |
Artifact for ICSE 2023 |
Apr 30, 2023 |
|
|
C++ |
86 |
Source code for our OSDI 2016 paper |
Jul 31, 2022 |
|
|
C |
7 |
SeamFuzz Artifact repository for ICSE 2023 |
Jun 01, 2023 |
|
|
None |
3 |
POPL17 paper artifact |
Oct 11, 2016 |
|
|
C++ |
4 |
Artifact for the SC20 paper. |
Jul 14, 2021 |
|
|
Standard ML |
2 |
Artifact for PLDI 23 paper |
Oct 03, 2023 |
|
|
Python |
10 |
Repository for artifact evaluation of ASPLOS 2023 paper "SparseTIR: Composable Abstractions for Sparse Compilation in … |
May 01, 2023 |
|
|
C |
2 |
Artifact Evaluation Repository for the DCIR Paper |
Apr 01, 2023 |
|
|
None |
14 |
NCTU OSDI 2020 |
Feb 22, 2023 |
|
|
Python |
184 |
Research Artifact of ICSE 2023 Paper: Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and … |
Apr 25, 2023 |
|
|
Python |
3 |
Code for EACL 2023 paper |
May 31, 2023 |
|
|
C++ |
8 |
Artifact for paper: Breaking and Fixing Speculative Load Hardening |
Apr 16, 2023 |
|
|
Coq |
4 |
Public artifact for ICFP'18 paper on Futhark modules |
Apr 22, 2022 |
|
|
None |
2 |
Research Artifact of USENIX Security 2023 paper: CacheQL: Quantifying and Localizing Cache Side-Channel Vulnerabilities in … |
Dec 03, 2022 |
|
|
C |
8 |
"Data Race Detector w/ Debug Registers", a reimplementation of the OSDI paper "DataCollider" |
Jun 30, 2021 |
|
|
OpenQASM |
4 |
Artifact for PLDI'22 paper Quartz: Superoptimization of Quantum Circuits |
Apr 30, 2022 |
|
|
Python |
3 |
WWW 2023 accepted paper |
Sep 21, 2023 |
|
|
C |
5 |
Artifact for paper "A New Frontier for Pull-Based Graph Processing" |
Aug 03, 2020 |
|
|
Python |
3 |
Official Code for our L4DC 2023 conference paper and ICLR 2023 NeSy-GeMs workshop paper. |
Apr 23, 2023 |
|
|
Python |
7 |
For our AAAI 2023 paper AAAI 2023 paper DisGUIDE: Disagreement-Guided Data-Free Model Extraction |
Apr 10, 2023 |
|
|
HTML |
72 |
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala |
May 08, 2023 |