Raymond Hu
1252  results:
?
 
?
3

Validating IoT Devices with Rate-Based Session Types:

Iraci, Grant ; Chuang, Cheng-En ; Hu, Raymond.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 1589-1617 , 2023
 
?
 
?
10

Use of a buprenorphine-based pain management protocol is as..:

Meyer, Ilonka ; Chan, Brandon ; Cohen, Emma...
Supportive Care in Cancer.  30 (2022)  7 - p. 6013-6020 , 2022
 
?
11

The Effects of Targeted Changes in Systemic Blood Flow and ..:

Hu, Raymond ; Yanase, Fumitaka ; McCall, Peter...
Journal of Cardiothoracic and Vascular Anesthesia.  36 (2022)  9 - p. 3551-3560 , 2022
 
?
 
?
15

A multiparty session typing discipline for fault-tolerant e..:

Viering, Malte ; Hu, Raymond ; Eugster, Patrick.
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-30 , 2021
 
1-15