Mark Miller

Registered user since Tue 19 May 2015

Name: Mark Miller

Bio: Mark S. Miller is the main designer of the E and Dr. SES distributed object-capability programming languages, inventor of Miller Columns, a pioneer of agoric (market-based secure distributed) computing, an architect of the Xanadu hypertext publishing system, a representative to the EcmaScript committee, and one of Yedalog’s creators.

Country: United States

Affiliation: Agoric

Personal website: http://research.google.com/pubs/author35958.html

Contributions

OCAP 2018Author of Ocaps & Crypto-commerce within the OCAP 2018-track
Committee Member in Organizing Committee within the OCAP 2018-track
NOOL 2017Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track
OCAP 2017Committee Member in Organizing Committee within the OCAP 2017-track
Session Chair of Welcome and Keynote (part of OCAP 2017)
JSTools 2016Author of Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins within the JSTools-track
FTfJP 2016Author of Permission and Authority Revisited: Towards a Formalization within the FTfJP-track
IWACO 2016Speaker of Frozen Realms: Confining effects for safer JavaScript plugins within the IWACO-track
Author of Abstract Data Types in Object-Capability Systems within the IWACO-track
Onward! 2016Author of The Left Hand of Equals within the Onward! Essays-track
ECOOP 2016Presenter of The Elements of Decision Alignment: Large programs as complex organizations within the Research Track-track
SPLASH 2016Invited speaker of The elements of decision alignment: Large programs as complex organizations within the SPLASH-I-track
PLAS 2015Author of Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World within the PLAS-track
AGERE 2012Committee Member in Program Committee within the AGERE 2012-track
DLS 2012Committee Member in Program Committee within the DLS 2012-track
SPLASH 2012Committee Member in Program Committee within the Onward! Papers-track