Skip to content

@eniac University of Pennsylvania | Distributed Systems Lab

Change the repository type filter

All

    Repositories list

    37 repositories

    • causalmesh

      Public
      Rust
      •
      MIT License
      •0•7•0•0•Updated Nov 28, 2024Nov 28, 2024

    • splab

      Public
      Penn's Security and Privacy Lab
      HTML
      •
      Other
      •407•0•0•0•Updated Oct 16, 2024Oct 16, 2024

    • InvisiFlow

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Aug 28, 2024Aug 28, 2024

    • oryx

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated Jul 7, 2024Jul 7, 2024

    • Reef

      Public
      Reef: A zkSNARK system for proving that a committed document matches a regex
      Rust
      •
      MIT License
      •6•64•4•0•Updated Jun 21, 2024Jun 21, 2024

    • FP4

      Public
      C++
      •
      MIT License
      •0•4•0•0•Updated Jun 15, 2024Jun 15, 2024

    • Beaver

      Public
      Beaver: Practical Partial Snapshots for Distributed Cloud Services (OSDI 2024)
      C++
      •
      MIT License
      •0•8•0•0•Updated May 25, 2024May 25, 2024

    • splab-web

      Public
      A Hakyll [splab] website (https://www.cis.upenn.edu/~splab/) based on plclub website
      CSS
      •19•0•0•0•Updated May 21, 2024May 21, 2024

    • flamingo

      Public
      A secure aggregation system for private federated learning
      Python
      •
      MIT License
      •5•38•0•0•Updated May 13, 2024May 13, 2024

    • paella

      Public
      Paella: Low-latency Model Serving with Virtualized GPU Scheduling
      C++
      •
      MIT License
      •6•57•1•0•Updated May 1, 2024May 1, 2024

    • mucache

      Public
      A caching framework for microservice applications
      Go
      •
      MIT License
      •3•17•0•0•Updated Apr 22, 2024Apr 22, 2024

    • incpir

      Public
      Incremental Offline/Online PIR
      C++
      •
      MIT License
      •1•14•0•0•Updated Apr 4, 2024Apr 4, 2024

    • Cowbird

      Public
      0•0•0•0•Updated Nov 11, 2023Nov 11, 2023

    • tvm-llis

      Public
      Python
      •
      Apache License 2.0
      •1•0•0•0•Updated Aug 8, 2023Aug 8, 2023

    • addax

      Public
      C++
      •
      MIT License
      •0•2•0•0•Updated Apr 15, 2023Apr 15, 2023

    • otti

      Public
      A zkSNARK compiler for optimization problems
      Python
      •2•6•0•0•Updated Mar 31, 2023Mar 31, 2023

    • Beldi

      Public
      Go
      •
      MIT License
      •11•52•0•0•Updated Jan 18, 2023Jan 18, 2023

    • mu2sls

      Public
      A framework for correctly implementing stateful microservice applications on serverless using standard Python.
      Python
      •
      MIT License
      •4•10•0•0•Updated Jan 5, 2023Jan 5, 2023

    • Ibex

      Public
      Lua
      •
      MIT License
      •0•0•0•0•Updated Dec 2, 2022Dec 2, 2022

    • circ

      Public
      (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
      Rust
      •
      Other
      •41•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • OrbWeaver

      Public
      OrbWeaver: Using IDLE Cycles in Programmable Networks for Opportunistic Coordination (NSDI 2022)
      dataplanep4programmable-switchtofino-switch
      Python
      •
      MIT License
      •3•6•0•0•Updated Aug 9, 2022Aug 9, 2022

    • MimicNet

      Public
      Predicting network performance at scale
      machine-learningomnetlarge-scaleinetnetwork-simulationnetwork-performancedata-center-networks
      C++
      •
      MIT License
      •8•31•1•0•Updated Jul 3, 2022Jul 3, 2022

    • Cebinae

      Public
      Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)
      Python
      •4•21•0•0•Updated Jul 2, 2022Jul 2, 2022

    • TELEPORT

      Public
      Optimizing data-intensive systems in disaggregated data centers
      data-processingmemory-disaggregationcompute-pushdown
      C
      •
      GNU General Public License v2.0
      •2•14•0•0•Updated Jun 13, 2022Jun 13, 2022

    • parallel-inet-omnet

      Public
      C++
      •0•0•0•0•Updated Jun 12, 2022Jun 12, 2022

    • faas

      Public
      Factoring as a Service
      C
      •
      GNU Lesser General Public License v3.0
      •36•261•4•0•Updated May 7, 2022May 7, 2022

    • FDP

      Public
      FDP is a portable demo/teaching platform for computer networking. It builds on existing tooling to enable end-to-end experimentation and zero-effort in-browser interactive visualization. It includes an example teaching demo and a demo for P4-based SDN research.
      unityonline-learningp4computer-networkssoftware-defined-networking
      C#
      •
      Apache License 2.0
      •3•8•0•0•Updated Dec 30, 2021Dec 30, 2021

    • IFS

      Public
      Programmable switch with optional client privacy
      C++
      •
      MIT License
      •1•4•0•0•Updated Sep 27, 2021Sep 27, 2021

    • parallel-inet

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Aug 19, 2021Aug 19, 2021

    • Flightplan

      Public
      Flightplan is a toolchain for the flexible decomposition of P4 programs and their allocation to heterogeneous hardware to improve performance, reliability and utilisation of software-defined networks.
      distributed-systemsdataplanep4software-defined-networking
      C
      •
      Apache License 2.0
      •3•29•0•0•Updated Apr 14, 2021Apr 14, 2021