Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ryan Kavanagh
@article{DBLP:journals/corr/abs-2403-04633, author = {Ryan Kavanagh and Brigitte Pientka}, title = {Message-Observing Sessions}, journal = {CoRR}, volume = {abs/2403.04633}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.04633}, doi = {10.48550/ARXIV.2403.04633}, eprinttype = {arXiv}, eprint = {2403.04633}, timestamp = {Wed, 03 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-04633.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/SanoKP23, author = {Chuta Sano and Ryan Kavanagh and Brigitte Pientka}, title = {Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA2}}, pages = {374--399}, year = {2023}, url = {https://doi.org/10.1145/3622810}, doi = {10.1145/3622810}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/SanoKP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2309-12466, author = {Chuta Sano and Ryan Kavanagh and Brigitte Pientka}, title = {Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity}, journal = {CoRR}, volume = {abs/2309.12466}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2309.12466}, doi = {10.48550/ARXIV.2309.12466}, eprinttype = {arXiv}, eprint = {2309.12466}, timestamp = {Wed, 27 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-12466.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Kavanagh22, author = {Ryan Kavanagh}, title = {Fairness and communication-based semantics for session-typed languages}, journal = {Inf. Comput.}, volume = {285}, number = {Part}, pages = {104892}, year = {2022}, url = {https://doi.org/10.1016/j.ic.2022.104892}, doi = {10.1016/J.IC.2022.104892}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/Kavanagh22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/us/Kavanagh21, author = {Ryan Kavanagh}, title = {Communication-Based Semantics for Recursive Session-Typed Processes}, school = {Carnegie Mellon University, {USA}}, year = {2021}, url = {https://doi.org/10.1184/r1/17102318.v1}, doi = {10.1184/R1/17102318.V1}, timestamp = {Wed, 13 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/us/Kavanagh21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-01065, author = {Ryan Kavanagh}, title = {Fairness and Observed Communication Semantics for Session-Typed Languages}, journal = {CoRR}, volume = {abs/2104.01065}, year = {2021}, url = {https://arxiv.org/abs/2104.01065}, eprinttype = {arXiv}, eprint = {2104.01065}, timestamp = {Mon, 12 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-01065.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfps/Kavanagh20, author = {Ryan Kavanagh}, editor = {Patricia Johann}, title = {Parametrized Fixed Points and Their Applications to Session Types}, booktitle = {Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2020, Online, October 1, 2020}, series = {Electronic Notes in Theoretical Computer Science}, volume = {352}, pages = {149--172}, publisher = {Elsevier}, year = {2020}, url = {https://doi.org/10.1016/j.entcs.2020.09.008}, doi = {10.1016/J.ENTCS.2020.09.008}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfps/Kavanagh20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2008-13358, author = {Ryan Kavanagh}, editor = {Ornela Dardha and Jurriaan Rot}, title = {Substructural Observed Communication Semantics}, booktitle = {Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020}, series = {{EPTCS}}, volume = {322}, pages = {69--87}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.322.7}, doi = {10.4204/EPTCS.322.7}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-13358.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-01960, author = {Ryan Kavanagh}, title = {A Domain Semantics for Higher-Order Recursive Processes}, journal = {CoRR}, volume = {abs/2002.01960}, year = {2020}, url = {https://arxiv.org/abs/2002.01960}, eprinttype = {arXiv}, eprint = {2002.01960}, timestamp = {Mon, 10 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-01960.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-08479, author = {Ryan Kavanagh}, title = {Parametrized Fixed Points on O-Categories and Applications to Session Types}, journal = {CoRR}, volume = {abs/2006.08479}, year = {2020}, url = {https://arxiv.org/abs/2006.08479}, eprinttype = {arXiv}, eprint = {2006.08479}, timestamp = {Wed, 17 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-08479.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/KavanaghB19, author = {Ryan Kavanagh and Stephen Brookes}, title = {A Denotational Semantics for {SPARC} {TSO}}, journal = {Log. Methods Comput. Sci.}, volume = {15}, number = {2}, year = {2019}, url = {https://doi.org/10.23638/LMCS-15(2:10)2019}, doi = {10.23638/LMCS-15(2:10)2019}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/KavanaghB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/KavanaghB18, author = {Ryan Kavanagh and Stephen Brookes}, editor = {Sam Staton}, title = {A Denotational Semantics for {SPARC} {TSO}}, booktitle = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018}, series = {Electronic Notes in Theoretical Computer Science}, volume = {341}, pages = {223--239}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.entcs.2018.03.025}, doi = {10.1016/J.ENTCS.2018.03.025}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/KavanaghB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-04214, author = {Ryan Kavanagh and Stephen Brookes}, title = {A denotational account of C11-style memory}, journal = {CoRR}, volume = {abs/1804.04214}, year = {2018}, url = {http://arxiv.org/abs/1804.04214}, eprinttype = {arXiv}, eprint = {1804.04214}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-04214.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1711-00931, author = {Ryan Kavanagh and Stephen Brookes}, title = {A Denotational Semantics for {SPARC} {TSO}}, journal = {CoRR}, volume = {abs/1711.00931}, year = {2017}, url = {http://arxiv.org/abs/1711.00931}, eprinttype = {arXiv}, eprint = {1711.00931}, timestamp = {Tue, 17 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1711-00931.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ese/AdamsKHG16, author = {Bram Adams and Ryan Kavanagh and Ahmed E. Hassan and Daniel M. Germ{\'{a}}n}, title = {An empirical study of integration activities in distributions of open source software}, journal = {Empir. Softw. Eng.}, volume = {21}, number = {3}, pages = {960--1001}, year = {2016}, url = {https://doi.org/10.1007/s10664-015-9371-y}, doi = {10.1007/S10664-015-9371-Y}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ese/AdamsKHG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KavanaghM14, author = {Ryan Kavanagh and Jean{-}Marie Madiot}, title = {On Coupled Logical Bisimulation for the Lambda-Calculus}, journal = {CoRR}, volume = {abs/1410.2833}, year = {2014}, url = {http://arxiv.org/abs/1410.2833}, eprinttype = {arXiv}, eprint = {1410.2833}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KavanaghM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.