Тим Тейтельбаум
Тим Тейтельбаум | |
|---|---|
| Рожденный | Рэй Тейтельбаум 12 апреля 1943 г. |
| Альма-матер | Массачусетский технологический институт (SB) Университет Карнеги-Меллон (доктор философии) |
| Научная карьера | |
| Учреждения | Корнелльский университет (1973-настоящее время) ГраммаТех (1988-2019) Национальный институт исследований в области компьютерных наук и автоматизации (INRIA) в Рокенкуре, Франция (1982–83) |
| Диссертация | Анализ синтаксических ошибок в компьютерных программах на минимальном расстоянии (1975) |
| Докторантура | Нико Хаберманн |
| Докторанты | Томас В. Репс [1] [2] Сьюзан Б. Хорвиц [3] Билл Пью [4] Яньхун Энни Лю [5] |
| Веб-сайт | www |
(Рэй) Тим Тейтельбаум (родился 12 апреля 1943, США) — американский учёный-компьютерщик, известный своими ранними работами над интегрированными средами разработки (IDE) , синтаксически-управляемым редактированием и инкрементными вычислениями . Он является почетным профессором Корнелльского университета . Будучи преподавателем и преподавателем факультета компьютерных наук Корнелльского университета с 1973 года, он получил признание за широкомасштабное преподавание вводного программирования, а также за наставничество весьма успешных аспирантов. Как бизнесмен он известен тем, что стал соучредителем GramaTech , Inc. и был ее единственным генеральным директором с 1988 по 2019 год.
Образование
[ редактировать ]Тейтельбаум получил образование в Массачусетском технологическом институте и Университете Карнеги-Меллон . [1]
Карьера и исследования
[ редактировать ]В 1978 году Тейтельбаум создал Cornell Program Synthesizer, одну из плодотворных систем, которая продемонстрировала возможности тесной интеграции набора инструментов разработки программ , глубоко знающих язык программирования и его семантику , в одну унифицированную структуру. Синтезатор программ Корнелла использовал PL/CS , вариант диалекта языка PL/C, разработанный в Корнелле. [6] Более 45 лекций и демонстраций этой ранней IDE Тейтельбаума в 1979–82 годах, а также кредо его статьи 1981 года. [6] в соавторстве с аспирантом Томасом Репсом утверждал:
Программы не являются текстовыми; они представляют собой иерархическую композицию вычислительных структур и должны редактироваться, выполняться и отлаживаться в среде, которая последовательно признает и подкрепляет эту точку зрения.
За этим в 1984 году последовал генератор синтезаторов, также созданный в сотрудничестве с Reps, который позволил генерировать синтезатор программ для различных языков программирования на основе предоставления грамматик атрибутов . [7]
Вдохновленные важностью немедленной обратной связи в интерактивных системах, таких как IDE, исследования Тейтельбаума в 1980-х и 1990-х годах были сосредоточены на проблеме дополнительных вычислений:
Учитывая программу P, написанную на языке L, и результат выполнения P на входе x, как можно эффективно определить результат запуска P на входе x', где разница между x и x' представляет собой небольшое приращение x'-x .
В ходе работы со своими аспирантами Тейтельбаум исследовал эту проблему для ряда языков L, включая грамматики атрибутов , SQL первого порядка , функциональные языки и лямбда-исчисление . Помимо методов инкрементной оценки , работа также включала методы преобразования программы , т. е. автоматический вывод из P инкрементной программы P', где выполнение P' на основе предыдущего результата P(x), приращения x'-x и вспомогательной информации. сохраненный от предыдущих исполнений, эффективно выполняет те же вычисления, что и выполнение P на входе x'.
Работа Тейтельбаума в GrammaTech была направлена на разработку и внедрение инструментов, которые помогают сделать программное обеспечение более безопасным и надежным. [8] Методы включают статический анализ программы и динамический анализ программы как исходного, так и машинного кода .
Награды и почести
[ редактировать ]Тейтельбаум был одним из лауреатов премии Ассоциации вычислительной техники SIGSOFT Retrospective Impact Paper (2010) за свою статью 1984 года. [7] в соавторстве с Томасом Репсом о генераторе синтезатора. [9] [10]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б Тим Тейтельбаум в проекте «Математическая генеалогия»
- ^ «Домашняя страница профессора Томаса В. Репса» .
- ^ «Сьюзан Б. Хорвиц» .
- ^ «Билл Пью» .
- ^ «Яньхун Энни Лю» .
- ^ Перейти обратно: а б Тейтельбаум, Т.; Т. Репс (сентябрь 1981 г.). «Программный синтезатор Корнелла: среда синтаксически-ориентированного программирования» . Коммуникации АКМ . 24 (9): 563–573. дои : 10.1145/358746.358755 . S2CID 14317073 .
- ^ Перейти обратно: а б Репс, Томас; Тейтельбаум, Тим (1984). «Синтезатор-генератор» . Материалы первого симпозиума по разработке программного обеспечения ACM SIGSOFT/SIGPLAN «Практические среды разработки программного обеспечения» - SDE 1 . стр. 42–48. дои : 10.1145/800020.808247 . ISBN 0897911318 . S2CID 18641509 .
- ^ «ГраммаТех» .
- ^ Репс, Томас В.; Тейтельбаум, Тим (1989). Синтезатор-генератор . дои : 10.1007/978-1-4613-9623-9 . ISBN 978-1-4613-9625-3 . S2CID 28068694 .
- ^ Репс, Томас В.; Тейтельбаум, Тим (1989). Справочное руководство по синтезатору-генератору . дои : 10.1007/978-1-4613-9633-8 . ISBN 978-0-387-96910-7 . S2CID 19706490 .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1943 года рождения
- Живые люди
- Выпускники Университета Карнеги-Меллон
- Выпускники Массачусетского технологического института
- Американские ученые-компьютерщики
- Исследователи языков программирования
- Писатели по информатике
- Американские авторы учебников
- Американские писатели-мужчины научной литературы
- Преподаватели Корнеллского университета