Raymond Hu

According to our database1, Raymond Hu authored at least 25 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Featherweight go.
Proc. ACM Program. Lang., 2020

Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang., 2020

2019
Dynamic Deadlock Verification for General Barrier Synchronisation.
ACM Trans. Program. Lang. Syst., 2019

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.
Proc. ACM Program. Lang., 2019

2018
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.
Proceedings of the Programming Languages and Systems, 2018

A session type provider: compile-time API generation of distributed protocols with refinements in F#.
Proceedings of the 27th International Conference on Compiler Construction, 2018

2017
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
Dagstuhl Artifacts Ser., 2017

Explicit Connection Actions in Multiparty Session Types.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
On asynchronous eventful session semantics.
Math. Struct. Comput. Sci., 2016

Behavioral Types in Programming Languages.
Found. Trends Program. Lang., 2016

Hybrid Session Verification Through Endpoint API Generation.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods Syst. Des., 2015

2014
Multiparty Session Nets.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Structuring Communication with Session Types.
Proceedings of the Concurrent Objects and Beyond, 2014

2013
The Scribble Protocol Language.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

SPY: Local Verification of Global Protocols.
Proceedings of the Runtime Verification - 4th International Conference, 2013

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
Proceedings of the Runtime Verification - 4th International Conference, 2013

2012
Parameterised Multiparty Session Types
Log. Methods Comput. Sci., 2012

2011
Structural, safe and high-level communications programming with session types.
PhD thesis, 2011

Safe Parallel Programming with Session Java.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010
Secure Execution of Distributed Session Programs
Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Type-Safe Eventful Sessions in Java.
Proceedings of the ECOOP 2010, 2010

2009
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

2008
Session-Based Distributed Programming in Java.
Proceedings of the ECOOP 2008, 2008


  Loading...