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