| Typed representation of objects by functions | 1989/01/01 | English | 1 |
| Polymorphic typing of variables and references | 1996/05/01 | English | 1 |
| Computer-assisted microanalysis of parallel programs | 1992/01/02 | English | 1 |
| Corrigendum: “A New Approach to Proving the Correctness of Multiprocess Programs” | 1980/01/01 | English | 1 |
| On the performance of balanced hashing functions when the keys are not equiprobable | 1980/01/01 | English | 1 |
| Extending Graham-Glanville techniques for optimal code generation | 2000/11/01 | English | 1 |
| Epochs | 1992/01/02 | English | 1 |
| A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations | 2015/10/16 | English | 1 |
| Robustly Safe Compilation, an Efficient Form of Secure Compilation | 2021/02/09 | English | 1 |
| Newtonian Program Analysis via Tensor Product | 2017/03/21 | English | 1 |
| ThisType for Object-Oriented Languages | 2016/04/08 | English | 1 |
| Automatic Storage Optimization for Arrays | 2016/04/08 | English | 1 |
| Verifying Reliability Properties Using the Hyperball Abstract Domain | 2017/12/19 | English | 1 |
| Type Inference for C | 2020/09/30 | English | 1 |
| An Extended Account of Trace-relating Compiler Correctness and Secure Compilation | 2021/11/10 | English | 1 |
| Securing Interruptible Enclaved Execution on Small Microprocessors | 2021/09/03 | English | 1 |
| Focusing on Refinement Typing | 2023/12/20 | English | 1 |
| A balanced code placement framework | 2000/09/01 | English | 1 |
| TF-Coder: Program Synthesis for Tensor Manipulations | 2022/05/27 | English | 1 |
| Effective sign extension elimination for java | 2006/01/01 | English | 1 |
| Register allocation for software pipelined multidimensional loops | 2008/07/01 | English | 1 |
| Relations as an abstraction for BDD-based program analysis | 2008/07/01 | English | 1 |
| Efficient dynamic dispatching with type slicing | 2007/11/01 | English | 1 |
| On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code | 2012/06/01 | English | 1 |
| Mathematical foundation of trace scheduling | 2011/04/01 | English | 1 |
| Efficient Identification of Linchpin Vertices in Dependence Clusters | 2013/07/01 | English | 1 |
| Practical Integrated Analysis of Pointers, Dataflow and Control Flow | 2013/04/01 | English | 1 |
| Omnisemantics: Smooth Handling of Nondeterminism | 2023/03/08 | English | |
| The Tortoise and the Hare Algorithm for Finite Lists, Compositionally | 2023/03/03 | English | |
| Homeostasis: Design and Implementation of a Self-Stabilizing Compiler | 2024/05/01 | English | |