Pinned Repositories
Beldi
Cebinae
Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)
faas
Factoring as a Service
flamingo
A secure aggregation system for private federated learning
Flightplan
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.
Mantis
Mantis: Reactive Programmable Switches (SIGCOMM 2020)
MimicNet
Predicting network performance at scale
mucache
A caching framework for microservice applications
paella
Paella: Low-latency Model Serving with Virtualized GPU Scheduling
Reef
Reef: A zkSNARK system for proving that a committed document matches a regex
University of Pennsylvania | Distributed Systems Lab's Repositories
eniac/faas
Factoring as a Service
eniac/Reef
Reef: A zkSNARK system for proving that a committed document matches a regex
eniac/paella
Paella: Low-latency Model Serving with Virtualized GPU Scheduling
eniac/Beldi
eniac/flamingo
A secure aggregation system for private federated learning
eniac/MimicNet
Predicting network performance at scale
eniac/Flightplan
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.
eniac/Cebinae
Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)
eniac/mucache
A caching framework for microservice applications
eniac/incpir
Incremental Offline/Online PIR
eniac/TELEPORT
Optimizing data-intensive systems in disaggregated data centers
eniac/mu2sls
A framework for correctly implementing stateful microservice applications on serverless using standard Python.
eniac/Beaver
Beaver: Practical Partial Snapshots for Distributed Cloud Services (OSDI 2024)
eniac/FDP
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.
eniac/causalmesh
eniac/OrbWeaver
OrbWeaver: Using IDLE Cycles in Programmable Networks for Opportunistic Coordination (NSDI 2022)
eniac/otti
A zkSNARK compiler for optimization problems
eniac/FP4
eniac/IFS
Programmable switch with optional client privacy
eniac/addax
eniac/InvisiFlow
eniac/parallel-inet
eniac/parallel-inet-omnet
eniac/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
eniac/Cowbird
eniac/Ibex
eniac/oryx
eniac/splab
Penn's Security and Privacy Lab
eniac/splab-web
A Hakyll [splab] website (https://www.cis.upenn.edu/~splab/) based on plclub website
eniac/tvm-llis