Travelled to:
1 × Austria
1 × Brazil
1 × Czech Republic
1 × Germany
1 × Greece
1 × Iceland
1 × India
1 × Latvia
1 × Slovenia
10 × USA
2 × Cyprus
2 × Poland
2 × Portugal
2 × Spain
3 × Estonia
3 × France
3 × United Kingdom
6 × Italy
Collaborated with:
K.Honda M.Berger R.Hu N.Ng P.Deniélou D.Mostrous A.Scalas J.Lange M.Carbone M.Dezani-Ciancaglini D.Varacca M.Hennessy R.Neykova B.Toninho V.T.Vasconcelos D.Castro-Perez D.Kouzapas A.Ahern ∅ D.A.Orchard S.Castellan F.Martins J.G.d.F.Coutinho E.Tuosto T.Chen S.Crafa R.Pugliese F.Tiezzi A.Phillips S.Eisenbach J.Rathke J.A.Pérez Elias Benussi T.Cogumbreiro M.Coppo L.Padovani A.Bejleri S.Drossopoulou F.Abdeljallal L.Bocchi M.Murgia O.Dardha R.Majumdar Marcus Pirron D.Zufferey O.Pernet N.Atzei M.Bartoletti S.Lande R.Zunino Sung-Shik Jongmans H.A.López E.R.B.Marques C.Santos
Talks about:
session (33) type (29) multiparti (11) program (11) process (10) order (10) higher (9) asynchron (7) communic (7) mobil (7)
Person: Nobuko Yoshida
DBLP: Yoshida:Nobuko
Contributed to:
Wrote 64 papers:
- CC-2015-NgCY #code generation #protocol
- Protocols by Default — Safe MPI Code Generation Based on Session Types (NN, JGdFC, NY), pp. 212–232.
- OOPSLA-2015-LopezMMNSVY #message passing #parallel #source code #verification
- Protocol-based verification of message-passing parallel programs (HAL, ERBM, FM, NN, CS, VTV, NY), pp. 280–298.
- POPL-2015-LangeTY #communication #visual notation
- From Communicating Machines to Graphical Choreographies (JL, ET, NY), pp. 221–232.
- PPoPP-2015-CogumbreiroHMY #concurrent #verification
- Dynamic deadlock verification for general barrier synchronisation (TC, RH, FM, NY), pp. 150–160.
- SFM-2015-CoppoDPY #multi
- A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
- PDP-2014-NgY #named #parallel #programming
- Pabble: Parameterised Scribble for Parallel Programming (NN, NY), pp. 707–714.
- PPDP-2014-ChenDY #on the #precise #type system
- On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.
- RTA-TLCA-2014-HondaYB #interactive #process #π-calculus
- Process Types as a Descriptive Tool for Interaction — Control and the π-Calculus (KH, NY, MB), pp. 1–20.
- ICALP-v2-2013-DenielouY #automaton #communication #multi #synthesis
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types (PMD, NY), pp. 174–186.
- ESOP-2012-DenielouY #automaton #communication #multi
- Multiparty Session Types Meet Communicating Automata (PMD, NY), pp. 194–213.
- FoSSaCS-2012-CrafaVY #parallel #semantics #π-calculus
- Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
- TOOLS-EUROPE-2012-NgYH #optimisation #parallel #programming
- Multiparty Session C: Safe Parallel Programming with Message Optimisation (NN, NY, KH), pp. 202–218.
- POPL-2011-DenielouY #multi
- Dynamic multirole session types (PMD, NY), pp. 435–446.
- 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.
- ESOP-2009-MostrousYH #commutative #type system
- Global Principal Typing in Partially Commutative Asynchronous Sessions (DM, NY, KH), pp. 316–332.
- ICALP-v2-2009-PuglieseTY #on the
- On Observing Dynamic Prioritised Actions in SOC (RP, FT, NY), pp. 558–570.
- SFM-2009-CarboneYH #exception #interactive #multi
- Asynchronous Session Types: Exceptions and Multiparty Interactions (MC, NY, KH), pp. 187–212.
- TLCA-2009-MostrousY #communication #higher-order #mobile #optimisation #process
- Session-Based Communication Optimisation for Higher-Order Mobile Processes (DM, NY), pp. 203–218.
- ECOOP-2008-HuYH #distributed #java #programming
- Session-Based Distributed Programming in Java (RH, NY, KH), pp. 516–541.
- ICALP-B-2008-BergerHY #abstraction #logic #mobile #process
- Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes (MB, KH, NY), pp. 99–111.
- POPL-2008-HondaYC #multi
- Multiparty asynchronous session types (KH, NY, MC), pp. 273–284.
- ESOP-2007-CarboneHY #programming #web #web service
- Structured Communication-Centred Programming for Web Services (MC, KH, NY), pp. 2–17.
- FoSSaCS-2007-YoshidaHB #higher-order #logic #reasoning
- Logical Reasoning for Higher-Order Functions with Local State (NY, KH, MB), pp. 361–377.
- QAPL-2007-VaraccaY #probability #π-calculus
- Probabilistic π-Calculus and Event Structures (DV, NY), pp. 147–166.
- TLCA-2007-MostrousY #higher-order #mobile #process #type system
- Two Session Typing Systems for Higher-Order Mobile Processes (DM, NY), pp. 321–335.
- ECOOP-2006-Dezani-CiancagliniMYD #object-oriented
- Session Types for Object-Oriented Languages (MDC, DM, NY, SD), pp. 328–352.
- ICALP-v2-2006-HondaBY #higher-order #logic
- Descriptive and Relative Completeness of Logics for Higher-Order Functions (KH, MB, NY), pp. 360–371.
- ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic
- A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.
- LICS-2005-HondaYB #higher-order #imperative #logic
- An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (KH, NY, MB), pp. 270–279.
- OOPSLA-2005-AhernY #formal method #java
- Formalising Java RMI with explicit code mobility (AA, NY), pp. 403–422.
- ESOP-2004-PhillipsYE #automaton #calculus #distributed
- A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.
- FoSSaCS-2004-HennessyRY #mobile #named
- safeDpi: A Language for Controlling Mobile Code (MH, JR, NY), pp. 241–256.
- POPL-2004-Yoshida #dependent type #higher-order #mobile #process
- Channel dependent types for higher-order mobile processes (NY), pp. 147–160.
- PPDP-2004-HondaY #composition #higher-order #logic #polymorphism
- A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.
- FoSSaCS-2003-BergerHY #π-calculus
- Genericity and the π-Calculus (MB, KH, NY), pp. 103–119.
- FoSSaCS-2002-YoshidaHB #bisimulation
- Linearity and Bisimulation (NY, KH, MB), pp. 417–434.
- POPL-2002-HondaY #data flow
- A uniform type structure for secure information flow (KH, NY), pp. 81–92.
- LICS-2001-YoshidaBH #normalisation #π-calculus
- Strong Normalisation in the π-Calculus (NY, MB, KH), pp. 311–322.
- TLCA-2001-BergerHY #π-calculus
- Sequentiality and the π-Calculus (MB, KH, NY), pp. 29–45.
- ESOP-2000-HondaVY #behaviour #data flow #process
- Secure Information Flow as Typed Process Behaviour (KH, VTV, NY), pp. 180–199.
- LICS-2000-YoshidaH #process
- Assigning Types to Processes (NY, MH), pp. 334–345.
- ICALP-1997-HondaY #analysis #call-by #game studies
- Game Theoretic Analysis of Call-by-Value Computation (KH, NY), pp. 225–236.
- POPL-1994-HondaY #combinator #mobile #process #representation
- Combinatory Representation of Mobile Processes (KH, NY), pp. 348–360.
- ESEC-FSE-2019-AtzeiBLYZ #contract
- Developing secure bitcoin contracts with BitML (NA, MB, SL, NY, RZ), pp. 1124–1128.
- CC-2016-NgY #concurrent #detection #graph #synthesis
- Static deadlock detection for concurrent go by global session graph synthesis (NN, NY), pp. 174–184.
- CC-2017-NeykovaY #multi
- Let it recover: multiparty protocol-induced recovery (RN, NY), pp. 98–108.
- 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.
- CC-2020-Castro-PerezY #compilation #first-order #parallel
- Compiling first-order functions to session-typed parallel code (DCP, NY), pp. 143–154.
- ESOP-2016-KouzapasPY #higher-order #on the #process
- On the Relative Expressiveness of Higher-Order Session Processes (DK, JAP, NY), pp. 446–475.
- 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-ToninhoY #encoding #on the #polymorphism
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings (BT, NY), pp. 827–855.
- ESOP-2019-BocchiMVY #process
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes (LB, MM, VTV, NY), pp. 583–610.
- CAV-2019-LangeY #automaton #communication #interactive #verification
- Verifying Asynchronous Interactions via Communicating Session Automata (JL, NY), pp. 97–117.
- ECOOP-2016-ScalasY #lightweight #programming #scala
- Lightweight Session Programming in Scala (AS, NY), p. 28.
- ECOOP-2017-ScalasDHY #composition #distributed #linear #multi #programming
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (AS, OD, RH, NY), p. 31.
- ECOOP-2019-MajumdarPYZ #idea #interactive
- Motion Session Types for Robotic Interactions (Brave New Idea Paper) (RM, MP, NY, DZ), p. 27.
- POPL-2016-OrchardY
- Effects as sessions, sessions as effects (DAO, NY), pp. 568–581.
- POPL-2017-LangeNTY #liveness #programming #safety
- Fencing off go: liveness and safety for channel-based programming (JL, NN, BT, NY), pp. 748–761.
- PLDI-2019-ScalasYB #behaviour #message passing #source code #verification
- Verifying message-passing programs with dependent behavioural types (AS, NY, EB), pp. 502–516.
- POPL-2019-CastellanY #game studies #semantics
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side (SC, NY), p. 29.
- 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.
- POPL-2019-ScalasY #less is more #multi #revisited
- Less is more: multiparty session types revisited (AS, NY), p. 29.