Raymond Hu

Raymond Hu

University of Hertfordshire

H-index: 20

Europe-United Kingdom

About Raymond Hu

Raymond Hu, With an exceptional h-index of 20 and a recent h-index of 15 (since 2020), a distinguished researcher at University of Hertfordshire, specializes in the field of distributed programming, programming languages, type systems, session types.

His recent articles reflect a diverse array of research interests and contributions to the field:

Validating IoT Devices with Rate-Based Session Types

A multiparty session typing discipline for fault-tolerant event-driven distributed programming

Statically verified refinements for multiparty protocols

Featherweight go

Raymond Hu Information

University

Position

Senior Lecturer

Citations(all)

1764

Citations(since 2020)

960

Cited By

1239

hIndex(all)

20

hIndex(since 2020)

15

i10Index(all)

26

i10Index(since 2020)

21

Email

University Profile Page

University of Hertfordshire

Google Scholar

View Google Scholar Profile

Raymond Hu Skills & Research Interests

distributed programming

programming languages

type systems

session types

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

See List of Professors in Raymond Hu University(University of Hertfordshire)