Raymond Hu

I am a postdoc RA in the Department of Computing at Imperial College London, working with Nobuko Yoshida.


Room 558, Huxley Building
Imperial College London
180 Queen's Gate

+44 (0) 207 594 8449
ABCrhu [at] doc.ic.ac.uk (Without the "ABC" prefix.)

Hybrid session verification through Endpoint API generation

Armus: Dynamic deadlock verification for general barrier synchronisation

Multiparty session nets

Practical interruptible conversations

Session Types for Type-Safe Event-Driven Programming

The SJ Framework for Transport-Independent, Type-Safe, Object-Oriented Communications Programming

Session-based Distributed Programming in Java

Updated 2016-04-11. Wumiwumi.