| POP-PL | 2018/07/05 | English | 1 |
| Modular Termination Verification of Single-Threaded and Multithreaded Programs | 2018/07/05 | English | 1 |
| A proof theory for machine code | 2007/10/01 | English | 1 |
| Allocating architected registers through differential encoding | 2007/04/01 | English | 1 |
| Extensible objects without labels | 2004/09/01 | English | 1 |
| First-class monadic schedules | 2004/07/01 | English | 1 |
| A transformational approach to binary translation of delayed branches | 2003/03/01 | English | 1 |
| Eliminating synchronization bottlenecks using adaptive replication | 2003/05/01 | English | 1 |
| The receptive distributed π-calculus | 2003/09/01 | English | 1 |
| Prophecy Made Simple | 2022/04/06 | English | 1 |
| Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models | 2023/03/03 | English | 1 |
| Nested Session Types | 2022/07/15 | English | 1 |
| An Effective Fusion and Tile Size Model for PolyMage | 2020/09/30 | English | 1 |
| Chocola | 2020/12/31 | English | 1 |
| A Programming Language for Data Privacy with Accuracy Estimations | 2021/06/08 | English | 1 |
| Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search | 2023/09/23 | English | 1 |
| Side-channel Elimination via Partial Control-flow Linearization | 2023/06/26 | English | 1 |
| Generalized Points-to Graphs | 2020/05/19 | English | 1 |
| Symbolic Disintegration with a Variety of Base Measures | 2020/05/19 | English | 1 |
| PYE | 2019/07/02 | English | 1 |
| Higher-order Demand-driven Program Analysis | 2019/07/02 | English | 1 |
| Mostly static program partitioning of binary executables | 2009/06/01 | English | 1 |
| Affine Refinement Types for Secure Distributed Programming | 2015/08/13 | English | 1 |
| Two issues in parallel language design | 1994/11/01 | English | 1 |
| Simple, efficient, asynchronous parallel algorithms for maximization | 1988/04/01 | English | 1 |
| Reply to “Type-extension tests can be performed in constant time” | 1991/10/01 | English | 1 |
| Safe | 1995/01/01 | English | 1 |
| Trace-based network proof systems | 1992/05/01 | English | 1 |
| Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages | 1981/07/01 | English | 1 |
| Corrigendum: “Distributed Termination” | 1980/07/01 | English | 1 |