Ryan Kavanagh -

Registered user since Fri 15 Oct 2021

Name:Ryan Kavanagh

Country:Canada

Affiliation:Université du Québec à Montréal

Personal website: https://rak.ac

Research interests:Programming Languages

Contributions

2025

ICFP

Committee Member in Program Committee within the ICFP Student Research Competition-track
Author of Fusing Session-Typed Concurrent Programming into Functional Programming within the ICFP Papers-track

2024

SPLASH

2023

PLMW

SPLASH

Author of Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity within the OOPSLA-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

SPLASH

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track