James B. Saxe

James Benjamin Saxe är en amerikansk datavetare som har arbetat i många år vid DEC Systems Research Center och dess efterföljare, Compaq Systems Research Center och HP Labs Systems Research Center .

Saxe är känd för sina högt citerade publikationer om automatiserad teorembevisande , kretskomplexitet , retiming i synkron kretsdesign , datornätverk och statisk programanalys . Hans arbete med programanalys från PLDI 2002 vann det mest inflytelserika PLDI-papperspriset för 2012. Dessutom är han en av författarna till mastersatsen för dela-och-härska återkommande .

Medan han var gymnasieelev vann Saxe den amerikanska matematiska olympiaden . 1974, som student vid Union College , deltog Saxe i William Lowell Putnam Mathematical Competition ; hans plats bland de fem bästa poängen gav honom ett Putnam Fellowship. Han tog examen från Union College 1976 och tog sin doktorsexamen. 1985 från Carnegie Mellon University , under överinseende av Jon Bentley .

Utvalda publikationer

BHS.

  Bentley, Jon Louis ; Haken, Dorothea ; Saxe, James B. (september 1980), "A general method for solving divide-and-conquer recurrences", ACM SIGACT News , 12 (3): 36–44, doi : 10.1145/1008861.1008865 , S2CID 746422

FSS.

   Furst, Merrick; Saxe, James B.; Sipser, Michael (1984), "Parity, circuits, and the polynomial-time hierarchy", Mathematical Systems Theory , 17 (1): 13–27, doi : 10.1007/BF01744431 , MR 0738749 , S27CID 2067

LS.

   Leiserson, Charles E. ; Saxe, James B. (1991), "Retiming synchronous circuitry", 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. (november 1993), "High-speed switch scheduling for local area networks" , ACM Transactions on Computer Systems , 11 (4): 319–352, doi : 10.1145/161541.161736 , S24CID 605

FLL.

Flanagan, Cormac; Leino, K. Rustan M.; Lillibridge, Mark; Nelson, Greg ; Saxe, James B.; Stata, Raymie (maj 2002), "Extended static checking for Java", Proceedings of PLDI 2002, SIGPLAN Notices , 37 (5): 234–245, doi : 10.1145/543552.512558

DNS.

   Detlefs, David; Nelson, Greg ; Saxe, James B. (2005), "Simplify: a theorem prover for program checking", Journal of the ACM , 52 (3): 365–473, doi : 10.1145/1066100.1066102 , MR 2146512 , S138ID 4 , S138ID 4