| 2004 | Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. | Nils Anders Danielsson, Patrik Jansson |
| 2004 | Friends Need a Bit More: Maintaining Invariants Over Shared State. | Michael Barnett, David A. Naumann |
| 2004 | Inferring Type Isomorphisms Generically. | Frank Atanassow, Johan Jeuring |
| 2004 | Optimizing Generic Functions. | Artem Alimarine, Sjaak Smetsers |
| 2004 | Constructing Polymorphic Programs with Quotient Types. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride |
| 2002 | From Kleene Algebra to Refinement Algebra. | Joakim von Wright |
| 2002 | Mathematics in Computer Science Curricula. | Jeannette M. Wing |
| 2002 | Inverting Functions as Folds. | Shin-Cheng Mu, Richard S. Bird |
| 2002 | Solving Regular Path Queries. | Yanhong A. Liu, Fuxiang Yu |
| 2002 | Some Results in Dynamic Model Theory. | Dexter Kozen |
| 2002 | Verification of Java's AbstractCollection Class: A Case Study. | Marieke Huisman |
| 2002 | Type-Indexed Data Types. | Ralf Hinze, Johan Jeuring, Andres Lh |
| 2002 | Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. | Ralf Hinze |
| 2002 | Eternity Variables to Simulate Specifications. | Wim H. Hesselink |
| 2002 | Reasoning about Timeouts. | Ian J. Hayes |
| 2002 | Fine Control of Demand in Haskell. | William L. Harrison, Tim Sheard, James Hook |
| 2002 | Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm. | Robert Giegerich, Peter Steffen |
| 2002 | Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications. | Juan Eduardo Durn |
| 2002 | Logical Relations and Galois Connections. | Kevin Backhouse, Roland Carl Backhouse |
| 2000 | The Zip Calculus. | Mark Tullsen |
| 2000 | On Guarded Commands with Fair Choice. | Emil Sekerinski |
| 2000 | Quantum Programming. | Jeff W. Sanders, Paolo Zuliani |
| 2000 | Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series. | Jan J. M. M. Rutten |
| 2000 | A Metalanguage for Programming with Bound Names Modulo Renaming. | Andrew M. Pitts, Murdoch Gabbay |
| 2000 | Formal Methods and Dependability. | Cliff B. Jones |