Mark S. Miller

Mark
Mark
	Computer Science
Institutions	Agoric ; Google ; Xerox PARC; Hewlett-Packard Labs
Thesis	Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control (2006)
Doctoral advisor	Jonathan Shapiro
Website	http://erights.org

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; and the open-source coordinator of the E programming language. He also designed the Caja compiler. Miller is a Senior Research Fellow at the Foresight Institute.^[1]

Miller earned a BS in

Yale in 1980 and published his Johns Hopkins PhD thesis in 2006.^[2] He is currently Chief Scientist at Agoric^[3] and a member of the ECMAScript (JavaScript) committee.^[4] Previous positions include Chief Architect with the Virus-Safe Computing Initiative at HP Labs,^[5] and research scientist at Google between 2007 and 2017.^[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,

complex adaptive systems^[9] and risk mitigation strategies for future technologies.^[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. He was also 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]

Miller's work has been written up in Wired

Berkeley

.

Major publications

Agoric Open Systems papers With K. Eric Drexler. Presented a paradigm of using market mechanisms to manage the use of resources in computing systems
Language Design and Open Systems Kenneth M. Kahn, Mark S. Miller in Ecology of Computation, Elsevier Science Publishers, North Holland (1988)
Logical Secrets, Mark S. Miller, Daniel G. Bobrow, E. Dean Tribble, Jacob Levy International Conference on Logic Programming (1987), pp. 704–728
Objects in Concurrent Logic Programming Languages, Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow, in OOPSLA (1986), pp. 242–257
Vulcan: Logical Concurrent Objects, Kenneth M. Kahn, E. Dean Tribble, Mark S. Miller, Daniel G. Bobrow in Research Directions in Object-Oriented Programming, MIT Press (1987), pp. 75–112
The Open Society and its Media by Mark Miller with E. Dean Tribble, Ravi Pandya, and Marc Stiegler; in Prospects in Nanotechnology
Capability-based Financial Instruments, by
Mark S Miller, Chip Morningstar
, Bill Frantz; in Proceedings of Financial Cryptography 2000 (Springer-Verlag)

The Digital Path: Smart Contracts and the Third World, 2003, Mark S. Miller, and Marc Stiegler.
Distributed Electronic Rights in JavaScript with Tom Van Cutsem, and Bill Tulloh
Concurrency Among Strangers, Mark Miller, E. Dean Tribble, Jonathan Shapiro

References

^ "Senior Research Fellows". Foresight Institute. Retrieved April 15, 2020.
^ Robust Composition:Towards a Unified Approach to Access Control and Concurrency Control, PhD thesis.
^ "Mark. S. Miller". Agoric. 8 February 2023. Retrieved December 25, 2023.
^ Ecma Technical Committee 39 (TC39) coalesces on future direction of Web Programming Language
^ "Building a Virus-Safe Computing Platform - About the speaker". web.stanford.edu. Palo Alto, CA: Stanford University. 3 December 2003.
^ "Mark S. Miller". Research at Google. Archived from the original on 12 March 2019.
^ "SunLabs annual report 1995". Archived from the original on 2009-02-07. Retrieved 2009-02-07.
^ An automated auction in ATM network bandwidth
^ Miller, Mark (1 December 1996). "Learning Curve". Reason.
^ Peterson, Christine; Miller, Mark S.; Duettmann, Allison (2017). "Cyber, Nano, and AGI Risks: Decentralized Approaches to Reducing Risks" (PDF). Foresight Institute.
^ Smart Contracts: Patterns of Cooperation without Vulnerability
^ Ecma International, Technical Committee 39. "Draft Proposal for SES (Secure EcmaScript)". GitHub. Retrieved April 15, 2020.{{cite web}}: CS1 maint: numeric names: authors list (link)
^ Sidell, Jeff (1 December 1996). "Geek Page". Wired.

External links

Mark S. Miller publications indexed by Google Scholar
Home page with links to papers
Mark S. Miller-Agoric
Mark Miller at DBLP Bibliography Server
Talks on YouTube
GitHub profile

[1] "Senior Research Fellows". Foresight Institute. Retrieved April 15, 2020.

[2] Robust Composition:Towards a Unified Approach to Access Control and Concurrency Control, PhD thesis.

[3] "Mark. S. Miller". Agoric. 8 February 2023. Retrieved December 25, 2023.

[4] Ecma Technical Committee 39 (TC39) coalesces on future direction of Web Programming Language

[5] "Building a Virus-Safe Computing Platform - About the speaker". web.stanford.edu. Palo Alto, CA: Stanford University. 3 December 2003.

[6] "Mark S. Miller". Research at Google. Archived from the original on 12 March 2019.

[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] Miller, Mark (1 December 1996). "Learning Curve". Reason.

[10] Peterson, Christine; Miller, Mark S.; Duettmann, Allison (2017). "Cyber, Nano, and AGI Risks: Decentralized Approaches to Reducing Risks" (PDF). Foresight Institute.

[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.{{cite web}}: CS1 maint: numeric names: authors list (link)

[13] Sidell, Jeff (1 December 1996). "Geek Page". Wired.

[1]

[2]

[3]

[4]

[5]

[6]

[9]

[10]

[12]