Skip to content

@columbia Columbia University

Change the repository type filter

All

    Repositories list

    113 repositories

    • SmartInv

      Public
      Solidity
      •3•24•1•0•Updated Nov 14, 2024Nov 14, 2024

    • whotoemail

      Public
      Who to email in the cs department?
      0•3•0•0•Updated Nov 6, 2024Nov 6, 2024

    • cookiemonster

      Public
      Jupyter Notebook
      •0•0•0•1•Updated Nov 6, 2024Nov 6, 2024

    • dpack

      Public
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 10, 2024Sep 10, 2024

    • alibaba-dp-workload

      Public
      Benchmark for differential privacy budget schedulers, based on an Alibaba cluster trace
      Python
      •
      Apache License 2.0
      •1•5•0•0•Updated Sep 4, 2024Sep 4, 2024

    • osdi23-paper114-ae

      Public
      Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".
      LLVM
      •
      GNU General Public License v2.0
      •0•9•0•0•Updated Aug 8, 2024Aug 8, 2024

    • chromium

      Public
      The official GitHub mirror of the Chromium source
      BSD 3-Clause "New" or "Revised" License
      •7.1k•0•0•3•Updated Jun 30, 2024Jun 30, 2024

    • quack

      Public
      Protect your PHP project from deserialization attacks! As seen on NDSS 2024
      security-tools
      Scala
      •0•5•0•0•Updated May 21, 2024May 21, 2024

    • devtools-frontend

      Public
      The Chrome DevTools UI
      TypeScript
      •
      BSD 3-Clause "New" or "Revised" License
      •471•0•0•1•Updated Mar 13, 2024Mar 13, 2024

    • depot_tools

      Public
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Mar 12, 2024Mar 12, 2024

    • rogueone

      Public
      Code for RogueOne, to be presented at ICSE 2024.
      JavaScript
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • workload-generator

      Public
      Python
      •0•0•0•0•Updated Dec 12, 2023Dec 12, 2023

    • turbo

      Public
      Effective caching in differentially-private databases
      Python
      •
      Apache License 2.0
      •0•10•0•0•Updated Nov 1, 2023Nov 1, 2023

    • PrivateKube

      Public
      Privacy Budget Orchestration in Machine Learning Workloads
      Python
      •
      Apache License 2.0
      •6•24•0•2•Updated Oct 20, 2023Oct 20, 2023

    • serverless-faas-workbench

      Public
      FunctionBench
      Python
      •
      Apache License 2.0
      •43•0•0•0•Updated Oct 11, 2023Oct 11, 2023

    • osdi23-paper114-sekvm

      Public
      C
      •
      Other
      •4•0•0•0•Updated Oct 5, 2023Oct 5, 2023

    • grafana

      Public
      The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many more.
      TypeScript
      •
      GNU Affero General Public License v3.0
      •12k•0•0•0•Updated Sep 29, 2023Sep 29, 2023

    • turbo-artifact

      Public
      Jupyter Notebook
      •0•2•0•0•Updated Sep 25, 2023Sep 25, 2023

    • fall23-os2-qemu

      Public
      C
      •
      Other
      •0•2•0•0•Updated Sep 14, 2023Sep 14, 2023

    • mac_tracing

      Public
      Tracing system for performance diagnosis in macOS. It extends the Apple kernel trace facility.
      performanceanalysisbug
      Python
      •0•5•0•1•Updated Aug 23, 2023Aug 23, 2023

    • egalito

      Public
      Self-hosting binary instrumentation framework for security research
      C++
      •
      GNU General Public License v3.0
      •39•209•12•1•Updated Aug 1, 2023Aug 1, 2023

    • osdi23-paper114-pv-guest

      Public
      C
      •
      Other
      •2•0•0•0•Updated Apr 24, 2023Apr 24, 2023

    • osdi23-paper114-qemu

      Public
      C
      •
      Other
      •0•1•0•0•Updated Apr 24, 2023Apr 24, 2023

    • xtern

      Public
      Xtern, a scheduling submodule of the Parrot stable and deterministic multi-threading system.
      C++
      •
      Other
      •5•6•0•1•Updated Oct 23, 2022Oct 23, 2022

    • osdi-paper196-ae

      Public
      Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
      Coq
      •
      GNU General Public License v3.0
      •2•5•1•0•Updated Sep 6, 2022Sep 6, 2022

    • VIA

      Public
      Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
      Coq
      •
      GNU General Public License v3.0
      •1•8•0•0•Updated Jul 15, 2022Jul 15, 2022

    • osdi22-paper162-ae

      Public
      Shell
      •0•2•0•0•Updated Apr 26, 2022Apr 26, 2022

    • egalito-shadow-stack-app

      Public
      Shadow stack exercise from SSSS 2021
      C++
      •
      Other
      •0•0•0•0•Updated Nov 2, 2021Nov 2, 2021

    • egalito-artefact

      Public
      scripts and content for Egalito Recompiler Evaluation artefact
      Python
      •1•2•0•0•Updated Oct 28, 2021Oct 28, 2021

    • egalito-docs

      Public
      documentation for egalito
      C++
      •2•0•0•0•Updated Oct 24, 2021Oct 24, 2021