Cheng-En Chuang

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 3

Top Topics

Sum Product Algorithm

Inference In Graphical Models

Belief Propagation

Matrix Multiplication

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
Validating IoT Devices with Rate-Based Session Types. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
Send to me first: Priority in synchronous message-passing. J. Funct. Program. 32 (2022)
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
Synchronous Message-Passing with Priority. PADL (2021)
Yi-Ming Chen, Cheng-En Chuang, Hsu-Che Liu, Cheng-Yi Ni, Chun-Tang Wang
Using Agent in Virtual Machine for Interactive Security Training. FGIT-SecTech (2011)