| 2026 | FOSSACS | Interaction Improvement. | Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni |
| 2023 | CSL | The Functional Machine Calculus II: Semantics. | Chris Barrett, Willem Heijltjes, Guy McCusker |
| 2018 | CSL | On Compositionality of Dinatural Transformations. | Guy McCusker, Alessio Santamaria |
| 2013 | LICS | Weighted Relational Models of Typed Lambda-Calculi. | Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani |
| 2011 | ICALP | Constructing Differential Categories and Deconstructing Categories of Games. | Jim Laird, Giulio Manzonetto, Guy McCusker |
| 2011 | LICS | Imperative Programs as Proofs via Game Semantics. | Martin Churchill, James Laird, Guy McCusker |
| 2007 | CSL | A Games Model of Bunched Implications. | Guy McCusker, David J. Pym |
| 2003 | MFPS | On the Semantics of the Bad-Variable Constructor in Algol-like Languages. | Guy McCusker |
| 2002 | CSL | A Fully Abstract Relational Model of Syntactic Control of Interference. | Guy McCusker |
| 2000 | ICALP | Reasoning about Idealized ALGOL Using Regular Languages. | Dan R. Ghica, Guy McCusker |
| 1999 | LICS | A Fully Abstract Game Semantics for Finite Nondeterminism. | Russell Harmer, Guy McCusker |
| 1998 | LICS | A Fully Abstract Game Semantics for General References. | Samson Abramsky, Kohei Honda, Guy McCusker |
| 1997 | CSL | Call-by-Value Games. | Samson Abramsky, Guy McCusker |
| 1996 | LICS | Games and Full Abstraction for FPC. | Guy McCusker |
| 1995 | LICS | Games and Full Abstraction for the Lazy lambda-Calculus | Samson Abramsky, Guy McCusker |