Дэвид Ф. Бэкон

Дэвид Фрэнсис Бэкон
Дэвид Фрэнсис Бэкон
Рожденный	24 февраля 1963 г. (61 год)
Гражданство	Американский
Альма-матер	Калифорнийский университет в Беркли
Награды	Член ACM
	Научная карьера
Поля	Информатика
Учреждения	Исследовательский центр IBM Watson ; Гарвардский факультет компьютерных наук. ; Google
Диссертация	Быстрая и эффективная оптимизация статически типизированных объектно-ориентированных языков (1997)
Докторантура	Сьюзан Л. Грэм

Дэвид Бэкон — американский программист .

Карьера

Бэкон начал работать программистом в 16 лет и работал в стартапе в старшем классе средней школы. В Колумбийском колледже Колумбийского университета он сначала работал с Дэвидом Э. Шоу надСуперкомпьютер НОН-ВОН, ^[1] а затем о сетевых алгоритмах и моделировании с Йечиамом Йемини, создав сетевой симулятор NEST, ^[2]который послужил основой для ряда других сетевых симуляторов, включая REAL Корнелла. ^[3] и затем LBL от симулятор ns .

IBM Исследования

Бэкон провел большую часть своей карьеры в Исследовательском центре Томаса Дж. Уотсона компании IBM , начав в 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]

Помимо сборки мусора, его работа была сосредоточена на реализации параллельных и объектно-ориентированных языков. Его дипломная работа по быстрому анализу типов (RTA). ^[16]^[17]использовался во многих компиляторах и средах анализа для построения графов вызовов объектно-ориентированных языков, включая Soot. ^[18] и Иди . ^[19] В 2004 году его работа над высокопроизводительной блокировкой для Java. ^[20] появился в списке 50 самых влиятельных газет PLDI всех времен. ^[21]

Google

В 2014 году он присоединился к Google , где сейчас является главным инженером, работающим над системой распределенных баз данных Spanner . Spanner Он отвечает за движок базы данных .

Ссылки

^ Шоу, Дэвид Эллиот (1982). Суперкомпьютер NON-VON, технический отчет CUCS-029-82, Колумбийский университет.
^ Дюпюи, Александр; Шварц, Джед; Йемини, Йехиам; Бэкон, Дэвид (1990). «NEST: испытательный стенд для сетевого моделирования и прототипирования» . Коммуникации АКМ . 33 (10): 63–74. дои : 10.1145/84537.84549 . ISSN 0001-0782 . S2CID 5311305 .
^ Кешав, С. Обзор REAL 5.0
^ Стром, Роберт Э.; Бэкон, Дэвид Ф .; Гольдберг, Артур П.; Лоури, Энди; Йеллин, Дэниел М.; Йемини, Шаула (1991). Hermes — язык распределенных вычислений . Энглвуд Клиффс, Нью-Джерси, США: Прентис-Холл. ISBN 978-0-13-389537-7 .
^ Гарвардская группа EconCS
^ Члены ACM - Дэвид Ф. Бэкон
^ Бэкон, Дэвид Ф.; Ченг, Перри; Раджан, В.Т. (2003). «Сборщик мусора в реальном времени с низкими накладными расходами и стабильным использованием». Материалы 30-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования — POPL '03 . стр. 285–298. CiteSeerX 10.1.1.13.6486 . дои : 10.1145/604131.604155 . ISBN 978-1581136289 . S2CID 52819687 .
^ IBM WebSphere в реальном времени
^ IBM и Raytheon предоставляют технологическое решение для эсминцев ВМФ следующего поколения DDG 1000
^ Самая влиятельная бумажная награда POPL
^ Бэкон, Дэвид Ф.; Раджан, В.Т. (2001). «Сбор параллельных циклов в системах с подсчетом ссылок». ЭКООП 2001 — Объектно-ориентированное программирование . Конспекты лекций по информатике. Том. 2072. стр. 207–235. CiteSeerX 10.1.1.32.6283 . дои : 10.1007/3-540-45337-7_12 . ISBN 978-3-540-42206-8 . ISSN 0302-9743 .
^ Руководство по PHP — Сбор циклов
^ Бэкон, Дэвид Ф.; Ченг, Перри; Шукла, Сунил (2013). «И тогда их не было: сборщик мусора в реальном времени без остановок для реконфигурируемого оборудования». Коммуникации АКМ . 56 (12): 101–109. дои : 10.1145/2534706.2534726 . ISSN 0001-0782 . S2CID 52901561 .
^ Мосс, Элиот (2013). «Самый чистый сбор мусора». Коммуникации АКМ . 56 (12): 100. дои : 10.1145/2534706.2534725 . ISSN 0001-0782 . S2CID 9688334 .
^ Основные моменты исследования ACM SIGPLAN
^ Бэкон, Дэвид Ф. (1997). Быстрая и эффективная оптимизация статически типизированных объектно-ориентированных языков (PDF) (кандидатская диссертация). Калифорнийский университет, Беркли.
^ Бэкон, Дэвид Ф.; Суини, Питер Ф. (1996). «Быстрый статический анализ вызовов виртуальных функций C++». Уведомления ACM SIGPLAN . 31 (10): 324–341. CiteSeerX 10.1.1.69.2267 . дои : 10.1145/236338.236371 . ISSN 0362-1340 .
^ Платформа Soot для анализа программ Java
^ Документация Go — пакет rta
^ Бэкон, Дэвид Ф.; Конуру, Рави; Мурти, Чет; Серрано, Маурисио (1998). «Тонкие пряди» . Уведомления ACM SIGPLAN . 33 (5): 258–268. дои : 10.1145/277652.277734 . ISSN 0362-1340 . S2CID 16929488 .
^ 20 лет PLDI (1979–1999): Выбор, Кэтрин С. МакКинли, редактор

Внешние ссылки

[1] Шоу, Дэвид Эллиот (1982). Суперкомпьютер NON-VON, технический отчет CUCS-029-82, Колумбийский университет.

[DupuySchwartz1990-2] Дюпюи, Александр; Шварц, Джед; Йемини, Йехиам; Бэкон, Дэвид (1990). «NEST: испытательный стенд для сетевого моделирования и прототипирования» . Коммуникации АКМ . 33 (10): 63–74. дои : 10.1145/84537.84549 . ISSN 0001-0782 . S2CID 5311305 .

[3] Кешав, С. Обзор REAL 5.0

[4] Стром, Роберт Э.; Бэкон, Дэвид Ф .; Гольдберг, Артур П.; Лоури, Энди; Йеллин, Дэниел М.; Йемини, Шаула (1991). Hermes — язык распределенных вычислений . Энглвуд Клиффс, Нью-Джерси, США: Прентис-Холл. ISBN 978-0-13-389537-7 .

[5] Гарвардская группа EconCS

[6] Члены ACM - Дэвид Ф. Бэкон

[BaconCheng2003-7] Бэкон, Дэвид Ф.; Ченг, Перри; Раджан, В.Т. (2003). «Сборщик мусора в реальном времени с низкими накладными расходами и стабильным использованием». Материалы 30-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования — POPL '03 . стр. 285–298. CiteSeerX 10.1.1.13.6486 . дои : 10.1145/604131.604155 . ISBN 978-1581136289 . S2CID 52819687 .

[8] IBM WebSphere в реальном времени

[9] IBM и Raytheon предоставляют технологическое решение для эсминцев ВМФ следующего поколения DDG 1000

[10] Самая влиятельная бумажная награда POPL

[BaconRajan2001-11] Бэкон, Дэвид Ф.; Раджан, В.Т. (2001). «Сбор параллельных циклов в системах с подсчетом ссылок». ЭКООП 2001 — Объектно-ориентированное программирование . Конспекты лекций по информатике. Том. 2072. стр. 207–235. CiteSeerX 10.1.1.32.6283 . дои : 10.1007/3-540-45337-7_12 . ISBN 978-3-540-42206-8 . ISSN 0302-9743 .

[12] Руководство по PHP — Сбор циклов

[BaconCheng2013-13] Бэкон, Дэвид Ф.; Ченг, Перри; Шукла, Сунил (2013). «И тогда их не было: сборщик мусора в реальном времени без остановок для реконфигурируемого оборудования». Коммуникации АКМ . 56 (12): 101–109. дои : 10.1145/2534706.2534726 . ISSN 0001-0782 . S2CID 52901561 .

[Moss2013-14] Мосс, Элиот (2013). «Самый чистый сбор мусора». Коммуникации АКМ . 56 (12): 100. дои : 10.1145/2534706.2534725 . ISSN 0001-0782 . S2CID 9688334 .

[15] Основные моменты исследования ACM SIGPLAN

[16] Бэкон, Дэвид Ф. (1997). Быстрая и эффективная оптимизация статически типизированных объектно-ориентированных языков (PDF) (кандидатская диссертация). Калифорнийский университет, Беркли.

[BaconSweeney1996-17] Бэкон, Дэвид Ф.; Суини, Питер Ф. (1996). «Быстрый статический анализ вызовов виртуальных функций C++». Уведомления ACM SIGPLAN . 31 (10): 324–341. CiteSeerX 10.1.1.69.2267 . дои : 10.1145/236338.236371 . ISSN 0362-1340 .

[18] Платформа Soot для анализа программ Java

[19] Документация Go — пакет rta

[BaconKonuru1998-20] Бэкон, Дэвид Ф.; Конуру, Рави; Мурти, Чет; Серрано, Маурисио (1998). «Тонкие пряди» . Уведомления ACM SIGPLAN . 33 (5): 258–268. дои : 10.1145/277652.277734 . ISSN 0362-1340 . S2CID 16929488 .

[21] 20 лет PLDI (1979–1999): Выбор, Кэтрин С. МакКинли, редактор

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]