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/smt-mc
The Parrot stable and deterministic multi-threading system.
columbia/neongoby
NeonGoby alias analysis checker
columbia/user-cr
Userspace part of Linux Checkpoint/Restart
columbia/android_vendor_columbia_build
Columbia SSL Android build configuration / kernel integration
columbia/loom
a live-workaround system for fixing races in live applications
columbia/mreplay
Mutable Replay
columbia/boot-wrapper
Linux kernel boot wrapper for FAST Models
columbia/cr-tests
Checkpoint/Restart test suie
columbia/libscribe-mutable
columbia/libscribe-racepro
Scribe user-space library
columbia/linux
Android Samsung 3.0 repository with Checkpoint/Restart patches.
columbia/linux-2.6-mutable
Mutable replay in the kernel
columbia/linux-2.6-racepro
Scribe: the record-replay mechanism
columbia/py-scribe-mutable
columbia/py-scribe-racepro
Scribe python bindings and Scribe userspace tools
columbia/racepro-bundle
The racepro deployment tool
columbia/android_platform_frameworks_native
columbia/android_platform_system_core
columbia/android_platform_system_vold
columbia/GitHub
columbia/racepro
Racepro
columbia/u-boot-arndale
Samsung Exynos 5250 based Arndale u-boot support with KVM icing on top