Benchmark workloads of Boki
☆11Sep 8, 2021Updated 4 years ago
Alternatives and similar repositories for boki-benchmarks
Users that are interested in boki-benchmarks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]☆86May 13, 2022Updated 4 years ago
- ☆53Jan 18, 2023Updated 3 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22May 20, 2022Updated 4 years ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆106Aug 15, 2021Updated 4 years ago
- Artifact evaluation repo for EuroSys'24.☆29Nov 7, 2023Updated 2 years ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- ☆13Sep 22, 2024Updated last year
- Benchmark workloads of Nightcore☆12Feb 15, 2021Updated 5 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- A distributed stream querying engine that provides sub-millisecond stateful query at millions of queries per-second over fast-evolving li…☆10Jul 18, 2018Updated 8 years ago
- Machine Learning System☆14May 11, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A collection of useful Mikrotik Firewall Filter/Rules☆11Oct 13, 2018Updated 7 years ago
- The first GANs-based omics-to-omics translation framework☆15Sep 5, 2023Updated 2 years ago
- ☆11Aug 21, 2024Updated last year
- ☆12Aug 13, 2014Updated 12 years ago
- ☆13Apr 26, 2023Updated 3 years ago
- Simple Python 3 HTTP server for logging all GET and POST requests☆11Jun 16, 2020Updated 6 years ago
- Hash Table Library for C☆20May 13, 2023Updated 3 years ago
- ☆11Jun 3, 2017Updated 9 years ago
- ☆19Jun 12, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 基于百度文心大模型驱动airsim无人机☆11Dec 4, 2023Updated 2 years ago
- Queryable Window Example☆10Mar 9, 2016Updated 10 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 4 years ago
- This repo aims at providing a simple paper reading roadmap for beginners on some research topics in software engineering.☆19Oct 14, 2021Updated 4 years ago
- Fault Localization via Efficient Probabilistic Modeling of Program Semantics☆17Dec 15, 2025Updated 7 months ago
- Artifact for the OSDI'2025 paper☆16Aug 3, 2026Updated last week
- Relevant Material for SIGCOMM 2020 paper "Contention-Aware Performance Prediction for Virtualized Network Functions"☆18Jul 1, 2020Updated 6 years ago
- a repo store the new tech stack's tutorial and usage☆11May 25, 2022Updated 4 years ago
- FaaSFlow: Enable Efficient Workflow Execution for Function-as-a-Service☆85Mar 24, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowplow: Effective Kernel Fuzzing with a Learned White-box Te…☆17May 3, 2026Updated 3 months ago
- Deduplication over dis-aggregated memory for Serverless Computing☆14Mar 21, 2022Updated 4 years ago
- A rust-version of NVIDIA BlueField DOCA kit.☆13Jun 11, 2023Updated 3 years ago
- ☆19Jan 17, 2024Updated 2 years ago
- ☆17Mar 17, 2023Updated 3 years ago
- Thousand Island Scanner: Scaling Video Analysis on AWS Lambda☆13Oct 25, 2019Updated 6 years ago
- ☆13Oct 25, 2024Updated last year