Mark S. Miller

Mark S. Miller es un científico informático estadounidense . Es conocido por su trabajo como participante en el proyecto de hipertexto de 1979 conocido como Proyecto Xanadu ; por inventar las columnas de Miller ; y por ser el coordinador de código abierto del lenguaje de programación E. También diseñó el compilador Caja . Miller es investigador sénior en el Foresight Institute . ^{[ 1 ]}

Miller obtuvo una licenciatura en ciencias de la computación de Yale en 1980 y publicó su tesis doctoral en Johns Hopkins en 2006. ^{[ 2 ]} Actualmente es científico jefe en Agoric ^{[ 3 ]} y miembro del comité ECMAScript (JavaScript). ^{[ 4 ]} Entre sus puestos anteriores se incluyen el de arquitecto jefe de la Iniciativa de Computación Segura contra Virus en HP Labs , ^{[ 5 ]} y científico investigador en Google entre 2007 y 2017. ^{[ 6 ]}

La investigación de Miller se ha centrado en el diseño de lenguajes para sistemas abiertos seguros. En Xerox PARC, trabajó en sistemas de programación lógica concurrente y sistemas abiertos agóricos. En Sun Labs, ^{[ 7 ]} (mientras trabajaba para Agorics, una empresa anterior con un nombre similar al de su empleador actual) lideró el desarrollo de WebMart, un marco para la compra y venta de recursos informáticos (ancho de banda de red, ^{[ 8 ]} acceso a una impresora, imágenes, reproductor de CD, etc.) a través de la red. En HP Labs fue el arquitecto del proyecto Virus Safe Computing. Mientras estuvo en Google, desarrolló Caja, un entorno para la ejecución segura de JavaScript. También ha escrito artículos sobre sistemas adaptativos complejos ^{[ 9 ]} y estrategias de mitigación de riesgos para tecnologías futuras. ^{[ 10 ]}

Miller se ha propuesto como objetivo explícito facilitar la cooperación entre socios que desconfían unos de otros. ^{[ 11 ]} Miller considera que esta es una característica fundamental para impulsar las interacciones económicas y la pieza clave que faltaba en el conjunto de herramientas disponibles para los desarrolladores de software. Miller ha retomado este tema en repetidas ocasiones desde la publicación de los Documentos sobre Sistemas Abiertos Agóricos en 1988.

Las contribuciones más destacadas de Miller se han dado en el área del diseño de lenguajes de programación, sobre todo en el lenguaje E, que demostró la computación distribuida segura basada en lenguajes. Este trabajo inspiró varias adaptaciones a otros paradigmas de programación. También desempeñó un papel fundamental en el comité de estándares ECMAScript (TC39), sentando las bases para el desarrollo de Secure EcmaScript (SES), una evolución de los estándares que permitirá la programación con todas las funcionalidades en JavaScript. ^{[ 12 ]}

El trabajo de Miller ha sido reseñado en Wired ^{[ 13 ]} , que describió su trabajo como la inspiración para Mariposa , del investigador de bases de datos Michael Stonebraker , desarrollado en Berkeley .

• Artículos sobre sistemas abiertos agóricos con K. Eric Drexler . Presentaron un paradigma para el uso de mecanismos de mercado para gestionar el uso de recursos en sistemas informáticos.
• Diseño de lenguajes y sistemas abiertos Kenneth M. Kahn, Mark S. Miller en Ecología de la computación, Elsevier Science Publishers, North Holland (1988)
• Secretos lógicos , Mark S. Miller, Daniel G. Bobrow, E. Dean Tribble, Jacob Levy, Conferencia Internacional sobre Programación Lógica (1987), págs.  704–728
• Objetos en lenguajes de programación lógica concurrente , Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow, en OOPSLA (1986), págs.  242–257
• Vulcan: Objetos concurrentes lógicos , Kenneth M. Kahn, E. Dean Tribble, Mark S. Miller, Daniel G. Bobrow en Direcciones de investigación en programación orientada a objetos, MIT Press (1987), págs.  75–112
• La sociedad abierta y sus medios de comunicación , por Mark Miller con E. Dean Tribble, Ravi Pandya y Marc Stiegler; en Perspectivas en nanotecnología.
• Instrumentos financieros basados ​​en capacidades , por Mark S Miller , Chip Morningstar y Bill Frantz; en Actas de Criptografía Financiera 2000 (Springer-Verlag).
• El camino digital: contratos inteligentes y el Tercer Mundo , 2003, Mark S. Miller y Marc Stiegler .
• Derechos electrónicos distribuidos en JavaScript con Tom Van Cutsem y Bill Tulloh.
• Concurrencia entre extraños , Mark Miller, E. Dean Tribble, Jonathan Shapiro

• Publicaciones de Mark S. Miller indexadas por Google Académico
• Página principal con enlaces a documentos
• Mark S. Miller-Agórico
• Mark Miller en el servidor de bibliografía DBLP
• Charlas en YouTube
• Perfil de GitHub