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

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