Mark S. Miller

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Mark Miller
Other namesMark S. Miller, Mark Samuel Miller, MarkM
EducationBS in computer science from Yale in 1980; PhD Johns Hopkins 2006
Alma materJohns Hopkins
Known forE_(programming_language), Object Capabilities, CAJA
Scientific career
FieldsComputer Science
Xerox PARC
Hewlett-Packard Labs
ThesisRobust Composition: Towards a Unified Approach to Access Control and Concurrency Control (2006)
Doctoral advisorJonathan Shapiro
InfluencesNorm Hardy, Marc Stiegler

Mark S. Miller is an American computer scientist. He is known for his work as one of the participants in the 1979 hypertext project known as Project Xanadu; for inventing Miller columns; as the co-creator of the Agoric Paradigm[1] of market-based distributed secure computing; and the open-source coordinator of the E programming language. He also designed the Caja programming language. Miller is a Senior Research Fellow at the Foresight Institute [2]

Miller earned a BS in computer science from Yale in 1980 and published his Johns Hopkins PhD thesis in 2006.[3] He is currently Chief Scientist at Agoric[4] and a member of the ECMAScript (JavaScript) committee.[5]. Previous positions include Chief Architect with the Virus-Safe Computing Initiative at HP Labs, and research scientist at Google[6]

Miller's research has focused on language design for secure open systems. At Xerox PARC, he worked on Concurrent Logic Programming systems and Agoric Open Systems. At Sun Labs [7], (while working for Agorics, an earlier company with a similar name to his current employer) he led the development of WebMart, a framework for buying and selling computing resources (network bandwidth [8], access to a printer, images, CD Jukebox etc.) across the network. At HP Labs he was the architect for the Virus Safe Computing project. While at Google he developed Caja, an environment for secure execution in JavaScript. He has also written articles and given talks on dealing with risks from future technologies (Reason magazine [9], Foresight Institute [10]).

Miller has been pursuing a stated goal of enabling cooperation between untrusting partners [11]. Miller sees this as a fundamental feature required to power economic interactions, and the main piece that has been missing in the toolkit available to software developers. Miller has returned to this issue repeatedly since the Agoric Open Systems Papers from 1988

Miller's most prominent contributions have been in the area of programming language design, most notably, the E Language, which demonstrated language-based secure distributed computing. The work inspired several adaptations to other programming paradigms. Also was instrumental on the EcmaScript standards committee (TC39) in providing the foundations for development of Secure EcmaScript (SES), a standards track evolution that will make full capability programming available in JavaScript.[12][13]

Miller's work has been written up in Wired [14] which described his work as the inspiration for Michael Stonebraker's Mariposa, developed at Berkeley.

Major publications[edit]

Talks, Presentations[edit]


See also[edit]


  1. ^ The Agorics Papers
  2. ^ "Senior Research Fellows". Foresight Institute. Retrieved April 15, 2020.
  3. ^ Robust Composition:Towards a Unified Approach to Access Control and Concurrency Control, PhD thesis.
  4. ^ Agoric home page
  5. ^ Ecma Technical Committee 39 (TC39) coalesces on future direction of Web Programming Language
  6. ^ Mark S. Miller at Google Research
  7. ^ "SunLabs annual report 1995". Archived from the original on 2009-02-07. Retrieved 2009-02-07.
  8. ^ An automated auction in ATM network bandwidth
  9. ^ Learning Curve Review of Holand's 'Hidden Order'
  10. ^ Decentralized Approaches To Reducing Cyber, Nano, and AGI Risks
  11. ^ Smart Contracts: Patterns of Cooperation without Vulnerability
  12. ^ Ecma International, Technical Committee 39. "Draft Proposal for SES (Secure EcmaScript)". GitHub. Retrieved April 15, 2020.
  13. ^ Miller, Mark S. (December 4, 2019). "SES: Securing JavaScript in the Real World". Agoric. Medium. Retrieved April 15, 2020.
  14. ^ Wired: Geek Page

External links[edit]