James B. Saxe

James Benjamin Saxe to amerykański informatyk, który przez wiele lat pracował w DEC Systems Research Center i jego następcach Compaq Systems Research Center oraz Systems Research Center of HP Labs .

Saxe jest znany ze swoich wysoko cytowanych publikacji na temat zautomatyzowanego dowodzenia twierdzeń , złożoności obwodów , zmiany czasu w projektowaniu obwodów synchronicznych , sieci komputerowych i statycznej analizy programów . Jego praca nad analizą programów z PLDI 2002 zdobyła nagrodę Most Influential PLDI Paper Award za rok 2012. Ponadto jest jednym z autorów głównego twierdzenia dotyczącego nawrotów typu „dziel i zwyciężaj” .

Będąc uczniem szkoły średniej, Saxe wygrał Olimpiadę Matematyczną w Stanach Zjednoczonych . W 1974 roku, jako student Union College , Saxe wziął udział w Konkursie Matematycznym im. Williama Lowella Putnama ; jego miejsce w pierwszej piątce przyniosło mu stypendium Putnama. Ukończył Union College w 1976 roku i uzyskał stopień doktora. w 1985 roku na Uniwersytecie Carnegie Mellon pod kierunkiem Jona Bentleya .

Wybrane publikacje

BHS.

  Bentley, Jon Louis ; Haken, Dorota ; Saxe, James B. (wrzesień 1980), „Ogólna metoda rozwiązywania nawrotów typu dziel i zwyciężaj”, ACM SIGACT News , 12 (3): 36–44, doi : 10.1145 / 1008861.1008865 , S2CID 40642274

FSS.

   Furst, Merrick; Saxe, James B.; Sipser, Michael (1984), „Parity, obwody i hierarchia czasu wielomianowego”, Mathematical Systems Theory , 17 (1): 13–27, doi : 10,1007 / BF01744431 , MR 0738749 , S2CID 14677270

LS.

   Leiserson, Charles E .; Saxe, James B. (1991), „Zmiana ustawień synchronicznych” , Algorithmica , 6 (1): 5–35, doi : 10.1007 / BF01759032 , MR 1079368 , S2CID 18674287

AOS.

  Anderson, Thomas E .; Owicki, Susan S .; Saxe, James B.; Thacker, Charles P. (listopad 1993), „Planowanie szybkich przełączników dla sieci lokalnych” , ACM Transactions on Computer Systems , 11 (4): 319–352, doi : 10.1145/161541.161736 , S2CID 53244607

FLL.

Flanagan, Cormac; Leino, K. Rustan M.; Lillibridge, Mark; Nelson, Greg ; Saxe, James B.; Stata, Raymie (maj 2002), „Rozszerzone sprawdzanie statyczne dla języka Java”, Proceedings of PLDI 2002, SIGPLAN Notices , 37 (5): 234–245, doi : 10.1145/543552.512558

DNS.

   Detlefs, Dawid; Nelson, Greg ; Saxe, James B. (2005), „Uprość: dowód twierdzenia do sprawdzania programów”, Journal of the ACM , 52 (3): 365–473, doi : 10.1145/1066100.1066102 , MR 2146512 , S2CID 9613854