Here are some of my drafts, publications, and other academic projects. They are sorted in reverse chronological order by type. See also my DBLP and ORCID pages.

Journal Articles

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

    Ryan Kavanagh Fairness and communication-based semantics for session-typed languages Information and Computation 285.B 104892 May, 2022 770890-5401 10.1016/j.ic.2022.104892

  2. A Denotational Semantics for SPARC TSO

    Ryan Kavanagh and Stephen Brookes A Denotational Semantics for SPARC TSO Logical Methods in Computer Science 15.2 10 May 8, 2019 23 10.23638/LMCS-15(2:10)2019

  3. An Empirical Study of Integration Activities in Distributions of Open Source Software

    Bram Adams, Ryan Kavanagh, Ahmed E. Hassan, and Daniel M. German An Empirical Study of Integration Activities in Distributions of Open Source Software Empirical Software Engineering 21.3 March 2015 960-1001 1573-7616 10.1007/s10664-015-9371-y

Conference Papers

  1. Message-Observing Sessions

    Ryan Kavanagh and Brigitte Pientka Message-Observing Sessions Proceedings of the ACM on Programming Languages 8.OOPSLA1 142 April, 2024 29 10.1145/3649859

  2. Parametrized Fixed Points and Their Applications To Session Types

    Ryan Kavanagh Parametrized Fixed Points and Their Applications To Session Types Electronic Notes in Theoretical Computer Science 352 October 2020 The 36th Mathematical Foundations of Programming Semantics Conference, 2020 149-172 10.1016/j.entcs.2020.09.008

  3. A Denotational Semantics for SPARC TSO

    Ryan Kavanagh and Stephen Brookes A Denotational Semantics for SPARC TSO Electronic Notes in Theoretical Computer Science 336 April 16, 2018 The Thirty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII) 223-239 1571-0661 10.1016/j.entcs.2018.03.025

Workshop Papers

  1. Substructural Observed Communication Semantics

    Ryan Kavanagh Substructural Observed Communication Semantics Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics EXPRESS/SOS 2020 OnlineAugust 31, 2020 Ornela Dardha and Jurriaan Rot Electronic Proceedings in Theoretical Computer Science 322 August 27, 202069–78 10.4204/EPTCS.322.7

Preprints

  1. A Domain Semantics for Higher-Order Recursive Processes

    Ryan Kavanagh A Domain Semantics for Higher-Order Recursive Processes May 10, 2020 72 2002.01960v3 [cs.PL]

  2. A denotational account of C11-style memory

    Ryan Kavanagh and Stephen Brookes A denotational account of C11-style memory April 11, 2018 13 1804.04214v1 [cs.PL]

Theses

  1. Communication-Based Semantics for Recursive Session-Typed Processes

    Ryan Kavanagh Communication-Based Semantics for Recursive Session-Typed Processes PhD thesis Pittsburgh, PA Computer Science Department, Carnegie Mellon University September 2021xi+313

Unpublished and Manuscripts

  1. Channel-Dependent Session Types

    Ryan Kavanagh and Brigitte Pientka Channel-Dependent Session Types May 6, 2022 Accepted talk at the New Jersey Programming Languages and Systems Seminar

  2. Explorations on the Wallace-Bolyai-Gerwien Theorem

    Ryan Kavanagh Explorations on the Wallace-Bolyai-Gerwien Theorem March 2015 Queen’s University MATH-387 “Elementary Geometry” term paper 11

  3. On Irreducible Rational Quintics

    Ryan Kavanagh On Irreducible Rational Quintics April 2014 Queen’s University MATH-414 “Galois Theory” term paper. Contains a mistake per http://mathoverflow.net/q/217868 18

  4. A Primer on Provability Logic

    Ryan Kavanagh A Primer on Provability Logic April 2012 Queen’s University MATH-481 “Mathematical Logic” term paper 10

  5. Explorations on the Dimension of a Graph

    Ryan Kavanagh Explorations on the Dimension of a Graph December 2011 Queen’s University MATH-401 “Graph Theory” term paper 8