| I-structures: data structures for parallel computing | 1989/10/01 | English | 89 |
| A methodology for implementing highly concurrent data objects | 1993/11/01 | English | 88 |
| Finite Differencing of Computable Expressions | 1982/07/01 | English | 87 |
| Distributed Termination | 1980/01/01 | English | 84 |
| An
O
(
n
log
n
) Unidirectional Algorithm for the Circular Extrema Problem | 1982/10/01 | English | 84 |
| Linear scan register allocation | 1999/09/01 | English | 83 |
| Distributed cooperation with action systems | 1988/10/01 | English | 82 |
| A generalization of Dijkstra's calculus | 1989/10/01 | English | 82 |
| Supporting dynamic data structures on distributed-memory machines | 1995/03/01 | English | 81 |
| CCured: type-safe retrofitting of legacy software | 2005/05/01 | English | 80 |
| Solving shape-analysis problems in languages with destructive updating | 1998/01/01 | English | 80 |
| Data Abstraction, Implementation, Specification, and Testing | 1981/07/01 | English | 78 |
| Dynamic typing in a statically typed language | 1991/04/01 | English | 77 |
| Linearity and the pi-calculus | 1999/09/01 | English | 77 |
| The specification statement | 1988/07/01 | English | 76 |
| Analysis of recursive state machines | 2005/07/01 | English | 76 |
| Code generation using tree matching and dynamic programming | 1989/10/01 | English | 73 |
| Context-sensitive synchronization-sensitive analysis is undecidable | 2000/03/01 | English | 72 |
| Optimal code motion | 1994/07/01 | English | 71 |
| Traits | 2006/03/01 | English | 71 |
| Types for safe locking | 2006/03/01 | English | 69 |
| Compiler techniques for code compaction | 2000/03/01 | English | 68 |
| Iterated register coalescing | 1996/05/01 | English | 68 |
| Compiling language definitions | 2002/07/01 | English | 66 |
| The undecidability of aliasing | 1994/09/01 | English | 65 |
| Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. | 1984/04/01 | English | 65 |
| A theory of contracts for Web services | 2009/06/01 | English | 65 |
| Uniform self-stabilizing rings | 1989/04/01 | English | 64 |
| A framework for call graph construction algorithms | 2001/11/01 | English | 62 |
| An overview of the SR language and implementation | 1988/01/01 | English | 62 |