James B. Saxe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1979–2003
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | CAV | Theorem Proving Using Lazy Proof Explication. | Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe |
| 2002 | PLDI | Extended Static Checking for Java. | Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata |
| 2001 | POPL | Avoiding exponential explosion: generating compact verification conditions. | Cormac Flanagan, James B. Saxe |
| 2000 | CAV | Induction in Compositional Model Checking. | Kenneth L. McMillan, Shaz Qadeer, James B. Saxe |
| 1992 | ASPLOS | High Speed Switch Scheduling for Local Area Networks. | Thomas E. Anderson, Susan S. Owicki, James B. Saxe, Charles P. Thacker |
| 1987 | STOC | A Linear Time Algorithm for Computing the Voronoi Diagram of a Convex Polygon | Alok Aggarwal, Leonidas J. Guibas, James B. Saxe, Peter W. Shor |
| 1981 | FOCS | Parity, Circuits, and the Polynomial-Time Hierarchy | Merrick L. Furst, James B. Saxe, Michael Sipser |
| 1981 | FOCS | Optimizing Synchronous Systems | Charles E. Leiserson, James B. Saxe |
| 1979 | FOCS | Transforming Static Data Structures to Dynamic Structures (Abridged Version) | James B. Saxe, Jon Louis Bentley |