Mark S. Miller

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