Explore projects

View llvm-specrt-tests project

Antoine Kaufmann / llvm-specrt-tests

0

Updated Oct 03, 2022

0 0 0 0

Updated Oct 03, 2022
View teems project

restart-rollback / teems
MIT License

TEE-based Metadata Service

0

Updated Jul 10, 2023

0 0 0

Updated Jul 10, 2023
View thesis-johnnatan-template project

Johnnatan Messias / thesis-johnnatan-template

0

Updated Sep 17, 2023

0 0 0 0

Updated Sep 17, 2023
View Iris project

Rodolphe Lepigre / Iris
BSD 3-Clause "New" or "Revised" License

The Coq development for Iris. [project website] [coqdoc]

0

Updated Jan 22, 2021

0 0 0 0

Updated Jan 22, 2021
View public2 project

Carina Schmitt / public2

0

Updated Oct 15, 2018

0 0 0 0

Updated Oct 15, 2018
View ait-rs project

Janno / ait-rs

0

Updated Apr 16, 2017

0 0 0 0

Updated Apr 16, 2017
View yfs-lab project

ds-ss23 / yfs-lab

0

Updated Apr 17, 2023

0 0 0 0

Updated Apr 17, 2023
View blueprint-compiler project

cld / blueprint / blueprint-compiler

0

Updated Jan 30, 2024

0 0 0 2

Updated Jan 30, 2024
View blueprint-sosp23-experiments project

cld / blueprint / blueprint-sosp23-experiments

0

Updated Oct 24, 2023

0 0 0 0

Updated Oct 24, 2023
View blueprint-dsb-socialnetwork project

cld / blueprint / systems / blueprint-dsb-socialnetwork

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View blueprint-sockshop project

cld / blueprint / systems / blueprint-sockshop

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
View pacer project

Aastha Mehta / pacer

0

Updated Oct 11, 2023

0

Updated Oct 11, 2023
View Census Misinterpretation project

Paul Francis / Census Misinterpretation

0

Updated Feb 09, 2022

0 0 0 0

Updated Feb 09, 2022
View hbase-2.1.7 project

cld / systems / hbase-2.1.7
Apache License 2.0

HBase instrumented with tracing framework.

0

Updated Feb 04, 2021

0 0 0 0

Updated Feb 04, 2021
View coq-stdpp project

Benoit Viguier / coq-stdpp
BSD 3-Clause "New" or "Revised" License

0

Updated Apr 19, 2022

0 0 0 0

Updated Apr 19, 2022
View Iris project

Gregory Malecha / Iris
Creative Commons Attribution 4.0 International

The Coq development for Iris. [project website] [coqdoc]

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
View TikTok-playlist-experiment project

Networked Systems / Computational Social Sience / TikTok-playlist-experiment

0

Updated Oct 04, 2023

0 0 0 0

Updated Oct 04, 2023
View NN-safety-verification project

Debasmita Lohar / NN-safety-verification

0

Updated Dec 30, 2023

0 0 0 0

Updated Dec 30, 2023
View clockwork-results project

cld / ml / clockwork-results

Results for Clockwork OSDI 2020 paper

0

Updated Jun 02, 2022

0 0 0 0

Updated Jun 02, 2022
View master-thesis project

Adrian Dapprich / master-thesis

0

Updated Apr 19, 2024

0 0 0 0

Updated Apr 19, 2024