James B. Saxe

According to our database, James B. Saxe authored at least 25 papers between 1979 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

PLDI 2002: Extended static checking for Java.

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

ACM SIGPLAN Notices, 2013

2005

Generating error traces from verification-condition counterexamples.

K. Rustan M. Leino, Todd D. Millstein, James B. Saxe

Sci. Comput. Program., 2005

Simplify: a theorem prover for program checking.

David Detlefs, Greg Nelson, James B. Saxe

J. ACM, 2005

2003

Theorem Proving Using Lazy Proof Explication.

Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Extended Static Checking for Java.

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

Avoiding exponential explosion: generating compact verification conditions.

Cormac Flanagan, James B. Saxe

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

2000

Induction in Compositional Model Checking.

Kenneth L. McMillan, Shaz Qadeer, James B. Saxe

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Checking Java Programs via Guarded Commands.

K. Rustan M. Leino, James B. Saxe, Raymie Stata

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1993

High Speed Switch Scheduling for Local Area Networks.

Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker

ACM Trans. Comput. Syst., 1993

Using Transformations and Verification in Circuit Design.

James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland

Formal Methods Syst. Des., 1993

Finding Extrema with Unary Predicates.

Feng Gao, Leonidas J. Guibas, David G. Kirkpatrick, William T. Laaser, James B. Saxe

Algorithmica, 1993

1992

Using Transformations and Verification in Ciruit Design.

James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning

Proceedings of the Designing Correct Circuits, 1992

1991

Retiming Synchronous Circuitry.

Charles E. Leiserson, James B. Saxe

Algorithmica, 1991

1989

A Linear-Time Algorithm for Computing the Voronoi Diagram of a Convex Polygon.

Alok Aggarwal, Leonidas J. Guibas, James B. Saxe, Peter W. Shor

Discret. Comput. Geom., 1989

1988

A Mixed-Integer Linear Programming Problem which is Efficiently Solvable.

Charles E. Leiserson, James B. Saxe

J. Algorithms, 1988

1984

Parity, Circuits, and the Polynomial-Time Hierarchy.

Merrick L. Furst, James B. Saxe, Michael Sipser

Math. Syst. Theory, 1984

1983

Spelling Correction in User Interfaces.

Ivor Durham, David Alex Lamb, James B. Saxe

Commun. ACM, 1983

1981

Optimizing Synchronous Systems

Charles E. Leiserson, James B. Saxe

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1980

Generating Sorted Lists of Random Numbers.

Jon Louis Bentley, James B. Saxe

ACM Trans. Math. Softw., 1980

A general method for solving divide-and-conquer recurrences.

Jon Louis Bentley, Dorothea Haken, James B. Saxe

SIGACT News, 1980

Dynamic-Programming Algorithms for Recognizing Small-Bandwidth Graphs in Polynomial Time.

James B. Saxe

SIAM J. Algebraic Discret. Methods, 1980

Decomposable Searching Problems I: Static-to-Dynamic Transformation.

Jon Louis Bentley, James B. Saxe

J. Algorithms, 1980

1979

Algorithms on vector sets.

Jon Louis Bentley, James B. Saxe

SIGACT News, 1979

On the number of range queries in k-space.

James B. Saxe

Discret. Appl. Math., 1979

Transforming Static Data Structures to Dynamic Structures (Abridged Version)

James B. Saxe, Jon Louis Bentley

Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979