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

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

Карьера [ править ]

Бэкон начал работать программистом в 16 лет и работал в стартапе в старшем классе средней школы. В Колумбийском колледже Колумбийского университета он работал сначала с Дэвидом Э. Шоу над суперкомпьютером NON-VON [1], а затем над сетевыми алгоритмами и моделированием с Йехиамом Йемини, создав сетевой симулятор NEST [2], который послужил основой для ряда других сетевых симуляторов , включая РЕАЛЬНЫЙ Корнелла [3] и оттуда LBL «s нс имитатор .

Бэкон провел большую часть своей карьеры в Исследовательском центре Томаса Дж. Ватсона IBM , начав с должности программиста в 1985 году, работая над языком распределенного программирования Hermes [4], и в конечном итоге стал главным научным сотрудником.

В 2009 году он взял творческий отпуск в качестве приглашенного профессора информатики в Гарварде . [5]

В 2015 году он присоединился к Google , работая над системой распределенных баз данных Spanner .

Большая часть его работы сосредоточена на сборке мусора . В 2009 году он был назначен стипендиатом ACM «за вклад в системы реального времени, а также в разработку и реализацию объектно-ориентированного языка». [6]

Его работа над сборщиком мусора с жесткой трассировкой в реальном времени Metronome [7] стала основой для виртуальной машины IBM WebSphere Real Time Java [8], которая использовалась в программном обеспечении для военно-морского флота DDG 1000 Destroyer. [9] Оригинальное исследование было впоследствии выбрано для вручения премии «Самая влиятельная статья 2013 года» Симпозиума по принципам языков программирования . [10]

Его работа по циклическим структурам сбора мусора [11] в системах с подсчетом ссылок использовалась в ряде языков сценариев, включая PHP . [12]

В 2013 году он опубликовал первый сборщик мусора, полностью реализованный на аппаратном уровне, [ необходимы пояснения ] [13], который был выбран в качестве основного момента исследований ACM. [14] [15]

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

Ссылки [ править ]

  1. ^ Шоу, Дэвид Эллиот (1982). Суперкомпьютер NON-VON, Технический отчет CUCS-029-82, Колумбийский университет.
  2. ↑ Дюпюи, Александр; Шварц, Джед; Йемини, Йехиам; Бэкон, Дэвид (1990). «NEST: стенд для сетевого моделирования и создания прототипов» . Коммуникации ACM . 33 (10): 63–74. DOI : 10.1145 / 84537.84549 . ISSN  0001-0782 . S2CID  5311305 .
  3. ^ Кешав, S. REAL 5.0 Обзор
  4. ^ Стром, Роберт Э .; Бэкон, Дэвид Ф .; Голдберг, Артур П .; Лоури, Энди; Yellin, Daniel M .; Йемини, Шаула (1991). Гермес - язык распределенных вычислений . Энглвуд Клиффс, Нью-Джерси, США: Прентис-Холл. ISBN 978-0-13-389537-7. CS1 maint: обескураженный параметр ( ссылка )
  5. ^ Гарвардская группа EconCS
  6. ^ ACM Fellows - Дэвид Ф. Бэкон
  7. ^ Бэкон, Дэвид Ф .; Ченг, Перри; Раджан, VT (2003). «Сборщик мусора в реальном времени с низкими накладными расходами и стабильным использованием». Материалы 30-го симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования - POPL '03 . С. 285–298. CiteSeerX 10.1.1.13.6486 . DOI : 10.1145 / 604131.604155 . ISBN  978-1581136289. S2CID  52819687 .
  8. ^ IBM WebSphere реального времени
  9. ^ IBM и Raytheon поставляют технологическое решение для военно-морских эсминцев следующего поколения DDG 1000
  10. ^ Самая влиятельная бумажная премия POPL
  11. ^ Бэкон, Дэвид Ф .; Раджан, VT (2001). «Параллельный сбор цикла в системах с подсчетом ссылок». ECOOP 2001 - Объектно-ориентированное программирование . Конспект лекций по информатике. 2072 . С. 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 .
  12. ^ Руководство по PHP - Циклы сбора
  13. ^ Бэкон, Дэвид Ф .; Ченг, Перри; Шукла, Сунил (2013). «И тогда не было ни одного: сборщик мусора в реальном времени без остановок для реконфигурируемого оборудования». Коммуникации ACM . 56 (12): 101–109. DOI : 10.1145 / 2534706.2534726 . ISSN 0001-0782 . S2CID 52901561 .  
  14. ^ Мосс, Элиот (2013). «Самая чистая вывозка мусора». Коммуникации ACM . 56 (12): 100. DOI : 10,1145 / 2534706,2534725 . ISSN 0001-0782 . S2CID 9688334 .  
  15. ^ Основные исследования ACM SIGPLAN
  16. ^ Бэкон, Дэвид Ф. (1997). Быстрая и эффективная оптимизация статически типизированных объектно-ориентированных языков (PDF) (кандидатская диссертация). Калифорнийский университет в Беркли.
  17. ^ Бэкон, Дэвид Ф .; Суини, Питер Ф. (1996). «Быстрый статический анализ вызовов виртуальных функций C ++». Уведомления ACM SIGPLAN . 31 (10): 324–341. CiteSeerX 10.1.1.69.2267 . DOI : 10.1145 / 236338.236371 . ISSN 0362-1340 .  
  18. ^ Фреймворк Soot для анализа программ Java
  19. ^ Документация Go - пакет rta
  20. ^ Бэкон, Дэвид Ф .; Конуру, Рави; Мурти, Чет; Серрано, Маурисио (1998). «Тонкие замки». Уведомления ACM SIGPLAN . 33 (5): 258–268. DOI : 10.1145 / 277652.277734 . ISSN 0362-1340 . S2CID 16929488 .  
  21. ^ 20 лет PLDI (1979–1999): Выбор, Кэтрин С. МакКинли, редактор

Внешние ссылки [ править ]

  • Профиль автора в Google Scholar
  • Список публикаций по DBLP
  • Список патентов