| Protocol specifications and component adaptors | 1997/03/03 | English | 128 |
| The concurrency workbench | 1993/01/01 | English | 127 |
| Integrating noninterfering versions of programs | 1989/07/01 | English | 126 |
| A Deductive Approach to Program Synthesis | 1980/01/01 | English | 124 |
| Improving data locality with loop transformations | 1996/07/01 | English | 123 |
| Efficient and correct execution of parallel programs that share memory | 1988/04/01 | English | 123 |
| The drinking philosophers problem | 1984/10/01 | English | 121 |
| Model checking and modular verification | 1994/05/01 | English | 117 |
| A Proof System for Communicating Sequential Processes | 1980/07/01 | English | 116 |
| Synthesis of Communicating Processes from Temporal Logic Specifications | 1984/01/01 | English | 115 |
| The CLP( ℛ ) language and system | 1992/05/01 | English | 114 |
| The priority-based coloring approach to register allocation | 1990/10/01 | English | 113 |
| Combinators for bidirectional tree transformations | 2007/05/01 | English | 112 |
| Abstract types have existential type | 1988/07/01 | English | 110 |
| Subtyping recursive types | 1993/09/01 | English | 109 |
| An indexed model of recursive types for foundational proof-carrying code | 2001/09/01 | English | 107 |
| Herding Cats | 2014/07/01 | English | 103 |
| PARLOG: parallel programming in logic | 1986/01/02 | English | 103 |
| The concept of a supercompiler | 1986/06/01 | English | 102 |
| Composing specifications | 1993/01/01 | English | 101 |
| Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors | 1983/04/01 | English | 101 |
| A calculus for access control in distributed systems | 1993/09/01 | English | 99 |
| Abstract interpretation of reactive systems | 1997/03/03 | English | 98 |
| Probabilistic predicate transformers | 1996/05/01 | English | 96 |
| Incremental Context-Dependent Analysis for Language-Based Editors | 1983/07/01 | English | 95 |
| Optimally profiling and tracing programs | 1994/07/01 | English | 93 |
| Improvements to graph coloring register allocation | 1994/05/01 | English | 92 |
| Postpass Code Optimization of Pipeline Constraints | 1983/07/01 | English | 91 |
| Local type inference | 2000/01/01 | English | 91 |
| Conjoining specifications | 1995/05/01 | English | 90 |