Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cheng-En Chuang
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
POPL 2021 profile
POPL 2025 profile
SPLASH 2023 profile
Registered user since Wed 22 Jan 2025
Name:
Cheng-En Chuang
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
Thu 10 Jul 03:11