James B. Saxe

Publication Activity (10 Years)

Years Active: 1979-2013
Publications (10 Years): 0

Top Topics

Database Applications

Consistency Checking

Top Venues

ACM SIGPLAN Notices

Publications

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
PLDI 2002: Extended static checking for Java. ACM SIGPLAN Notices 48 (4S) (2013)
K. Rustan M. Leino, Todd D. Millstein, James B. Saxe
Generating error traces from verification-condition counterexamples. Sci. Comput. Program. 55 (1-3) (2005)
David Detlefs, Greg Nelson, James B. Saxe
Simplify: a theorem prover for program checking. J. ACM 52 (3) (2005)
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
Theorem Proving Using Lazy Proof Explication. CAV (2003)
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
Extended Static Checking for Java. PLDI (2002)
Cormac Flanagan, James B. Saxe
Avoiding exponential explosion: generating compact verification conditions. POPL (2001)
Kenneth L. McMillan, Shaz Qadeer, James B. Saxe
Induction in Compositional Model Checking. CAV (2000)
K. Rustan M. Leino, James B. Saxe, Raymie Stata
Checking Java Programs via Guarded Commands. ECOOP Workshops (1999)
Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
High Speed Switch Scheduling for Local Area Networks. ACM Trans. Comput. Syst. 11 (4) (1993)
Feng Gao, Leonidas J. Guibas, David G. Kirkpatrick, William T. Laaser, James B. Saxe
Finding Extrema with Unary Predicates. Algorithmica 9 (6) (1993)
James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland
Using Transformations and Verification in Circuit Design. Formal Methods Syst. Des. 3 (3) (1993)
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland
Using Transformations and Verification in Circuit Design. Larch (1992)
James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning
Using Transformations and Verification in Ciruit Design. Designing Correct Circuits (1992)
Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker
High Speed Switch Scheduling for Local Area Networks. ASPLOS (1992)
Charles E. Leiserson, James B. Saxe
Retiming Synchronous Circuitry. Algorithmica 6 (1) (1991)
Alok Aggarwal, Leonidas J. Guibas, James B. Saxe, Peter W. Shor
A Linear-Time Algorithm for Computing the Voronoi Diagram of a Convex Polygon. Discret. Comput. Geom. 4 (1989)
Charles E. Leiserson, James B. Saxe
A Mixed-Integer Linear Programming Problem which is Efficiently Solvable. J. Algorithms 9 (1) (1988)
Alok Aggarwal, Leonidas J. Guibas, James B. Saxe, Peter W. Shor
A Linear Time Algorithm for Computing the Voronoi Diagram of a Convex Polygon STOC (1987)
Merrick L. Furst, James B. Saxe, Michael Sipser
Parity, Circuits, and the Polynomial-Time Hierarchy. Math. Syst. Theory 17 (1) (1984)
Ivor Durham, David Alex Lamb, James B. Saxe
Spelling Correction in User Interfaces. Commun. ACM 26 (10) (1983)
Charles E. Leiserson, James B. Saxe
Optimizing Synchronous Systems FOCS (1981)
Merrick L. Furst, James B. Saxe, Michael Sipser
Parity, Circuits, and the Polynomial-Time Hierarchy FOCS (1981)
Jon Louis Bentley, Dorothea Haken, James B. Saxe
A general method for solving divide-and-conquer recurrences. SIGACT News 12 (3) (1980)
Jon Louis Bentley, James B. Saxe
Decomposable Searching Problems I: Static-to-Dynamic Transformation. J. Algorithms 1 (4) (1980)
Jon Louis Bentley, James B. Saxe
Generating Sorted Lists of Random Numbers. ACM Trans. Math. Softw. 6 (3) (1980)
James B. Saxe
Dynamic-Programming Algorithms for Recognizing Small-Bandwidth Graphs in Polynomial Time. SIAM J. Algebraic Discret. Methods 1 (4) (1980)
James B. Saxe, Jon Louis Bentley
Transforming Static Data Structures to Dynamic Structures (Abridged Version) FOCS (1979)
James B. Saxe
On the number of range queries in k-space. Discret. Appl. Math. 1 (3) (1979)
Jon Louis Bentley, James B. Saxe
Algorithms on vector sets. SIGACT News 11 (2) (1979)