Pinned Repositories
crane
Transparent Paxos
egalito
Self-hosting binary instrumentation framework for security research
fairtest
libtrack
Library wrapper and system-level tracing utilities
Metric_Learning_Adversarial_Robustness
Code for NeurIPS 2019 Paper
pixeldp
PrivateKube
Privacy Budget Orchestration in Machine Learning Workloads
smt-mc
The Parrot stable and deterministic multi-threading system.
VIA
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
xray
Transparency for Web Services
Columbia University's Repositories
columbia/egalito
Self-hosting binary instrumentation framework for security research
columbia/fairtest
columbia/PrivateKube
Privacy Budget Orchestration in Machine Learning Workloads
columbia/ArgusDebugger
Diagnose performance issues in macOS based on mac_tracing.
columbia/SmartInv
columbia/turbo
Effective caching in differentially-private databases
columbia/VIA
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
columbia/osdi23-paper114-ae
Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
columbia/xtern
Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.
columbia/alibaba-dp-workload
Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace
columbia/mac_tracing
Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.
columbia/osdi-paper196-ae
Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
columbia/quack
Protect your PHP project from deserialization attacks! As seen on NDSS 2024
columbia/egalito-artefact
scripts and content for Egalito Recompiler Evaluation artefact
columbia/fall23-os2-qemu
columbia/turbo-artifact
columbia/osdi22-paper162-ae
columbia/osdi23-paper114-qemu
columbia/rogueone
Code for RogueOne, to be presented at ICSE 2024.
columbia/chromium
The official GitHub mirror of the Chromium source
columbia/depot_tools
columbia/devtools-frontend
The Chrome DevTools UI
columbia/egalito-docs
documentation for egalito
columbia/egalito-shadow-stack-app
Shadow stack exercise from SSSS 2021
columbia/fresco
An Android library for managing images and the memory they use.
columbia/grafana
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.
columbia/osdi23-paper114-pv-guest
columbia/osdi23-paper114-sekvm
columbia/serverless-faas-workbench
FunctionBench
columbia/workload-generator