マーク・S・ミラー

マーク
国籍	アメリカ人
その他の名前	マーク・S・ミラー、マーク・サミュエル・ミラー、マークM
教育	1980年にイェール大学でコンピュータサイエンスの学士号を取得。 2006年にジョンズホプキンス大学で博士号を取得。
母校	ジョンズ・ホプキンス
知られている	E (プログラミング言語)、オブジェクト機能、CAJA
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	アゴリック グーグル ゼロックス PARC ヒューレット・パッカード 研究所
論文	堅牢な構成: アクセス制御と同時実行制御への統一的なアプローチに向けて (2006)
博士課程の指導教員	ジョナサン・シャピロ
Webサイト	http://erights.org

マーク・S・ミラーはアメリカのコンピュータ科学者です。彼は、1979年のハイパーテキストプロジェクト「プロジェクト・ザナドゥ」の参加者の一人として、またミラー列の発明者として、またEプログラミング言語のオープンソースコーディネーターとして知られています。彼はまた、Cajaコンパイラーを設計しました。ミラーは、フォーサイト研究所の上級研究員です。^[1]

ミラーは1980年にイェール大学でコンピュータサイエンスの学士号を取得し、2006年にジョンズホプキンス大学で博士論文を発表しました。 ^[2]現在、Agoricの主任科学者^{[3]であり、} ECMAScript（JavaScript）委員会のメンバーです。 ^{[4]以前は、} HPラボのウイルスセーフコンピューティングイニシアチブの主任アーキテクト、^[5]や、 2007年から2017年までのGoogleの研究科学者でした。 ^[6]

ミラーの研究は、安全なオープン システムのための言語設計に重点を置いています。ゼロックス PARC では、並行論理プログラミング システムと Agoric Open Systems に取り組みました。サン ラボ^[7]では(現在の雇用主と似た名前を持つ以前の会社である Agorics で働いていたとき)、ネットワーク経由でコンピューティング リソース (ネットワーク帯域幅、^[8]プリンタ、画像、CD ジュークボックスなどへのアクセス) を売買するためのフレームワークである WebMart の開発を主導しました。HP ラボでは、ウイルス セーフ コンピューティング プロジェクトのアーキテクトを務めました。Google では、JavaScript を安全に実行するための環境である Caja を開発しました。また、複雑適応システム^[9]や将来のテクノロジのリスク軽減戦略に関する記事も執筆しています。^[10]

ミラーは、信頼関係のないパートナー間の協力を可能にするという明確な目標を追求してきました。^[11]ミラーは、これを経済的な相互作用を促進するために必要な基本的な機能であり、ソフトウェア開発者が利用できるツールキットに欠けている主要な部分であると考えています。ミラーは、1988年のAgoric Open Systems Papers以来、この問題に繰り返し取り組んできました。

ミラーの最も顕著な貢献はプログラミング言語設計の分野であり、最も顕著なのは言語ベースの安全な分散コンピューティングを実証した E 言語です。この研究は、他のプログラミングパラダイムへのいくつかの適応に影響を与えました。彼はまた、ECMAScript 標準委員会 (TC39) で、JavaScript で完全な機能プログラミングを利用できるようにする標準トラックの進化である Secure EcmaScript (SES) の開発の基礎を提供する上で重要な役割を果たしました。^[12]

^{ミラーの研究はWired [13]}に掲載されており、その中でミラーの研究がバークレーで開発されたデータベース研究者マイケル・ストーンブレーカーのマリポサのインスピレーションになったと評されている。

• Agoric Open Systemsの論文K. Eric Drexler氏と共同で、市場メカニズムを利用してコンピューティングシステムのリソースの使用を管理するパラダイムを提示しました。
• 言語設計とオープンシステム Kenneth M. Kahn、Mark S. Miller 著「Ecology of Computation」、Elsevier Science Publishers、North Holland (1988)
• 論理的秘密、マーク S. ミラー、ダニエル G. ボブロウ、E. ディーン トリブル、ジェイコブ レヴィ国際論理プログラミング会議 (1987)、pp. 704–728
• 並行論理プログラミング言語におけるオブジェクト、Kenneth M. Kahn、Eric Dean Tribble、Mark S. Miller、Daniel G. Bobrow、OOPSLA (1986)、pp. 242–257
• Vulcan: 論理的並行オブジェクト、Kenneth M. Kahn、E. Dean Tribble、Mark S. Miller、Daniel G. Bobrow 共著『オブジェクト指向プログラミングの研究方向』、MIT Press (1987)、pp. 75–112
• 開かれた社会とそのメディア マーク・ミラー、E・ディーン・トリブル、ラヴィ・パンディア、マーク・スティグラー共著、ナノテクノロジーの展望
• 能力ベースの金融商品、Mark S Miller、Chip Morningstar、Bill Frantz著、Proceedings of Financial Cryptography 2000（Springer-Verlag）
• デジタルパス：スマートコントラクトと第三世界、2003年、マーク・S・ミラー、マーク・スティグラー。
• JavaScript による分散型電子著作権 (Tom Van Cutsem、Bill Tulloh 共著)
• 見知らぬ人同士の同時性、マーク・ミラー、E・ディーン・トリブル、ジョナサン・シャピロ

• Google Scholarにインデックスされた Mark S. Miller の出版物
• 論文へのリンクがあるホームページ
• マーク・S・ミラー・アゴリック
• DBLP 書誌サーバーのマーク・ミラー
• YouTubeでの講演
• GitHub プロフィール