Repositories list

• quack

  Public
  Protect your PHP project from deserialization attacks! As seen on NDSS 2024

  security-tools

  Scala

  •0•8•0•1•Updated Jul 13, 2025Jul 13, 2025

• pdslib

  Public
  Private Data Service Library - Generic library for on-device DP budgeting

  Rust

  •

  Apache License 2.0

  •0•2•4•0•Updated Jun 26, 2025Jun 26, 2025

• cookiemonster

  Public
  Efficient On-device Budgeting for Differentially-Private Ad-Measurement Systems (SOSP '24)

  Python

  •0•7•0•0•Updated Jun 10, 2025Jun 10, 2025

• pdslib-firefox-extension

  Public
  JavaScript

  •0•0•0•0•Updated Jun 6, 2025Jun 6, 2025

• pdslib-firefox

  Public
  JavaScript

  •

  Other

  •0•0•0•0•Updated May 31, 2025May 31, 2025

• whotoemail

  Public
  Who to email in the cs department?

  1•3•0•1•Updated May 8, 2025May 8, 2025

• SmartInv

  Public
  Solidity

  •6•34•2•0•Updated Nov 14, 2024Nov 14, 2024

• dpack

  Public
  DPack: Efficiency-Oriented Privacy Budget Scheduling (EuroSys '25)

  Python

  •

  Apache License 2.0

  •0•1•0•0•Updated Sep 10, 2024Sep 10, 2024

• alibaba-dp-workload

  Public
  Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace. Used in DPack (EuroSys '25).

  Python

  •

  Apache License 2.0

  •1•5•0•0•Updated Sep 4, 2024Sep 4, 2024

• osdi23-paper114-ae

  Public
  Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".

  LLVM

  •

  GNU General Public License v2.0

  •1•16•1•0•Updated Aug 8, 2024Aug 8, 2024

• chromium

  Public
  The official GitHub mirror of the Chromium source

  BSD 3-Clause "New" or "Revised" License

  •7.8k•0•0•3•Updated Jun 30, 2024Jun 30, 2024

• devtools-frontend

  Public
  The Chrome DevTools UI

  TypeScript

  •

  BSD 3-Clause "New" or "Revised" License

  •552•0•0•1•Updated Mar 13, 2024Mar 13, 2024

• depot_tools

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Mar 12, 2024Mar 12, 2024

• rogueone

  Public
  Code for RogueOne, to be presented at ICSE 2024.

  JavaScript

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

• workload-generator

  Public
  Python

  •0•0•0•0•Updated Dec 12, 2023Dec 12, 2023

• turbo

  Public
  Effective caching in differentially-private databases (SOSP '23)

  Python

  •

  Apache License 2.0

  •0•12•0•0•Updated Nov 1, 2023Nov 1, 2023

• PrivateKube

  Public
  Privacy Budget Orchestration in Machine Learning Workloads (OSDI '21)

  Python

  •

  Apache License 2.0

  •6•25•0•2•Updated Oct 20, 2023Oct 20, 2023

• serverless-faas-workbench

  Public
  FunctionBench

  Python

  •

  Apache License 2.0

  •44•0•0•0•Updated Oct 11, 2023Oct 11, 2023

• osdi23-paper114-sekvm

  Public
  C

  •

  Other

  •4•0•0•0•Updated Oct 5, 2023Oct 5, 2023

• grafana

  Public
  The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many more.

  TypeScript

  •

  GNU Affero General Public License v3.0

  •13k•0•0•0•Updated Sep 29, 2023Sep 29, 2023

• turbo-artifact

  Public
  Jupyter Notebook

  •0•2•0•0•Updated Sep 25, 2023Sep 25, 2023

• fall23-os2-qemu

  Public
  C

  •

  Other

  •0•2•0•0•Updated Sep 14, 2023Sep 14, 2023

• mac_tracing

  Public
  Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.

  performanceanalysisbug

  Python

  •0•5•0•1•Updated Aug 23, 2023Aug 23, 2023

• egalito

  Public
  Self-hosting binary instrumentation framework for security research

  C++

  •

  GNU General Public License v3.0

  •38•215•15•1•Updated Aug 1, 2023Aug 1, 2023

• osdi23-paper114-pv-guest

  Public
  C

  •

  Other

  •2•0•0•0•Updated Apr 24, 2023Apr 24, 2023

• osdi23-paper114-qemu

  Public
  C

  •

  Other

  •0•1•0•0•Updated Apr 24, 2023Apr 24, 2023

• xtern

  Public
  Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.

  C++

  •

  Other

  •5•6•0•1•Updated Oct 23, 2022Oct 23, 2022

• osdi-paper196-ae

  Public
  Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture

  Coq

  •

  GNU General Public License v3.0

  •2•5•1•0•Updated Sep 6, 2022Sep 6, 2022

• VIA

  Public
  Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture

  Coq

  •

  GNU General Public License v3.0

  •1•9•0•0•Updated Jul 15, 2022Jul 15, 2022

• osdi22-paper162-ae

  Public
  Shell

  •0•2•0•0•Updated Apr 26, 2022Apr 26, 2022