+--------------------------------------------------------+
           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.
   [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.
   [DOI]: 10.1007/s10664-015-9371-y
   [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.
   [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.
   [DOI]: 10.4204/EPTCS.322.7
   [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.
   [PDF]



 Thesis Proposal
----------------------------------------------------------

 * Denotational Semantics for Session-Typed Processes
   Ryan Kavanagh
   PhD Thesis Proposal.
   Computer Science Department, Carnegie Mellon University.
   Defended May 12, 2020.
   [PDF]

 Preprints
----------------------------------------------------------

 * A denotational account of C11-style memory
   Ryan Kavanagh and Stephen Brookes.
   April 2018. [arXiv:1804.04214]
   [PDF]

 * Coupled Logical Bisimulation for the Lambda-Calculus
   Ryan Kavanagh, Jean-Marie Madiot.
   October 2014. [arXiv:1410.2833]
   [PDF]

 Term Papers
----------------------------------------------------------

 * Explorations on the Wallace-Bolyai-Gerwien Theorem
   Ryan Kavanagh. March 2015.
   [PDF]

 * On Irreducible Rational Quintics
   Ryan Kavanagh. April 2014.
   Note: This paper is buggy per http://mathoverflow.net/q/217868
   [PDF]

 * A Primer on Provability Logic
   Ryan Kavanagh. April 2012.
   [PDF]

 * Explorations on the Dimension of a Graph
   Ryan Kavanagh. December 2011.
   [PDF]

 Last update: 2020-08-31