Distributed Systems

Regular Types in the Bernoulli Model: When Equality Isn't Equal

Designing Data-Intensive Applications

Apertures: Partial Evaluation with Holes for Distributed Computation

Apertures are a coordination mechanism for distributed computation. Programs with explicit holes can be partially evaluated, optimized, and resumed when the missing pieces arrive. No cryptographic guarantees. Honest about what leaks.