Ryan Kavanagh

19 papers B 2Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Deconstructed Proto-Quipper: A Rational Reconstruction.
CoRR
Ryan Kavanagh, Chuta Sano, Brigitte Pientka
2025 J jnl
Fusing Session-Typed Concurrent Programming into Functional Programming.
Proc. ACM Program. Lang.
Chuta Sano, Deepak Garg, Ryan Kavanagh, Brigitte Pientka, Bernardo Toninho
2024 J jnl
Message-Observing Sessions.
CoRR
Ryan Kavanagh, Brigitte Pientka
2024 J jnl
Message-Observing Sessions.
Proc. ACM Program. Lang.
Ryan Kavanagh, Brigitte Pientka
2023 J jnl
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.
CoRR
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
2023 J jnl
Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.
Proc. ACM Program. Lang.
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
2022 J jnl
Fairness and communication-based semantics for session-typed languages.
Inf. Comput.
Ryan Kavanagh
2021 — —
Communication-Based Semantics for Recursive Session-Typed Processes.
Ryan Kavanagh
2021 J jnl
Fairness and Observed Communication Semantics for Session-Typed Languages.
CoRR
Ryan Kavanagh
2020 J jnl
A Domain Semantics for Higher-Order Recursive Processes.
CoRR
Ryan Kavanagh
2020 B conf
Parametrized Fixed Points and Their Applications to Session Types.
MFPS
Ryan Kavanagh
2020 J jnl
Parametrized Fixed Points on O-Categories and Applications to Session Types.
CoRR
Ryan Kavanagh
2020 — conf
Substructural Observed Communication Semantics.
EXPRESS/SOS
Ryan Kavanagh
2019 J jnl
A Denotational Semantics for SPARC TSO.
Log. Methods Comput. Sci.
Ryan Kavanagh, Stephen Brookes
2018 B conf
A Denotational Semantics for SPARC TSO.
MFPS
Ryan Kavanagh, Stephen Brookes
2018 J jnl
A denotational account of C11-style memory.
CoRR
Ryan Kavanagh, Stephen Brookes
2017 J jnl
A Denotational Semantics for SPARC TSO.
CoRR
Ryan Kavanagh, Stephen Brookes
2016 J jnl
An empirical study of integration activities in distributions of open source software.
Empir. Softw. Eng.
Bram Adams, Ryan Kavanagh, Ahmed E. Hassan, Daniel M. Germán
2014 J jnl
On Coupled Logical Bisimulation for the Lambda-Calculus.
CoRR
Ryan Kavanagh, Jean-Marie Madiot