Джеймс Б. Сакс
Джеймс Бенджамин Сакс — американский учёный-компьютерщик, много лет проработавший в исследовательском центре DEC Systems [1] и его преемниках — исследовательском центре Compaq Systems Research Center и исследовательском центре Systems Research Center of HP Labs .
Сакс известен своими часто цитируемыми публикациями по автоматизированному доказательству теорем , [DNS] сложности схем , [FSS] восстановлению синхронизации в синхронном проектировании схем, [LS] компьютерным сетям , [AOS] и статическому анализу программ . [FLL] Его работа по анализу программ из PLDI 2002 выиграла премию Most Influential PLDI Paper Award за 2012 год. [2] Кроме того, он является одним из авторов основной теоремы для рекуррентных уравнений «разделяй и властвуй» . [BHS]
Будучи учеником средней школы, Сакс выиграл математическую олимпиаду Соединенных Штатов Америки . [3] В 1974 году, будучи студентом Union College , Сакс принял участие в математическом конкурсе Уильяма Лоуэлла Патнэма ; его место в пятерке лучших принесло ему стипендию Патнэма. [4] Он окончил Union College в 1976 году, [3] и получил докторскую степень в 1985 году в Университете Карнеги-Меллона под руководством Джона Бентли . [5]
Избранные публикации
| БХС. | Бентли, Джон Луис ; Хакен, Доротея ; Сакс, Джеймс Б. (сентябрь 1980 г.), «Общий метод решения повторяющихся задач «разделяй и властвуй»», ACM SIGACT News , 12 (3): 36–44, doi :10.1145/1008861.1008865, S2CID 40642274 |
| ФСС. | Фёрст, Меррик; Сакс, Джеймс Б.; Сипсер, Майкл (1984), «Четность, схемы и иерархия полиномиального времени», Математическая теория систем , 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 Transactions on Computer Systems , 11 (4): 319–352, doi : 10.1145/161541.161736 , S2CID 53244607 |
| ФЛЛ. | Фланаган, Кормак; Лейно, К. Растан М.; Лиллибридж, Марк; Нельсон, Грег ; Сакс, Джеймс Б.; Стата, Рэйми (май 2002 г.), «Расширенная статическая проверка для Java», Труды PLDI 2002 г., уведомления SIGPLAN , 37 (5): 234–245, doi :10.1145/543552.512558 |
| DNS-сервер. | Детлефс, Дэвид; Нельсон, Грег ; Сакс, Джеймс Б. (2005), «Упрощение: средство доказательства теорем для проверки программ», Журнал ACM , 52 (3): 365–473, doi :10.1145/1066100.1066102, MR 2146512, S2CID 9613854 |
Ссылки
- ^ Кто есть кто в SRC (PDF) , DEC Systems Research Center , 1993, стр. 14
- ^ Премия PLDI за самую влиятельную работу, получено 17 июня 2017 г.
- ^ ab История математического факультета Архивировано 18 декабря 2016 г. в Wayback Machine , Union College , получено 17 июня 2017 г.
- ^ Победители индивидуальных и командных соревнований Путнэма. Архивировано 12 марта 2014 г. на Wayback Machine , Математическая ассоциация Америки , получено 17 июня 2017 г.
- ^ Джеймс Б. Сакс в проекте «Генеалогия математики»
