Loading article…
デビッド・フランシス・ベーコン | |
|---|---|
| 生まれる | 1963年2月24日 |
| 市民権 | アメリカ人 |
| 母校 | カリフォルニア大学バークレー校 |
| 受賞歴 | ACMフェロー |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | IBMワトソン研究所 ハーバード大学コンピュータサイエンス学部 |
| 論文 | 静的型付けオブジェクト指向言語の高速かつ効果的な最適化 (1997) |
| 博士課程の指導教員 | スーザン・L・グラハム |
デビッド・ベーコンはアメリカのコンピュータプログラマーです。
キャリア
ベーコンは16歳でプログラマーとして働き始め、高校3年生の時には新興企業で働きました。コロンビア大学コロンビア・カレッジでは、最初はデイビッド・E・ショーとともにNON-VONスーパーコンピュータ[1]に取り組み、その後イェチアム・イェミニとともにネットワークアルゴリズムとシミュレーションに取り組み、NESTネットワークシミュレータ[2]を作成しました。これは、コーネル大学のREAL [3]やLBLのnsシミュレータ など、他の多くのネットワークシミュレータの基礎となりました。
IBMリサーチ
ベーコンはキャリアの大部分をIBMのトーマス・J・ワトソン研究所で過ごし、1985年にプログラマーとしてHermes分散プログラミング言語の開発に携わり、[4]最終的には主任研究スタッフメンバーになりました。
彼は2009年に休職し、ハーバード大学のコンピュータサイエンスの客員教授となった。[5]
IBMでの彼の仕事の多くはガベージコレクションに焦点を当てていました。2009年に彼は 「リアルタイムシステムとオブジェクト指向言語の設計と実装への貢献」によりACMフェローに選出されました。 [6]
彼が開発したハードリアルタイムトレースガベージコレクター「メトロノーム」[7] は、IBM WebSphere Real Time Java仮想マシン[8]の基礎となり、海軍のDDG 1000駆逐艦のソフトウェアに使用されました。[9]このオリジナルの研究は、その後、2013年のプログラミング言語原理に関するシンポジウムの最も影響力のある論文賞に選ばれました。[10]
参照カウントシステムにおける循環構造のガベージコレクションに関する研究[11]は、 PHPを含む多くのスクリプト言語で使用されています。[12]
2013年に彼はハードウェアで完全に実装された最初のガベージコレクターを発表し[要説明] [13]、 これはACMリサーチハイライトに選ばれました。[14] [15]
ガベージコレクションに加えて、彼の研究は並行言語とオブジェクト指向言語の実装に焦点を当てています。彼の学位論文であるRapid Type Analysis (RTA) [ 16] [17]は、 Soot [18]やGo [ 19]などのオブジェクト指向言語の呼び出しグラフを構築するために多くのコンパイラや分析フレームワークで使用されています。 2004年には、 Javaの高性能ロック[20]に関する研究が、史上最も影響力のあるPLDI論文50選のリストに掲載されました。 [21]
グーグル
2014 年にGoogleに入社し、現在は主席エンジニアとしてSpanner分散データベース システムに取り組んでいます。Spanner のデータベース エンジンを担当しています。
参考文献
- ^ Shaw, David Elliot (1982). NON-VON スーパーコンピュータ、技術レポート CUCS-029-82、コロンビア大学。
- ^ Dupuy, Alexander; Schwartz, Jed; Yemini, Yechiam; Bacon, David (1990). 「NEST: ネットワークシミュレーションおよびプロトタイピングテストベッド」Communications of the ACM . 33 (10): 63–74. doi : 10.1145/84537.84549 . ISSN 0001-0782. S2CID 5311305.
- ^ Keshav, S. REAL 5.0 の概要
- ^ Strom, Robert E.; Bacon, David F.; Goldberg, Arthur P.; Lowry, Andy; Yellin, Daniel M.; Yemini, Shaula (1991). Hermes - 分散コンピューティングのための言語。米国ニュージャージー州エングルウッドクリフス: Prentice-Hall. ISBN 978-0-13-389537-7。
- ^ ハーバード大学経済学グループ
- ^ ACM フェロー - デビッド F. ベーコン
- ^ Bacon, David F.; Cheng, Perry; Rajan, VT (2003). 「オーバーヘッドが低く、一貫した 使用率のリアルタイム ガベージ コレクター」。プログラミング言語の原則に関する第 30 回 ACM SIGPLAN-SIGACT シンポジウムの議事録 - POPL '03。pp . 285–298。CiteSeerX 10.1.1.13.6486。doi : 10.1145 / 604131.604155。ISBN 978-1581136289. S2CID 52819687。
- ^ IBM WebSphere リアルタイム
- ^ IBMとレイセオンがDDG 1000次世代海軍駆逐艦向けのテクノロジーソリューションを提供
- ^ 最も影響力のあるPOPL論文賞
- ^ Bacon, David F.; Rajan, VT (2001). 「参照カウントシステムにおける並行サイクルコレクション」ECOOP 2001 — オブジェクト指向プログラミング. コンピュータサイエンスの講義ノート. 第 2072 巻. pp. 207–235. CiteSeerX 10.1.1.32.6283 . doi :10.1007/3-540-45337-7_12. ISBN 978-3-540-42206-8. ISSN 0302-9743.
- ^ PHP マニュアル - サイクルの収集
- ^ Bacon, David F.; Cheng, Perry; Shukla, Sunil (2013). 「そして誰もいなくなった: 再構成可能なハードウェアのためのストールフリーなリアルタイムガベージコレクター」Communications of the ACM . 56 (12): 101–109. doi :10.1145/2534706.2534726. ISSN 0001-0782. S2CID 52901561.
- ^ Moss, Eliot (2013). 「最もクリーンなガベージコレクション」Communications of the ACM . 56 (12): 100. doi :10.1145/2534706.2534725. ISSN 0001-0782. S2CID 9688334.
- ^ ACM SIGPLAN 研究ハイライト
- ^ Bacon, David F. (1997). 静的型付けオブジェクト指向言語の高速かつ効果的な最適化(PDF) (博士論文). カリフォルニア大学バークレー校。
- ^ Bacon, David F.; Sweeney, Peter F. (1996). 「C++ 仮想関数呼び出しの高速静的解析」. ACM SIGPLAN Notices . 31 (10): 324–341. CiteSeerX 10.1.1.69.2267 . doi :10.1145/236338.236371. ISSN 0362-1340.
- ^ Javaプログラム解析のためのSootフレームワーク
- ^ Go ドキュメント - パッケージ rta
- ^ ベーコン、デヴィッド F.コヌル、ラヴィ。マーシー、チェット。マウリシオのセラーノ (1998)。 「薄いロック」。ACM SIGPLAN の通知。33 (5): 258–268。土井: 10.1145/277652.277734。ISSN 0362-1340。S2CID 16929488。
- ^ PLDI 20年史（1979-1999）：選集、キャサリン・S・マッキンリー編
外部リンク
- Google Scholar の著者プロフィール
- DBLP の出版物リスト
- 特許一覧