Awesome
IPVM Research
A short list of relevant research related to IPVM and the Homestar implementation of IPVM. It is in no way exhaustive.
Distributed Orchestration and Compute Engines
- Escaping the Singularity: Side Effects, Front and Center!
- Parallel Programming Must Be Deterministic by Default
Effect Systems
- Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control
- Effects, Capabilities, and Boxes
Coordination and Transformation
Decentralized Applications
Durable Executions & Virtual Resiliency & Fault-oblivious Workflows
- A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications
- Durable Functions: Semantics for Stateful Serverless
- Netherite: Efficient Execution of Serverless Workflows
- SEQUEL: A Structured English Query Language
Scheduling
Serverless Computing & Performance
Wasm
Background and Studies
- A Comprehensive Study of WebAssembly Runtime Bugs
- Bringing the Web up to Speed with WebAssembly
- Characterization and Implication of Edge WebAssembly Runtimes
Compilers, JITs, & Execution Models
Component Model & Wasm Interface Types (WIT)
Zero-knowledge proofs
Peer-to-Peer Networking & Content-Addressable Storage
- Design and Evaluation of IPFS: A Storage Layer for the Decentralized Web
- GossipSub: Attack-Resilient Message Propagation in the Filecoin and ETH2.0 Networks
- IPFS-FAN: A Function-Addressable Computation Network