columbia/pixeldp columbia/pixeldp

  • Stars
    star
    59
  • Rank 506,978 (Top 11 %)
  • Language
    Python
  • Created over 6 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
columbia/pixeldp
github

columbia

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

egalito

Self-hosting binary instrumentation framework for security research
C++
207
star
2

fairtest

Python
55
star
3

Metric_Learning_Adversarial_Robustness

Code for NeurIPS 2019 Paper
Python
49
star
4

crane

Transparent Paxos
C++
44
star
5

libtrack

Library wrapper and system-level tracing utilities
Python
43
star
6

smt-mc

The Parrot stable and deterministic multi-threading system.
C
24
star
7

PrivateKube

Privacy Budget Orchestration in Machine Learning Workloads
Python
23
star
8

xray

Transparency for Web Services
Ruby
20
star
9

MTRobust

Python
20
star
10

sunlight

Ruby
20
star
11

ArgusDebugger

Diagnose performance issues in macOS based on mac_tracing.
C++
18
star
12

appflow

Python
17
star
13

appdoctor

AppDoctor
Java
15
star
14

SmartInv

14
star
15

woodpecker

Woodpecker: Verifying systems rules using rule-directed symbolic execution
C
13
star
16

turbo

Effective caching in differentially-private databases
Python
10
star
17

osdi23-paper114-ae

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

VIA

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

xtern

Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.
C++
6
star
20

user-cr

Userspace part of Linux Checkpoint/Restart
C
5
star
21

nesting-pub

4
star
22

mac_tracing

Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.
Python
4
star
23

osdi-paper196-ae

Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Coq
4
star
24

alibaba-dp-workload

Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace
Python
4
star
25

grandet

A Unified, Economical Object Store for Web Applications
C++
3
star
26

quack

Protect your PHP project from deserialization attacks! As seen on NDSS 2024
Scala
3
star
27

pyramid-release

Scala
3
star
28

android_vendor_columbia_build

Columbia SSL Android build configuration / kernel integration
C
3
star
29

dvh-asplos-ae

DVH - Artifacts Evaluation for ASPLOS 2020
Shell
2
star
30

fall23-os2-qemu

C
2
star
31

mreplay

Mutable Replay
Python
2
star
32

egalito-artefact

scripts and content for Egalito Recompiler Evaluation artefact
Python
2
star
33

turbo-artifact

Jupyter Notebook
2
star
34

appflow-dataset

HTML
1
star
35

android_platform_dalvik

Assembly
1
star
36

tdroid-snu

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

linux-2.6-mutable

Mutable replay in the kernel
C
1
star
38

cr-tests

Checkpoint/Restart test suie
C
1
star
39

osdi22-paper162-ae

Shell
1
star
40

libscribe-racepro

Scribe user-space library
C
1
star
41

osdi23-paper114-qemu

C
1
star
42

linux-2.6-racepro

Scribe: the record-replay mechanism
C
1
star
43

libscribe-mutable

C
1
star
44

transparency

1
star
45

racepro-bundle

The racepro deployment tool
Ruby
1
star
46

py-scribe-racepro

Scribe python bindings and Scribe userspace tools
Python
1
star
47

py-scribe-mutable

Python
1
star
48

appflow_data

Data for AppFlow project
1
star