Джеймс Б. Сакс
Джеймс Бенджамин Сакс — американский ученый-компьютерщик, много лет проработавший в Исследовательском центре систем DEC. [1] и его преемники — Центр системных исследований Compaq и Центр системных исследований HP Labs .
Сакс известен своими высокоцитируемыми публикациями по автоматическое доказательство теорем , [ДНС] сложность схемы , [ФСС] пересинхронизация в синхронных схем , проектировании [ЛС] компьютерные сети , [К] и статический анализ программы . [ФЛЛ] Его работа по анализу программ на PLDI 2002 получила награду «Самая влиятельная статья PLDI» в 2012 году. [2] Кроме того, он является одним из авторов главной теоремы для повторений по принципу «разделяй и властвуй» . [БХС]
Будучи учеником старшей школы, Сакс выиграл математическую олимпиаду в Соединенных Штатах Америки . [3] В 1974 году, будучи студентом Юнион-колледжа , Сакс принял участие в Математическом соревновании Уильяма Лоуэлла Патнэма ; его место в пятерке лучших результатов принесло ему стипендию Патнэма. [4] В 1976 году окончил Юнион-колледж. [3] , и получил докторскую степень. в 1985 году из Университета Карнеги-Меллона под руководством Джона Бентли . [5]
Избранные публикации
[ редактировать ]| БХС. | Бентли, Джон Луис ; Хакен, Доротея ; Сакс, Джеймс Б. (сентябрь 1980 г.), «Общий метод решения повторяющихся задач по принципу «разделяй и властвуй», ACM SIGACT News , 12 (3): 36–44, doi : 10.1145/1008861.1008865 , S2CID 40642274
|
| ФСС. | Ферст, Меррик; Сакс, Джеймс Б.; Сипсер, Майкл (1984), «Четность, схемы и иерархия полиномиального времени», Mathematical Systems Theory , 17 (1): 13–27, doi : 10.1007/BF01744431 , MR 0738749 , S2CID 14677270
|
| ЛС. | Лейзерсон, Чарльз Э .; Сакс, Джеймс Б. (1991), «Схема синхронизации синхронизации», Algorithmica , 6 (1): 5–35, CiteSeerX 10.1.1.368.3222 , doi : 10.1007/BF01759032 , MR 1079368 , S2CID 18674287
|
| ДО. | Андерсон, Томас Э .; Овиски, Сьюзен С .; Сакс, Джеймс Б.; Такер, Чарльз П. (ноябрь 1993 г.), «Планирование высокоскоростного переключения для локальных сетей» , Транзакции ACM в компьютерных системах , 11 (4): 319–352, doi : 10.1145/161541.161736 , S2CID 53244607
|
| ФЛЛ. | Фланаган, Кормак; Лейно, К. Рустан М.; Лиллибридж, Марк; Нельсон, Грег ; Сакс, Джеймс Б.; Стата, Рэйми (май 2002 г.), «Расширенная статическая проверка для Java», Proceedings of PLDI 2002, Уведомления SIGPLAN , 37 (5): 234–245, doi : 10.1145/543552.512558
|
| DNS. | Детлефс, Дэвид; Нельсон, Грег ; Сакс, Джеймс Б. (2005), «Упрощение: средство доказательства теорем для проверки программ», Journal of the ACM , 52 (3): 365–473, doi : 10.1145/1066100.1066102 , MR 2146512 , S2CID 9613854
|
Ссылки
[ редактировать ]- ^ Кто есть кто в SRC (PDF) , Исследовательский центр систем DEC , 1993, стр. 14
- ^ Самая влиятельная награда PLDI Paper , получено 17 июня 2017 г.
- ^ Jump up to: а б История математического факультета. Архивировано 18 декабря 2016 г. в Wayback Machine , Юнион-колледж , получено 17 июня 2017 г.
- ↑ Победители индивидуальных и командных соревнований Патнэма , Математическая ассоциация Америки , получено 17 июня 2017 г.
- ^ Джеймс Б. Сакс в проекте «Математическая генеалогия»
