James B. Saxe - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2013

PLDI 2002: Extended static checking for JavaCormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. SIGPLAN, 48(4S):22-33, 2013. [doi]

2005

Simplify: a theorem prover for program checkingDavid Detlefs, Greg Nelson, James B. Saxe. JACM, 52(3):365-473, 2005. [doi]

Generating error traces from verification-condition counterexamplesK. Rustan M. Leino, Todd D. Millstein, James B. Saxe. SCP, 55(1-3):209-226, 2005. [doi]

2003

Theorem Proving Using Lazy Proof ExplicationCormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe. cav 2003: 355-367 [doi]

2002

Extended Static Checking for JavaCormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata. PLDI 2002: 234-245 [doi]

2001

Avoiding exponential explosion: generating compact verification conditionsCormac Flanagan, James B. Saxe. POPL 2001: 193-205 [doi]

2000

Induction in Compositional Model CheckingKenneth L. McMillan, Shaz Qadeer, James B. Saxe. cav 2000: 312-327

1999

Checking Java Programs via Guarded CommandsK. Rustan M. Leino, James B. Saxe, Raymie Stata. ECOOPW 1999: 110-111

1993

1992

High Speed Switch Scheduling for Local Area NetworksThomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker. asplos 1992: 98-110

Using Transformations and Verification in Circuit DesignJames B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland. larch 1993: 201-226

Using Transformations and Verification in Ciruit DesignJames B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning. ifip10-2 1992: 1-25

1991

Retiming Synchronous CircuitryCharles E. Leiserson, James B. Saxe. algorithmica, 6(1):5-35, 1991.

1989

A Linear-Time Algorithm for Computing the Voronoi Diagram of a Convex PolygonAlok Aggarwal, Leonidas J. Guibas, James B. Saxe, Peter W. Shor. dcg, 4:591-604, 1989.

1988

A Mixed-Integer Linear Programming Problem which is Efficiently SolvableCharles E. Leiserson, James B. Saxe. jal, 9(1):114-128, 1988.

1987

A Linear Time Algorithm for Computing the Voronoi Diagram of a Convex PolygonAlok Aggarwal, Leonidas J. Guibas, James B. Saxe, Peter W. Shor. stoc 1987: 39-45

1984

Parity, Circuits, and the Polynomial-Time HierarchyMerrick L. Furst, James B. Saxe, Michael Sipser. mst, 17(1):13-27, 1984.

1983

Spelling Correction in User InterfacesIvor Durham, David Alex Lamb, James B. Saxe. CACM, 26(10):764-773, 1983.

1981

Parity, Circuits, and the Polynomial-Time HierarchyMerrick L. Furst, James B. Saxe, Michael Sipser. focs 1981: 260-270

Optimizing Synchronous SystemsCharles E. Leiserson, James B. Saxe. focs 1981: 23-36

1980

Decomposable Searching Problems I: Static-to-Dynamic TransformationJon Louis Bentley, James B. Saxe. jal, 1(4):301-358, 1980.

Generating Sorted Lists of Random NumbersJon Louis Bentley, James B. Saxe. TOMS, 6(3):359-364, 1980. [doi]

A general method for solving divide-and-conquer recurrencesJon Louis Bentley, Dorothea Haken, James B. Saxe. sigact, 12(3):36-44, 1980. [doi]

Dynamic-Programming Algorithms for Recognizing Small-Bandwidth Graphs in Polynomial TimeJames B. Saxe. siammax, 1(4):363-369, 1980. [doi]

1979

Algorithms on vector setsJon Louis Bentley, James B. Saxe. sigact, 11(2):36-39, 1979. [doi]

Transforming Static Data Structures to Dynamic Structures (Abridged Version)James B. Saxe, Jon Louis Bentley. focs 1979: 148-168

On the number of range queries in k-spaceJames B. Saxe. DAM, 1(3):217-225, 1979. [doi]

Sign in or sign up to see more results.

runs on WebDSL