BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Slovenia
1 × USA
2 × Cyprus
Collaborated with:
N.Yoshida K.Honda T.Cogumbreiro F.Martins P.Deniélou A.Bejleri R.Neykova F.Abdeljallal A.Scalas O.Dardha D.Kouzapas O.Pernet M.Viering T.Chen P.Eugster L.Ziarek D.Castro-Perez Sung-Shik Jongmans N.Ng
Talks about:
session (8) type (7) distribut (5) multiparti (3) program (3) api (3) endpoint (2) generat (2) static (2) verif (2)

Person: Raymond Hu

DBLP DBLP: Hu:Raymond

Contributed to:

PPoPP 20152015
ECOOP 20102010
FOSSACS 20102010
ECOOP 20082008
CC 20182018
FASE 20162016
FASE 20172017
ESOP 20182018
ECOOP 20172017
POPL 20192019

Wrote 10 papers:

PPoPP-2015-CogumbreiroHMY #concurrent #verification
Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
ECOOP-2010-HuKPYH #java #type safety
Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.
FoSSaCS-2010-YoshidaDBH #multi
Parameterised Multiparty Session Types (NY, PMD, AB, RH), pp. 128–145.
ECOOP-2008-HuYH #distributed #java #programming
Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
CC-2018-NeykovaHYA #api #distributed #f# #generative #protocol
A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.
FASE-2016-HuY #api #generative #hybrid #verification
Hybrid Session Verification Through Endpoint API Generation (RH, NY), pp. 401–418.
FASE-2017-HuY #multi
Explicit Connection Actions in Multiparty Session Types (RH, NY), pp. 116–133.
ESOP-2018-VieringCEHZ #distributed #type system
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (MV, TCC, PE, RH, LZ), pp. 799–826.
ECOOP-2017-ScalasDHY #composition #distributed #linear #multi #programming
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (AS, OD, RH, NY), p. 31.
POPL-2019-CastroHJNY #api #communication #distributed #parametricity #programming #static typing #using
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures (DCP, RH, SSJ, NN, NY), p. 30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.