Mark S. Miller

Mark Miller
Nationalitet	amerikansk
Andra namn	Mark S. Miller, Mark Samuel Miller, MarkM
Medborgarskap	amerikansk
Utbildning	BS i datavetenskap från Yale 1980; PhD Johns Hopkins 2006
Alma mater	Johns Hopkins
Känd för	E (programmeringsspråk) , Object Capabilities , CAJA
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Agoric Google Xerox PARC Hewlett-Packard Labs
Avhandling	Robust sammansättning: Mot en enhetlig strategi för åtkomstkontroll och samtidighetskontroll ( 2006)
Doktorand rådgivare	Jonathan Shapiro
Influenser	Norm Hardy, Marc Stiegler
Hemsida	http://rights.org

Mark S. Miller är en amerikansk datavetare . Han är känd för sitt arbete som en av deltagarna i hypertextprojektet 1979 känt som Project Xanadu ; för att uppfinna Miller-kolonner ; och öppen källkodskoordinator för programmeringsspråket E. Han designade även kompilatorn Caja . Miller är seniorforskare vid Foresight Institute .

Miller tog en BS i datavetenskap från Yale 1980 och publicerade sin Johns Hopkins doktorsavhandling 2006. Han är för närvarande Chief Scientist vid och medlem i ECMAScript (JavaScript) kommittén. Tidigare befattningar inkluderar chefsarkitekt med Virus-Safe Computing Initiative vid HP Labs och forskare på Google mellan 2007 och 2017.

Millers forskning har fokuserat på språkdesign för säkra öppna system. På Xerox PARC arbetade han med Concurrent Logic Programming-system och Agoric Open Systems. På Sun Labs, (medan han arbetade för Agorics, ett tidigare företag med liknande namn som hans nuvarande arbetsgivare) ledde han utvecklingen av WebMart, ett ramverk för att köpa och sälja datorresurser (nätverksbandbredd, tillgång till en skrivare, bilder, CD-jukebox etc.) över nätverket. På HP Labs var han arkitekten för projektet Virus Safe Computing. På Google utvecklade han Caja, en miljö för säker körning av JavaScript. Han har också skrivit artiklar om komplexa adaptiva system och riskreducerande strategier för framtida teknologier.

Miller har eftersträvat ett uttalat mål att möjliggöra samarbete mellan opålitliga partners. Miller ser detta som en grundläggande funktion som krävs för att driva ekonomiska interaktioner, och huvuddelen som har saknats i verktygslådan som är tillgänglig för mjukvaruutvecklare. Miller har återkommit till denna fråga upprepade gånger sedan Agoric Open Systems Papers från 1988.

Millers mest framträdande bidrag har varit inom området programmeringsspråksdesign, framför allt E Language, som demonstrerade språkbaserad säker distribuerad datoranvändning. Arbetet inspirerade till flera anpassningar till andra programmeringsparadigm. Han var också behjälplig i ECMAScripts standardkommitté (TC39) för att lägga grunden för utvecklingen av Secure EcmaScript (SES), en standardspårutveckling som kommer att göra programmering med full kapacitet tillgänglig i JavaScript.

Millers arbete har skrivits upp i Wired som beskrev hans arbete som inspirationen till databasforskaren Michael Stonebrakers Mariposa , utvecklad i Berkeley .

Stora publikationer

• Agoric Open Systems papers med K. Eric Drexler . Presenterade ett paradigm för att använda marknadsmekanismer för att hantera användningen av resurser i datorsystem
• Språkdesign och öppna system 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), s. 704–728
• Objects in Concurrent Logic Programming Languages ​​, Kenneth M. Kahn, Eric Dean Tribble, Mark S. Miller, Daniel G. Bobrow, i OOPSLA (1986), s. 242–257
• Vulcan: Logical Concurrent Objects , Kenneth M. Kahn, E. Dean Tribble, Mark S. Miller, Daniel G. Bobrow i Research Directions in Object-Oriented Programming, MIT Press (1987), s. 75–112
• The Open Society and its Media av Mark Miller med E. Dean Tribble, Ravi Pandya och Marc Stiegler; i Prospects in Nanotechnology
• Kapacitetsbaserade finansiella instrument , av Mark S Miller , Chip Morningstar , Bill Frantz; i Proceedings of Financial Cryptography 2000 (Springer-Verlag)
• The Digital Path: Smart Contracts and the Third World , 2003, Mark S. Miller och Marc Stiegler .
• Distribuerade elektroniska rättigheter i JavaScript med Tom Van Cutsem och Bill Tulloh
• Concurrency Among Strangers , Mark Miller, E. Dean Tribble, Jonathan Shapiro

externa länkar

• Mark S. Millers publikationer indexerade av Google Scholar
• Hemsida med länkar till tidningar
• Mark Miller på DBLP Bibliography Server
• Samtal på YouTube
• GitHub-profil