+--------------------------------------------------------+
                  Papers, Manuscripts, and Projects
       +--------------------------------------------------------+
       
        Journal Papers
       ----------------------------------------------------------
       
        * A Denotational Semantics for SPARC TSO
          Ryan Kavanagh and Stephen Brookes.
          Logical Methods in Computer Science, May 8, 2019, Volume 15, Issue 2.
 (BIN)    [PDF]
       
        * Empirical Study of Integration Activities in Distributions
          of Open Source Software
          Bram Adams, Ryan Kavanagh, Ahmed E. Hassan, and Daniel M. German.
          Empirical Software Engineering (EMSE), June 2016, Volume 21, Issue 3,
          pp. 960-1001.
 (HTM)    [DOI]: 10.1007/s10664-015-9371-y
 (BIN)    [PDF]
       
        Conference Papers
       ----------------------------------------------------------
       
        * Parametrized Fixed Points and Their Applications to Session Types
          Ryan Kavanagh
          Proceedings of The Thirty-Sixth Conference on the Mathematical
          Foundations of Programming Semantics (MFPS XXXVI). Electronic Notes
          in Theoretical Computer Science. To appear.
       
        * Denotational Semantics for SPARC TSO
          Ryan Kavanagh and Stephen Brookes.
          Proceedings of The Thirty-third Conference on the Mathematical
          Foundations of Programming Semantics (MFPS XXXIII).  Electronic Notes
          in Theoretical Computer Science Volume 336, 16 April 2018, pp. 223-239.
 (BIN)    [PDF]
       
        Workshop Papers
       ----------------------------------------------------------
       
        * Substructural Observed Communications Semantics
          Ryan Kavanagh
          Proceedings Combined 27th International Workshop on Expressiveness
          in Concurrency and 17th Workshop on Structural Operational Semantics
          (EXPRESS/SOS 2020), Online, 31 August 2020, Electronic Proceedings
          in Theoretical Computer Science 322, pp. 69–87.
 (HTM)    [DOI]: 10.4204/EPTCS.322.7
 (BIN)    [PDF]
       
        Thesis
       ----------------------------------------------------------
       
        * Communication-Based Semantics for Recursive Session-Typed Processes
          Ryan Kavanagh
          PhD Thesis. Pittsburgh, PA: Computer Science Department,
          Carnegie Mellon University, September 30, 2021, xi+313 pp.
 (BIN)    [PDF]
       
       
       
        Thesis Proposal
       ----------------------------------------------------------
       
        * Denotational Semantics for Session-Typed Processes
          Ryan Kavanagh
          PhD Thesis Proposal.
          Computer Science Department, Carnegie Mellon University.
          Defended May 12, 2020.
 (BIN)    [PDF]
       
        Preprints
       ----------------------------------------------------------
       
        * A denotational account of C11-style memory
          Ryan Kavanagh and Stephen Brookes.
          April 2018. [arXiv:1804.04214]
 (BIN)    [PDF]
       
        * Coupled Logical Bisimulation for the Lambda-Calculus
          Ryan Kavanagh, Jean-Marie Madiot.
          October 2014. [arXiv:1410.2833]
 (BIN)    [PDF]
       
        Term Papers
       ----------------------------------------------------------
       
        * Explorations on the Wallace-Bolyai-Gerwien Theorem
          Ryan Kavanagh. March 2015.
 (BIN)    [PDF]
       
        * On Irreducible Rational Quintics
          Ryan Kavanagh. April 2014.
          Note: This paper is buggy per http://mathoverflow.net/q/217868
 (BIN)    [PDF]
       
        * A Primer on Provability Logic
          Ryan Kavanagh. April 2012.
 (BIN)    [PDF]
       
        * Explorations on the Dimension of a Graph
          Ryan Kavanagh. December 2011.
 (BIN)    [PDF]
       
        Last update: 2020-08-31