Raymond Hu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Nobuko Yoshida

> Home > Persons > Raymond Hu

Publications

2020
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/00020HNY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/00020HNY20
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4(OOPSLA): 148:1-148:30 (2020)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/GriesemerHKLTTW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/GriesemerHKLTTW20
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight go. Proc. ACM Program. Lang. 4(OOPSLA): 149:1-149:29 (2020)
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/ZhouFHNY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ZhouFHNY20
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. Version 1. Zenodo, 2020 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/ZhouFHNY20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ZhouFHNY20a
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. Version 2. Zenodo, 2020 [all versions]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-11710
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-11710
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida:
Featherweight Go. CoRR abs/2005.11710 (2020)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-06541
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06541
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. CoRR abs/2009.06541 (2020)
2019
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/CastroHJNY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/CastroHJNY19
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida:
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3(POPL): 29:1-29:30 (2019)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/CogumbreiroHMY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CogumbreiroHMY19
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41(1): 1:1-1:38 (2019)
2018
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/NeykovaHYA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/NeykovaHYA18
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal:
A session type provider: compile-time API generation of distributed protocols with refinements in F#. CC 2018: 128-138
2017
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/darts/ScalasDHY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/ScalasDHY17
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3(2): 03:1-03:2 (2017)
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/ScalasDHY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ScalasDHY17
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017: 24:1-24:31
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HuY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuY17
Raymond Hu, Nobuko Yoshida:
Explicit Connection Actions in Multiparty Session Types. FASE 2017: 116-133
2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ftpl/AnconaBB0CDGGGH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ftpl/AnconaBB0CDGGGH16
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/KouzapasYHH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/KouzapasYHH16
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda:
On asynchronous eventful session semantics. Math. Struct. Comput. Sci. 26(2): 303-364 (2016)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HuY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HuY16
Raymond Hu, Nobuko Yoshida:
Hybrid Session Verification Through Endpoint API Generation. FASE 2016: 401-418
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DemangeonHHNY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DemangeonHHNY15
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods Syst. Des. 46(3): 197-225 (2015)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/CogumbreiroHMY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/CogumbreiroHMY15
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015: 150-160
2014
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HondaHNCDDY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HondaHNCDDY14
Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida:
Structuring Communication with Session Types. Concurrent Objects and Beyond 2014: 105-127
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/FossatiHY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/FossatiHY14
Luca Fossati, Raymond Hu, Nobuko Yoshida:
Multiparty Session Nets. TGC 2014: 112-127
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HuNYDH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HuNYDH13
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda:
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. RV 2013: 130-148
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/NeykovaYH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/NeykovaYH13
Rumyana Neykova, Nobuko Yoshida, Raymond Hu:
SPY: Local Verification of Global Protocols. RV 2013: 358-363
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/YoshidaHNN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/YoshidaHNN13
Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng:
The Scribble Protocol Language. TGC 2013: 22-41
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-6483
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-6483
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu:
Parameterised Multiparty Session Types. Log. Methods Comput. Sci. 8(4) (2012)
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/NgYPHK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/NgYPHK11
Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis:
Safe Parallel Programming with Session Java. COORDINATION 2011: 110-126
2010
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HuKPYH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HuKPYH10
Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda:
Type-Safe Eventful Sessions in Java. ECOOP 2010: 329-353
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/YoshidaDBH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/YoshidaDBH10
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu:
Parameterised Multiparty Session Types. FoSSaCS 2010: 128-145
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4156
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4156
Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou:
Secure Execution of Distributed Session Programs. PLACES 2010: 1-11
2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1002-0933
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-0933
Andi Bejleri, Raymond Hu, Nobuko Yoshida:
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance. PLACES 2009: 17-29
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/HuYH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/HuYH08
Raymond Hu, Nobuko Yoshida, Kohei Honda:
Session-Based Distributed Programming in Java. ECOOP 2008: 516-541

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.