Ryan Kavanagh

According to our database, Ryan Kavanagh authored at least 13 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Message-Observing Sessions.

Ryan Kavanagh, Brigitte Pientka

Proc. ACM Program. Lang., 2024

2023

Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.

Chuta Sano, Ryan Kavanagh, Brigitte Pientka

Proc. ACM Program. Lang., October, 2023

2022

Fairness and communication-based semantics for session-typed languages.

Ryan Kavanagh

Inf. Comput., 2022

2021

Communication-Based Semantics for Recursive Session-Typed Processes.

Ryan Kavanagh

PhD thesis, 2021

Fairness and Observed Communication Semantics for Session-Typed Languages.

Ryan Kavanagh

CoRR, 2021

2020

Substructural Observed Communication Semantics.

Ryan Kavanagh

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

Parametrized Fixed Points on O-Categories and Applications to Session Types.

Ryan Kavanagh

CoRR, 2020

A Domain Semantics for Higher-Order Recursive Processes.

Ryan Kavanagh

CoRR, 2020

Parametrized Fixed Points and Their Applications to Session Types.

Ryan Kavanagh

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

2018

A Denotational Semantics for SPARC TSO.

Ryan Kavanagh, Stephen Brookes

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

A denotational account of C11-style memory.

Ryan Kavanagh, Stephen Brookes

CoRR, 2018

2016

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

2014

On Coupled Logical Bisimulation for the Lambda-Calculus.

Ryan Kavanagh, Jean-Marie Madiot

CoRR, 2014