Artifact Evaluation for SpecFS [FAST'26]
☆35Dec 28, 2025Updated 10 months ago
Alternatives and similar repositories for specfs-ae
Users that are interested in specfs-ae are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Yet another Linux-like kernel in Rust—fully AI-generated.Full POSIX & Linux ABI compatible: run any Linux binary directly, no recompile.N…☆17Updated this week
- SpecFS [FAST'26]☆51Dec 28, 2025Updated 10 months ago
- How to Write to SSDs (VLDB 2026, Best Research Paper Honorable Mention Award), out-of-place write LeanStore☆28Sep 28, 2026Updated last month
- This repository contains the artifacts for the MLSys 2026 paper AgenticCache.☆13Apr 22, 2026Updated 6 months ago
- A modular full-system emulator written in Rust☆38Jul 24, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index☆93Sep 25, 2024Updated 2 years ago
- ☆13Aug 1, 2025Updated last year
- [VLDB'26] This repository provides a DuckDB implementation of RPT+, following a Yannakakis-style execution framework.☆22Oct 18, 2026Updated 2 weeks ago
- [SIGMOD'25] Source code for the paper: Debunking the Myth of Join Ordering: Toward Robust SQL Analytics☆22Sep 4, 2025Updated last year
- FrontEnd Reverse-engineering Toolkit - CPU frontend uarch research framework☆14Updated this week
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- ☆11Oct 18, 2023Updated 3 years ago
- ☆13Sep 3, 2026Updated last month
- Can AI Agents Build Bespoke Systems?☆124Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Principles and Methodologies for Serial Performance Optimization (OSDI' 25)☆33Jun 5, 2025Updated last year
- A formally-verified compiler IR☆10May 5, 2026Updated 5 months ago
- DeDe (OSDI '25): an optimization framework for large-scale resource allocation☆15May 18, 2026Updated 5 months ago
- ☆12May 8, 2026Updated 5 months ago
- AOSC OS package maintenance toolkit (version 4)☆15Oct 23, 2026Updated last week
- The MOSAIC Operating Systems Model and Checker☆217May 8, 2023Updated 3 years ago
- Review-Driven Safe AI Coding☆53Apr 15, 2026Updated 6 months ago
- ScalaCache: Scalable User-Space Page Cache Management with Software-Hardware Coordination (USENIX ATC'24)☆17Jul 19, 2024Updated 2 years ago
- Bespoke OLAP: Synthesizing Workload-Specific One-size-fits-one Database Engines☆50Jul 22, 2026Updated 3 months 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 repo store the new tech stack's tutorial and usage☆11May 25, 2022Updated 4 years ago
- Don't Let AI Agents YOLO Your Files: Information and Control in Agent-Native Filesystems☆21Sep 30, 2026Updated last month
- ☆10Aug 14, 2020Updated 6 years ago
- BLEST: Blazingly Efficient BFS using Tensor Cores☆11Sep 6, 2026Updated last month
- This project is obsoleted by https://github.com/odnoklassniki/jvmti-tools☆13Apr 20, 2021Updated 5 years ago
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆45Nov 12, 2025Updated 11 months ago
- A benchmark suite for evaluating FaaS scheduler.☆23Nov 5, 2022Updated 3 years ago
- A GPU-accelerated DNN inference serving system that supports instant kernel preemption and biased concurrent execution in GPU scheduling.☆42May 29, 2022Updated 4 years ago
- ☆14Jun 16, 2026Updated 4 months 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.
- 基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-sta…☆20Nov 26, 2025Updated 11 months ago
- A Triton-only attention backend for vLLM☆28Jul 14, 2026Updated 3 months ago
- Meta repository for the USENIX ATC'25 Publication "Accelerating Nested Virtualization with HyperTurtle"☆17Mar 22, 2026Updated 7 months ago
- RTeAAL Sim: Using Tensor Algebra to Represent and Accelerate RTL Simulation -- ASPLOS'26☆18Mar 31, 2026Updated 7 months ago
- Benchmarking a single‑prompt Rust OS kernel implementation, comparing Claude Code Fable, Opus, and Sonnet.☆85Updated this week
- ☆87Sep 9, 2025Updated last year
- Lightweight, agent-native sandboxing with diff, commit and abort☆291Updated this week