Джеймс Б. Сакс

Джеймс Бенджамин Сакс - американский ученый-компьютерщик, много лет проработавший в Центре системных исследований DEC ^[1] и его преемниках, Центре системных исследований Compaq и Центре системных исследований HP Labs .

Сакс известен своими высоко цитируемые публикации на автоматическом доказательстве , ^[DNS] схема сложность , ^[FSS] повторная синхронизация в синхронной схеме проектировании, ^[LS] компьютерные сети , ^[AOS] и статический анализ программ . ^[FLL] Его работа по анализу программ из PLDI 2002 выиграла Премию «Самая влиятельная статья PLDI» за 2012 год. ^[2] Кроме того, он является одним из авторов основной теоремы для повторений «разделяй и властвуй» . ^[BHS]

Учась в старшей школе, Сакс выиграла математическую олимпиаду Соединенных Штатов Америки . ^[3] В 1974 году, будучи студентом Юнион-колледжа , Сакс принял участие в математическом конкурсе Уильяма Лоуэлла Патнэма ; его место в пятерке лучших принесло ему стипендию Патнэма. ^[4] Он окончил Union College в 1976 г. ^[3] и получил степень доктора философии. в 1985 году из Университета Карнеги-Меллона под руководством Джона Бентли . ^[5]

Избранные публикации [ править ]

BHS.

Бентли, Джон Луи ; Хакен, Доротея ; Сакс, Джеймс Б. (сентябрь 1980), "Общий метод решения разделяй и властвуй рецидивы", ACM SIGACT News , 12 (3): 36-44, DOI : 10,1145 / 1008861,1008865 , S2CID 40642274

ФСС.

Ферст, Меррик; Saxe, Джеймс Б.; Sipser, Майкл (1984), "Parity, схемы, и полином-иерархия по времени", Математическая теория систем , 17 (1): 13-27, DOI : 10.1007 / BF01744431 , МР 0738749 , S2CID 14677270

LS.

Лейзерсон, Чарльз Э .; Сакс, Джеймс Б. (1991), "синхронную схему восстановления синхронизации", Algorithmica , 6 (1): 5-35, DOI : 10.1007 / BF01759032 , МР 1079368 , S2CID 18674287

AOS.

Андерсон, Томас Э .; Овики, Сьюзен С .; Saxe, Джеймс Б.; Такер, Чарльз П. (ноябрь 1993), "Скоростное планирование коммутатора для локальных сетей" , ACM Сделки на компьютерных системах , 11 (4): 319-352, DOI : 10,1145 / 161541,161736 , S2CID 53244607

FLL.

Фланаган, Кормак; Лейно, К. Рустан М .; Лиллибридж, Марк; Нельсон, Грег ; Saxe, Джеймс Б.; Стата, Рейми (май 2002 г.), «Расширенная статическая проверка для Java», Proceedings of PLDI 2002, SIGPLAN Notices , 37 (5): 234–245, doi : 10.1145 / 543552.512558

DNS.

Детлефс, Дэвид; Нельсон, Грег ; Сакс, Джеймс Б. (2005), "Simplify: теорема доказывающая для проверки программы", Журнал ACM , 52 (3): 365-473, DOI : 10,1145 / 1066100,1066102 , MR 2146512 , S2CID 9613854

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

^ Кто есть кто в SRC (PDF) , Центр системных исследований DEC , 1993, стр. 14
^ Самая влиятельная бумажная премия PLDI, получено 17 июня 2017 г.
^ Б История кафедры математики , Union College , извлекаться 2017-06-17
^ Победители индивидуальных и командных соревнований Патнэма , Математическая ассоциация Америки , получено 17 июня 2017 г.
↑ Джеймс Б. Сакс в проекте « Математическая генеалогия»

[wwsrc-1] Кто есть кто в SRC (PDF) , Центр системных исследований DEC , 1993, стр. 14

[mi-2] Самая влиятельная бумажная премия PLDI, получено 17 июня 2017 г.

[union-3] Б История кафедры математики , Union College , извлекаться 2017-06-17

[putnam-4] Победители индивидуальных и командных соревнований Патнэма , Математическая ассоциация Америки , получено 17 июня 2017 г.

[mgp-5] Джеймс Б. Сакс в проекте « Математическая генеалогия»

[1]