On Coupled Logical Bisimulation for the Lambda-Calculus. - Ryan Kavanagh; Jean-Marie Madiot (CoRR, 2014)

An empirical study of integration activities in distributions of open source software. - Bram Adams; Ryan Kavanagh; Ahmed E. Hassan; Daniel M. Germán (Empir. Softw. Eng., 2016)

A denotational account of C11-style memory. - Ryan Kavanagh; Stephen Brookes (CoRR, 2018)

A Denotational Semantics for SPARC TSO. - Ryan Kavanagh; Stephen Brookes (MFPS, 2018)

Parametrized Fixed Points and Their Applications to Session Types. - Ryan Kavanagh (MFPS, 2020)

A Domain Semantics for Higher-Order Recursive Processes. - Ryan Kavanagh (CoRR, 2020)

Parametrized Fixed Points on O-Categories and Applications to Session Types. - Ryan Kavanagh (CoRR, 2020)

Substructural Observed Communication Semantics. - Ryan Kavanagh (EXPRESS/SOS, 2020)

Fairness and Observed Communication Semantics for Session-Typed Languages. - Ryan Kavanagh (CoRR, 2021)

Communication-Based Semantics for Recursive Session-Typed Processes. - Ryan Kavanagh (2021)

Fairness and communication-based semantics for session-typed languages. - Ryan Kavanagh (Inf. Comput., 2022)

Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity. - Chuta Sano; Ryan Kavanagh; Brigitte Pientka (Proc. ACM Program. Lang., 2023)

Message-Observing Sessions. - Ryan Kavanagh; Brigitte Pientka (Proc. ACM Program. Lang., 2024)