kky-fury / MPIWasm
MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM PPoPP'23)
☆15Updated 7 months ago
Related projects: ⓘ
- Seemlessly Migrate Process without boundary.☆12Updated 3 months ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆17Updated last year
- A determinizing tracer using Ptrace☆33Updated 4 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆40Updated 3 weeks ago
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆31Updated 2 months ago
- Loupe: Syscall Usage Analysis Tool☆23Updated last month
- A low-level virtualization interface for Linux-based systems using WebAssembly☆83Updated this week
- ☆20Updated 3 years ago
- Programming Language for Continuous Deep Analytics☆44Updated 11 months ago
- User-space Page Management☆102Updated last month
- eRPC library for Rust☆12Updated 4 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆38Updated this week
- ☆26Updated 3 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- ☆10Updated last year
- VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…☆143Updated 5 months ago
- TLA+ specifications related to Viewstamped Replication☆27Updated last year
- ☆44Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆82Updated 3 months ago
- Messaging and state layer for distributed serverless applications☆61Updated 2 weeks ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆76Updated this week
- Resource Allocation for Dynamic Demands☆17Updated 8 months ago
- ☆17Updated 4 years ago
- ☆16Updated 11 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- ☆27Updated 2 months ago
- ☆13Updated last month
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆33Updated last year
- Enables streaming of images to and from CRIU during checkpoint/restore with low overhead☆90Updated last year