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]☆85May 13, 2022Updated 3 years ago
- ☆53Jan 18, 2023Updated 3 years ago
- The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing☆22May 20, 2022Updated 3 years ago
- Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"☆10Mar 8, 2024Updated 2 years ago
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆106Aug 15, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Artifact evaluation repo for EuroSys'24.☆29Nov 7, 2023Updated 2 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 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 2 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 7 years ago
- The first GANs-based omics-to-omics translation framework☆15Sep 5, 2023Updated 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.
- A collection of useful Mikrotik Firewall Filter/Rules☆11Oct 13, 2018Updated 7 years ago
- Machine Learning System☆14May 11, 2020Updated 5 years ago
- ☆11Aug 21, 2024Updated last year
- ☆12Aug 13, 2014Updated 11 years ago
- ☆13Apr 26, 2023Updated 3 years ago
- ☆11Jun 3, 2017Updated 8 years ago
- Simple Python 3 HTTP server for logging all GET and POST requests☆11Jun 16, 2020Updated 5 years ago
- ☆16Apr 23, 2026Updated last week
- Hash Table Library for C☆20May 13, 2023Updated 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.
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 3 years ago
- Queryable Window Example☆10Mar 9, 2016Updated 10 years ago
- 基于百度文心大模型驱动airsim无人机☆11Dec 4, 2023Updated 2 years ago
- A lightweight operating system abstraction layer for agents.☆19Dec 26, 2025Updated 4 months 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
- Vectorized implementations of hash join algorithms on Intel Xeon Phi (KNL)☆15Feb 3, 2018Updated 8 years ago
- a repo store the new tech stack's tutorial and usage☆11May 25, 2022Updated 3 years ago
- Fault Localization via Efficient Probabilistic Modeling of Program Semantics☆17Dec 15, 2025Updated 4 months ago
- FaaSFlow: Enable Efficient Workflow Execution for Function-as-a-Service☆83Mar 24, 2024Updated 2 years 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.
- ☆23Mar 26, 2026Updated last month
- ☆19Jan 17, 2024Updated 2 years ago
- A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection☆24Oct 8, 2024Updated last year
- FlockGPT is a novel approach to drone flocking control using natural language and generative AI. It features an LLM-based interface for u…☆22Aug 12, 2024Updated last year
- Relevant Material for SIGCOMM 2020 paper "Contention-Aware Performance Prediction for Virtualized Network Functions"☆18Jul 1, 2020Updated 5 years ago
- Deduplication over dis-aggregated memory for Serverless Computing☆14Mar 21, 2022Updated 4 years ago
- System Intelligence Benchmark☆54Apr 14, 2026Updated 3 weeks ago