James B. Saxe

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