columbia/osdi23-paper114-ae columbia/osdi23-paper114-ae

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language LLVM
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
columbia/osdi23-paper114-ae
github

columbia

Reviews

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

Repository Details

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

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

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

osdi-paper196-ae

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

nesting-pub

4
star
23

quack

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

mac_tracing

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

alibaba-dp-workload

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

whotoemail

Who to email in the cs department?
3
star
27

grandet

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

pyramid-release

Scala
3
star
29

android_vendor_columbia_build

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

dvh-asplos-ae

DVH - Artifacts Evaluation for ASPLOS 2020
Shell
2
star
31

fall23-os2-qemu

C
2
star
32

mreplay

Mutable Replay
Python
2
star
33

osdi22-paper162-ae

Shell
2
star
34

egalito-artefact

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

turbo-artifact

Jupyter Notebook
2
star
36

appflow-dataset

HTML
1
star
37

android_platform_dalvik

Assembly
1
star
38

tdroid-snu

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

linux-2.6-mutable

Mutable replay in the kernel
C
1
star
40

cr-tests

Checkpoint/Restart test suie
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