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

• Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution

Decentralized Applications

• A Programming Paradigm for Reliable Applications in a Decentralized Setting

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

• A Taxonomy of Job Scheduling on Distributed Computing Systems

Serverless Computing & Performance

• On-demand Container Loading in AWS Lambda
• Serverless Computing: One Step Forward, Two Steps Back

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

• Bringing WebAssembly Up to Speed with Dynamic Linking
• Whose baseline (compiler) is it anyway?

Component Model & Wasm Interface Types (WIT)

• Component Model design and specification
• The wit format

Zero-knowledge proofs

• ZAWA: A ZKSNARK WASM Emulator

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

Trust Models

Distributed Capability Systems & Auth

• Capability Myths Demolished
• CapTP: The Capability Transport Protocol
• UCAN Spec

Privacy-preserving Protocols

• DECO: Liberating Web Data Using Decentralized Oracles for TLS
• DIDO: Data Provenance from Restricted TLS 1.3 Websites