columbia/cr-tests columbia/cr-tests

  • Stars
    star
    1
  • Language
    C
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
columbia/cr-tests
github

columbia

Reviews

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

Repository Details

Checkpoint/Restart test suie

More Repositories

1

egalito

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

pixeldp

Python
62
star
3

fairtest

Python
56
star
4

Metric_Learning_Adversarial_Robustness

Code for NeurIPS 2019 Paper
Python
48
star
5

crane

Transparent Paxos
C++
44
star
6

libtrack

Library wrapper and system-level tracing utilities
Python
44
star
7

smt-mc

The Parrot stable and deterministic multi-threading system.
C
26
star
8

PrivateKube

Privacy Budget Orchestration in Machine Learning Workloads
Python
23
star
9

xray

Transparency for Web Services
Ruby
20
star
10

SmartInv

20
star
11

MTRobust

Python
20
star
12

sunlight

Ruby
20
star
13

ArgusDebugger

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

appflow

Python
17
star
15

appdoctor

AppDoctor
Java
15
star
16

woodpecker

Woodpecker: Verifying systems rules using rule-directed symbolic execution
C
12
star
17

turbo

Effective caching in differentially-private databases
Python
10
star
18

osdi23-paper114-ae

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

VIA

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

xtern

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

user-cr

Userspace part of Linux Checkpoint/Restart
C
5
star
22

osdi-paper196-ae

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

nesting-pub

4
star
24

quack

Protect your PHP project from deserialization attacks! As seen on NDSS 2024
Scala
4
star
25

mac_tracing

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

alibaba-dp-workload

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

whotoemail

Who to email in the cs department?
3
star
28

grandet

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

pyramid-release

Scala
3
star
30

android_vendor_columbia_build

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

dvh-asplos-ae

DVH - Artifacts Evaluation for ASPLOS 2020
Shell
2
star
32

fall23-os2-qemu

C
2
star
33

mreplay

Mutable Replay
Python
2
star
34

osdi22-paper162-ae

Shell
2
star
35

egalito-artefact

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

turbo-artifact

Jupyter Notebook
2
star
37

appflow-dataset

HTML
1
star
38

android_platform_dalvik

Assembly
1
star
39

tdroid-snu

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

linux-2.6-mutable

Mutable replay in the kernel
C
1
star
41

libscribe-racepro

Scribe user-space library
C
1
star
42

osdi23-paper114-qemu

C
1
star
43

linux-2.6-racepro

Scribe: the record-replay mechanism
C
1
star
44

libscribe-mutable

C
1
star
45

transparency

1
star
46

racepro-bundle

The racepro deployment tool
Ruby
1
star
47

py-scribe-racepro

Scribe python bindings and Scribe userspace tools
Python
1
star
48

py-scribe-mutable

Python
1
star
49

appflow_data

Data for AppFlow project
1
star