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]☆84May 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
- 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
- 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 2 years ago
- ☆11Jun 3, 2017Updated 8 years ago
- Simple Python 3 HTTP server for logging all GET and POST requests☆10Jun 16, 2020Updated 5 years ago
- ☆16Updated this week
- Hash Table Library for C☆19May 13, 2023Updated 2 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 3 years ago
- Queryable Window Example☆10Mar 9, 2016Updated 10 years ago
- A lightweight operating system abstraction layer for agents.☆16Dec 26, 2025Updated 2 months ago
- 基于百度文心大模型驱动airsim无人机☆11Dec 4, 2023Updated 2 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
- Vectorized implementations of hash join algorithms on Intel Xeon Phi (KNL)☆15Feb 3, 2018Updated 8 years ago
- ☆21Mar 1, 2026Updated 3 weeks 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 3 months ago
- FaaSFlow: Enable Efficient Workflow Execution for Function-as-a-Service☆82Mar 24, 2024Updated 2 years ago
- ☆19Jan 17, 2024Updated 2 years ago
- A Deep Learning Augmented Large Language Model Prompting Framework for Software Vulnerability Detection☆23Oct 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…☆21Aug 12, 2024Updated last year
- Relevant Material for SIGCOMM 2020 paper "Contention-Aware Performance Prediction for Virtualized Network Functions"☆17Jul 1, 2020Updated 5 years ago
- Deduplication over dis-aggregated memory for Serverless Computing☆14Mar 21, 2022Updated 4 years ago
- System Intelligence Benchmark☆52Mar 5, 2026Updated 2 weeks ago