Mark S. Miller

Chief Scientist at Agoric

Mark S. Miller is a pioneer of agoric (market-based secure distributed) computing and smart contracts, the main designer of the E and Dr. SES distributed persistent object-capability programming languages, inventor of Miller Columns, an architect of the Xanadu hypertext publishing system, a representative to the EcmaScript committee, a former Google research scientist and member of the WebAssembly (Wasm) group, and a senior fellow of the Foresight Institute.

Papers

Automated Analysis of Security-Critical JavaScript APIs by Ankur Taly, Úlfar Erlingsson, John C. Mitchell, Mark S. Miller, and Jasvir Nagra

Capability-based Financial Instruments by Mark S. Miller, Chip Morningstar, and Bill Frantz

Capability Myths Demolished by Mark S. Miller, Ka-Ping Yee, and Jonathan Shapiro

Comparative Ecology: A Computational Perspective by Mark S. Miller and K. Eric Drexler

Concurrency Among Strangers: Programming in E as Plan Coordination by Mark S. Miller, E. Dean Tribble, and Jonathan Shapiro

Distributed Electronic Rights in JavaScript by Mark S. Miller, Tom Van Cutsem, and Bill Tulloh

Incentive Engineering: for Computational Resource Management by K. Eric Drexler and Mark S. Miller

Markets and Computation: Agoric Open Systems by Mark S. Miller and K. Eric Drexler

Reasoning about Risk and Trust in an Open World by Sophia Drossopoulou, James Noble, Toby Murray, and Mark S. Miller

Robust Composition by Mark S. Miller

The Digital Path: Smart Contracts and the Third World by Mark S. Miller and Marc Stiegler

The Structure of Authority: Why Security is not a Separable Concern by Mark S. Miller, Bill Tulloh, and Jonathan Shapiro