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

James B. Saxe

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

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

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

Избранные публикации

BHS.Бентли, Джон Луи; Хакен, Доротея; Сакс, Джеймс Б. (сентябрь 1980 г.), «Общий метод решения повторений« разделяй и властвуй »», Новости ACM SIGACT, 12 (3): 36–44, Дои:10.1145/1008861.1008865
ФСС.Ферст, Меррик; Saxe, Джеймс Б.; Сипсер, Майкл (1984), "Четность, схемы и иерархия полиномиального времени", Математическая теория систем, 17 (1): 13–27, Дои:10.1007 / BF01744431, МИСТЕР 0738749
LS.Лейзерсон, Чарльз Э.; Сакс, Джеймс Б. (1991), "Повторная синхронизация схемы", Алгоритмика, 6 (1): 5–35, Дои:10.1007 / BF01759032, МИСТЕР 1079368
AOS.Андерсон, Томас Э.; Овики, Сьюзен С.; Saxe, Джеймс Б.; Такер, Чарльз П. (Ноябрь 1993 г.), «Планирование высокоскоростного переключения для локальных сетей», ACM-транзакции в компьютерных системах, 11 (4): 319–352, Дои:10.1145/161541.161736
FLL.Фланаган, Кормак; Лейно, К. Рустан М .; Лиллибридж, Марк; Нельсон, Грег; Saxe, Джеймс Б.; Стата, Рэйми (Май 2002 г.), «Расширенная статическая проверка для Java», Труды PLDI 2002, Уведомления SIGPLAN, 37 (5): 234–245, Дои:10.1145/543552.512558
DNS.Детлефс, Дэвид; Нельсон, Грег; Сакс, Джеймс Б. (2005), «Упростите: средство доказательства теорем для проверки программ», Журнал ACM, 52 (3): 365–473, Дои:10.1145/1066100.1066102, МИСТЕР 2146512

Рекомендации

  1. ^ Кто есть кто в SRC (PDF), Центр системных исследований DEC, 1993, с. 14
  2. ^ Самая влиятельная бумажная премия PLDI, получено 17.06.2017
  3. ^ а б История математического факультета, Union College, получено 17.06.2017
  4. ^ Победители индивидуальных и командных соревнований Putnam, Математическая ассоциация Америки, дата обращения 17.06.2017
  5. ^ Джеймс Б. Сакс на Проект "Математическая генеалогия"