• Sign in
  • Sign up
conf.researchr.org / Cheng-En Chuang
  • 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
xThu 10 Jul 03:11
using conf.researchr.org (v1.69.1)
Support page
Sign Up