Джеймс Б. Сакс - James B. Saxe

Джеймс Бенджамин Сакс көптеген жылдар бойы жұмыс істеген американдық компьютертанушы DEC жүйелерін зерттеу орталығы[1] және оның ізбасарлары - Compaq Systems зерттеу орталығы және жүйелерді зерттеу орталығы HP зертханалары.

Сакс жоғары сілтемелері бар жарияланымдарымен танымалавтоматтандырылған теорема,[DNS]тізбектің күрделілігі,[FSS]төлеу жылы синхронды тізбек дизайн,[LS]компьютерлік желілер,[AOS]және статикалық бағдарламалық талдау.[FLL]Бағдарламалық талдау бойынша оның жұмысы PLDI 2002 2012 жылғы ең ықпалды PLDI қағаз сыйлығын жеңіп алды.[2]Сонымен қатар, ол авторлардың бірі Бөлу және бағындыру қайталануларына арналған теореманы меңгеру.[BHS]

Орта мектеп оқушысы болған кезде Саксе жеңіске жетті Америка Құрама Штаттары математикалық олимпиадасы.[3]1974 жылы, студент кезінде Одақ колледжі, Сакс қатысты Уильям Лоуэлл Путнам атындағы математикалық байқау; Үздік бестіктегі орны оған Путнам стипендиатын сыйлады.[4]1976 жылы Одақ колледжін бітірді,[3]және кандидаттық диссертациясын қорғады. 1985 жылы Карнеги Меллон университеті, бақылауымен Джон Бентли.[5]

Таңдалған басылымдар

BHS.Бентли, Джон Луи; Хакен, Доротея; Саксе, Джеймс Б. (қыркүйек 1980 ж.), «Бөлу мен бағыну қайталануын шешудің жалпы әдісі», ACM SIGACT жаңалықтары, 12 (3): 36–44, дои:10.1145/1008861.1008865
FSS.Фурст, Меррик; Сакс, Джеймс Б .; Сипсер, Майкл (1984), «Паритет, тізбектер және полиномдық уақыт иерархиясы», Математикалық жүйелер теориясы, 17 (1): 13–27, дои:10.1007 / BF01744431, МЫРЗА  0738749
LS.Лейзерсон, Чарльз Э.; Саксе, Джеймс Б. (1991), «Синхронды схеманы ретимингтеу», Алгоритмика, 6 (1): 5–35, дои:10.1007 / BF01759032, МЫРЗА  1079368
AOS.Андерсон, Томас Э.; Овички, Сьюзан С.; Сакс, Джеймс Б .; Таккер, Чарльз П. (Қараша 1993), «Жергілікті желілер үшін жоғары жылдамдықты коммутаторларды жоспарлау», Компьютерлік жүйелердегі ACM транзакциялары, 11 (4): 319–352, дои:10.1145/161541.161736
FLL.Фланаган, Кормак; Леино, К.Рустан М .; Лиллибридж, Марк; Нельсон, Грег; Сакс, Джеймс Б .; Стата, Райми (Мамыр 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 қағаз сыйлығы, алынған 2017-06-17
  3. ^ а б Математика бөлімінің тарихы, Одақ колледжі, алынған 2017-06-17
  4. ^ Путнам сайысының жеке және командалық жеңімпаздары, Американың математикалық қауымдастығы, алынған 2017-06-17
  5. ^ Джеймс Б. Сакс кезінде Математика шежіресі жобасы