James Benjamin Saxe es un informático estadounidense que ha trabajado durante muchos años en el DEC Systems Research Center [1] y sus sucesores, el Compaq Systems Research Center y el Systems Research Center de HP Labs .
Saxe es conocido por sus publicaciones muy citadas sobre la demostración automatizada de teoremas , la complejidad del circuito [DNS] , la reprogramación [FSS] en el diseño de circuitos síncronos , las redes informáticas [LS] , [AOS] y el análisis de programas estáticos . [FLL] Su trabajo sobre análisis de programas de PLDI 2002 ganó el premio PLDI Paper Award más influyente en 2012. [2] Además, es uno de los autores del teorema maestro para las recurrencias de divide y vencerás . [BHS]
Mientras era estudiante de secundaria, Saxe ganó la Olimpiada Matemática de los Estados Unidos de América . [3] En 1974, como estudiante en Union College , Saxe participó en el Concurso de Matemáticas William Lowell Putnam ; su lugar entre los cinco mejores puntajes le valió una beca Putnam. [4] Se graduó de Union College en 1976, [3] y obtuvo su Ph.D. en 1985 de la Universidad Carnegie Mellon , bajo la supervisión de Jon Bentley . [5]
Publicaciones Seleccionadas
BHS. | Bentley, Jon Louis ; Haken, Dorothea ; Saxe, James B. (septiembre de 1980), "Un método general para resolver recurrencias de divide y vencerás", ACM SIGACT News , 12 (3): 36–44, doi : 10.1145 / 1008861.1008865 , S2CID 40642274 |
FSS. | Furst, Merrick; Saxe, James B .; Sipser, Michael (1984), "Paridad, circuitos y jerarquía de tiempo polinómico", Teoría de sistemas matemáticos , 17 (1): 13-27, doi : 10.1007 / BF01744431 , MR 0738749 , S2CID 14677270 |
LS. | Leiserson, Charles E .; Saxe, James B. (1991), "Reprogramación de circuitos síncronos", 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. (noviembre de 1993), "Programación de conmutadores de alta velocidad para redes de área local" , 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 (mayo de 2002), "Comprobación estática ampliada para Java", Actas de PLDI 2002, Avisos SIGPLAN , 37 (5): 234–245, doi : 10.1145 / 543552.512558 |
DNS. | Detlefs, David; Nelson, Greg ; Saxe, James B. (2005), "Simplificar: un demostrador de teoremas para la verificación de programas", Journal of the ACM , 52 (3): 365–473, doi : 10.1145 / 1066100.1066102 , MR 2146512 , S2CID 9613854 |
Referencias
- ^ Quién es quién en SRC (PDF) , DEC Systems Research Center , 1993, p. 14
- ^ Premio de papel PLDI más influyente , consultado el 17 de junio de 2017
- ↑ a b A History of the Mathematics Department , Union College , consultado el 17 de junio de 2017
- ↑ Putnam Competition Individual and Team Winners , Mathematical Association of America , consultado el 17 de junio de 2017.
- ^ James B. Saxe en el Proyecto de genealogía matemática