Raymond Hu
University of Hertfordshire
H-index: 20
Europe-United Kingdom
Top articles of Raymond Hu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Validating IoT Devices with Rate-Based Session Types | Proceedings of the ACM on Programming Languages | Grant Iraci Cheng-En Chuang Raymond Hu Lukasz Ziarek | 2023/10/16 |
A multiparty session typing discipline for fault-tolerant event-driven distributed programming | Proceedings of the ACM on Programming Languages | Malte Viering Raymond Hu Patrick Eugster Lukasz Ziarek | 2021/10/15 |
Statically verified refinements for multiparty protocols | Proceedings of the ACM on Programming Languages | Fangyi Zhou Francisco Ferreira Raymond Hu Rumyana Neykova Nobuko Yoshida | 2020/11/13 |
Featherweight go | Proceedings of the ACM on Programming Languages | Robert Griesemer Raymond Hu Wen Kokke Julien Lange Ian Lance Taylor | 2020/11/13 |