James B. Saxe

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

Computing, Computer Science, Formal Methods +16

Retiming synchronous circuitry

Charles E. Leiserson, James B. Saxe · Algorithmica · 1991 · 999 citations

Engineering, Computer Engineering, Computer Science +16

Parity, circuits, and the polynomial-time hierarchy

Merrick L. Furst, James B. Saxe, Michael Sipser · Theory of Computing Systems · 1984 · 939 citations

Computing, Computer Engineering, Computer Science +11

High-speed switch scheduling for local-area networks

Thomas E. Anderson, Susan Owicki, James B. Saxe et al. · ACM Transactions on Computer Systems · 1993 · 896 citations · Full text

Computing, Computer Engineering, Computer Science +16

Simplify: a theorem prover for program checking

David Detlefs, Greg Nelson, James B. Saxe · Journal of the ACM · 2005 · 781 citations

Computing, Computer Science, Algorithms +13