Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Grant Iraci
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
POPL 2021 profile
POPL 2025 profile
SPLASH 2023 profile
Registered user since Fri 12 Jan 2024
Name:
Grant Iraci
Country:
United States
Affiliation:
University at Buffalo
Contributions
2025
POPL
Author of Semantic Logical Relations for Timed Message-Passing Protocols within the POPL-track
2024
ECOOP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2023
SPLASH
Author of Validating IoT Devices with Rate-Based Session Types within the OOPSLA-track
2021
Symposium on Practical Aspects of Declarative Languages
Author of Synchronous Message-Passing with Priority within the PADL 2021-track
Share
x
Sun 22 Dec 06:05