| Dynamic Deadlock Verification for General Barrier Synchronisation | 2018/12/11 | English | 2 |
| Consistent Subtyping for All | 2019/11/21 | English | 2 |
| Certificate translation for optimizing compilers | 2009/06/01 | English | 2 |
| Self-stabilization preserving compiler | 2009/08/01 | English | 2 |
| Modular Product Programs | 2019/11/21 | English | 2 |
| Compiler-Driven Software Speculation for Thread-Level Parallelism | 2015/12/22 | English | 2 |
| Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types | 2017/05/10 | English | 2 |
| Normalize, transpose, and distribute | 2008/03/01 | English | 2 |
| Java bytecode verification via static single assignment form | 2008/07/01 | English | 2 |
| On the complexity of partially-flow-sensitive alias analysis | 2008/05/01 | English | 2 |
| Remote specialization for efficient embedded operating systems | 2008/07/01 | English | 2 |
| On Polymorphic Sessions and Functions | 2021/06/10 | English | 2 |
| Capturing Types | 2023/11/20 | English | 2 |
| A Verified Optimizer for Quantum Circuits | 2023/09/23 | English | 2 |
| Typing linear constraints | 2010/08/01 | English | 2 |
| A Directly Executable Encoding for APL | 1984/07/01 | English | 2 |
| Transforming acyclic programs | 1994/07/01 | English | 2 |
| Deducing fairness properties in UNITY logic—a new completeness result | 1995/01/01 | English | 2 |
| Notes on “A methodology for implementing highly concurrent data objects” | 1995/01/01 | English | 2 |
| An Extension of ATL with Strategy Interaction | 2015/06/18 | English | 2 |
| Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components | 2018/07/05 | English | 2 |
| Programs from Proofs | 2017/03/10 | English | 2 |
| A Logical Analysis of Framing for Specifications with Pure Method Calls | 2018/05/28 | English | 2 |
| Inferring Lower Runtime Bounds for Integer Programs | 2020/09/30 | English | 2 |
| Typed–Untyped Interactions: A Comparative Analysis | 2023/03/05 | English | 2 |
| A Theory of Slicing for Imperative Probabilistic Programs | 2020/04/17 | English | 2 |
| Bounded Verification of Multi-threaded Programs via Lazy Sequentialization | 2021/12/09 | English | 2 |
| Goal-directed weakening of abstract interpretation results | 2007/10/01 | English | 2 |
| Two-dimensional bidirectional object layout | 2008/08/01 | English | 2 |
| Verifying safety properties of concurrent heap-manipulating programs | 2008/05/24 | English | 2 |