+--------------------------------------------------------+ 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