Skip to content

@eniac University of Pennsylvania | Distributed Systems Lab

Change the repository type filter

All

    Repositories list

    43 repositories

    • flamingo

      Public
      A secure aggregation system for private federated learning
      Python
      •
      MIT License
      •8•52•0•0•Updated Mar 21, 2026Mar 21, 2026

    • rlix

      Public
      GPU time-sharing for concurrent LLM RL
      Python
      •
      Apache License 2.0
      •13•2•0•0•Updated Mar 13, 2026Mar 13, 2026

    • segmented-memory

      Public
      zk memory constructions in arkworks
      Rust
      •
      MIT License
      •1•3•0•0•Updated Nov 22, 2025Nov 22, 2025

    • Reef

      Public
      Reef: A zkSNARK system for proving that a committed document matches a regex
      Rust
      •
      MIT License
      •7•78•2•0•Updated Nov 21, 2025Nov 21, 2025

    • coral

      Public
      Rust
      •
      MIT License
      •2•15•0•0•Updated Oct 21, 2025Oct 21, 2025

    • quilt

      Public
      Quilt is a serverless optimizer that automatically merges workflows that consist of many functions (possibly in different languages) into one process thereby av…
      C
      •1•7•0•0•Updated Oct 8, 2025Oct 8, 2025

    • splab

      Public
      Penn's Security and Privacy Lab
      HTML
      •
      Other
      •449•1•0•0•Updated Sep 12, 2025Sep 12, 2025

    • causalmesh

      Public
      Dafny
      •
      MIT License
      •1•9•0•0•Updated Sep 5, 2025Sep 5, 2025

    • faas

      Public
      Factoring as a Service
      C
      •
      GNU Lesser General Public License v3.0
      •38•275•2•0•Updated Jul 8, 2025Jul 8, 2025

    • serverless-bench

      Public
      Python
      •
      GNU Affero General Public License v3.0
      •0•5•0•0•Updated Jun 26, 2025Jun 26, 2025

    • lambda-trim

      Public
      A debloater for Python applications
      Python
      •
      GNU General Public License v3.0
      •0•9•2•0•Updated Jun 6, 2025Jun 6, 2025

    • oryx

      Public
      C++
      •
      MIT License
      •0•1•0•0•Updated Feb 18, 2025Feb 18, 2025

    • InvisiFlow

      Public
      C++
      •
      MIT License
      •0•7•0•0•Updated Aug 28, 2024Aug 28, 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•9•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

    • paella

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

    • mucache

      Public
      A caching framework for microservice applications
      Go
      •
      MIT License
      •5•24•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
      •3•7•0•0•Updated Mar 31, 2023Mar 31, 2023

    • Beldi

      Public
      Go
      •
      MIT License
      •11•53•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•13•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
      •49•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • OrbWeaver

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

    • MimicNet

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

    • Cebinae

      Public
      Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)
      Python
      •4•22•0•0•Updated Jul 2, 2022Jul 2, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.