Explore @columbia Open Source projects

Columbia University (@columbia)

columbia

Stars
801
Global Org. Rank 17,838 (Top 6 %)
Registered over 13 years ago
Most used languages

Python
31.8 %

C
25.0 %

C++
11.4 %

Ruby
6.8 %

Shell
4.5 %

Coq 4.5 %

Scala
4.5 %

Jupyter Notebook
2.3 %

HTML
2.3 %

LLVM 2.3 %

Java
2.3 %

Assembly
2.3 %
Location 🇺🇸 United States
Country Total Rank 11,329
Country Ranking

LLVM 37

Coq 59

C++
1,216

Scala
1,328

Assembly
2,373

C
3,091

Ruby
3,705

Python
4,048

Java
8,199

egalito

Self-hosting binary instrumentation framework for security research

pixeldp

fairtest

Metric_Learning_Adversarial_Robustness

Code for NeurIPS 2019 Paper

crane

Transparent Paxos

libtrack

Library wrapper and system-level tracing utilities

smt-mc

The Parrot stable and deterministic multi-threading system.

PrivateKube

Privacy Budget Orchestration in Machine Learning Workloads

xray

Transparency for Web Services

SmartInv

MTRobust

sunlight

ArgusDebugger

Diagnose performance issues in macOS based on mac_tracing.

appflow

appdoctor

woodpecker

Woodpecker: Verifying systems rules using rule-directed symbolic execution

turbo

Effective caching in differentially-private databases

osdi23-paper114-ae

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

VIA

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

xtern

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

user-cr

Userspace part of Linux Checkpoint/Restart

osdi-paper196-ae

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

nesting-pub

quack

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

mac_tracing

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

alibaba-dp-workload

Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace

whotoemail

Who to email in the cs department?

grandet

A Unified, Economical Object Store for Web Applications

pyramid-release

android_vendor_columbia_build

Columbia SSL Android build configuration / kernel integration

dvh-asplos-ae

DVH - Artifacts Evaluation for ASPLOS 2020

fall23-os2-qemu

mreplay

osdi22-paper162-ae

egalito-artefact

scripts and content for Egalito Recompiler Evaluation artefact

turbo-artifact

Jupyter Notebook

appflow-dataset

android_platform_dalvik

tdroid-snu

Study of accuracy of taint tracking systems. A collaboration between Columbia University and Seoul National University.

linux-2.6-mutable

Mutable replay in the kernel

cr-tests

Checkpoint/Restart test suie

libscribe-racepro

Scribe user-space library

osdi23-paper114-qemu

linux-2.6-racepro

Scribe: the record-replay mechanism

libscribe-mutable

transparency

racepro-bundle

The racepro deployment tool

py-scribe-racepro

Scribe python bindings and Scribe userspace tools

py-scribe-mutable

appflow_data

Data for AppFlow project