Nobuko Yoshida

According to our database1, Nobuko Yoshida
  • authored at least 177 papers between 1993 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Monitoring networks through multiparty session types.
Theor. Comput. Sci., 2017

Certifying data in multiparty session types.
J. Log. Algebr. Meth. Program., 2017

Guest editors' foreword.
J. Log. Algebr. Meth. Program., 2017

Timed runtime monitoring for multiparty conversations.
Formal Asp. Comput., 2017

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

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).
Dagstuhl Reports, 2017

Multiparty Session Types, Beyond Duality (Abstract).
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Multiparty Session Actors.
Logical Methods in Computer Science, 2017

Towards a Categorical Representation of Reversible Event Structures.
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Characteristic bisimulation for higher-order session processes.
Acta Inf., 2017

Multiparty session types as coherence proofs.
Acta Inf., 2017

Fencing off go: liveness and safety for channel-based programming.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On the Undecidability of Asynchronous Session Subtyping.
Proceedings of the Foundations of Software Science and Computation Structures, 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

Session-ocaml: A Session-Based Library with Polarities and Lenses.
Proceedings of the Coordination Models and Languages, 2017

Let it recover: multiparty protocol-induced recovery.
Proceedings of the 26th International Conference on Compiler Construction, 2017

2016
On asynchronous eventful session semantics.
Mathematical Structures in Computer Science, 2016

Global progress for dynamically interleaved multiparty sessions.
Mathematical Structures in Computer Science, 2016

Global escape in multiparty sessions.
Mathematical Structures in Computer Science, 2016

Multiparty Asynchronous Session Types.
J. ACM, 2016

Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages, 2016

Lightweight Session Programming in Scala (Artifact).
DARTS, 2016

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).
CoRR, 2016

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Logical Methods in Computer Science, 2016

On the Preciseness of Subtyping in Session Types.
CoRR, 2016

Characteristic Formulae for Session Types.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Reversing Single Sessions.
Proceedings of the Reversible Computation - 8th International Conference, 2016

Effects as sessions, sessions as effects.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.
Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

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

On the Relative Expressiveness of Higher-Order Session Processes.
Proceedings of the Programming Languages and Systems, 2016

Lightweight Session Programming in Scala.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

Static deadlock detection for concurrent go by global session graph synthesis.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Certifying Data in Multiparty Session Types.
Proceedings of the A List of Successes That Can Change the World, 2016

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Pabble: parameterised Scribble.
Service Oriented Computing and Applications, 2015

Reversible session-based pi-calculus.
J. Log. Algebr. Meth. Program., 2015

Session typing and asynchronous subtyping for the higher-order π-calculus.
Inf. Comput., 2015

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.
Formal Methods in System Design, 2015

Reversing Single Sessions.
CoRR, 2015

Using session types as an effect system.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Characteristic Formulae for Session Types (extended version).
CoRR, 2015

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.
CoRR, 2015

Precise subtyping for synchronous multiparty sessions.
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.
Proceedings of the Formal Methods for Multicore Programming, 2015

Dynamic deadlock verification for general barrier synchronisation.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

From Communicating Machines to Graphical Choreographies.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Protocol-based verification of message-passing parallel programs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

On the Expressiveness of Multiparty Sessions.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Characteristic Bisimulation for Higher-Order Session Processes.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Multiparty Session Types as Coherence Proofs.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Meeting Deadlines Together.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

Protocols by Default - Safe MPI Code Generation Based on Session Types.
Proceedings of the Compiler Construction - 24th International Conference, 2015

2014
An observationally complete program logic for imperative higher-order functions.
Theor. Comput. Sci., 2014

Scaling Future Software: The Manycore Challenge.
ERCIM News, 2014

Towards Reversible Sessions.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Multiparty Session Actors.
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Timed Runtime Monitoring for Multiparty Conversations.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Globally Governed Session Semantics.
Logical Methods in Computer Science, 2014

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

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus.
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

On the Preciseness of Subtyping in Session Types.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Pabble: Parameterised Scribble for Parallel Programming.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Calculating communication costs with Sessions Types and Sizes.
Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

Multiparty Session Actors.
Proceedings of the Coordination Models and Languages, 2014

Timed Multiparty Session Types.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

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

2013
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
CoRR, 2013

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

Scalable Session Programming for Heterogeneous High-Performance Systems.
Proceedings of the Software Engineering and Formal Methods, 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

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Monitoring Networks through Multiparty Session Types.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Compositional Choreographies.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

Globally Governed Session Semantics.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Structured Communication-Centered Programming for Web Services.
ACM Trans. Program. Lang. Syst., 2012

Session types: towards safe and fast reconfigurable programming.
SIGARCH Computer Architecture News, 2012

Parameterised Multiparty Session Types
Logical Methods in Computer Science, 2012

Multiparty Session C: Safe Parallel Programming with Message Optimisation.
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

A Multiparty Multi-session Logic.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Verification of MPI Programs Using Session Types.
Proceedings of the Recent Advances in the Message Passing Interface, 2012

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.
Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Multiparty Session Types Meet Communicating Automata.
Proceedings of the Programming Languages and Systems, 2012

Intensional and Extensional Characterisation of Global Progress in the π-Calculus.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
A Unified Theory of Program Logics: An Approach based on the π-Calculus.
Comput. J., 2011

Asynchronous Distributed Monitoring for Multiparty Session Enforcement.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Dynamic multirole session types.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Scribbling Interactions with a Formal Foundation.
Proceedings of the Distributed Computing and Internet Technology, 2011

On Asynchronous Session Semantics.
Proceedings of the Formal Techniques for Distributed Systems, 2011

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

2010
Typed event structures and the linear pi-calculus.
Theor. Comput. Sci., 2010

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

Multiparty Symmetric Sum Types
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Global Escape in Multiparty Sessions.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Parameterised Multiparty Session Types.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

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

Buffered Communication Analysis in Distributed Multiparty Sessions.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

A Theory of Design-by-Contract for Distributed Multiparty Interactions.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
Objects and session types.
Inf. Comput., 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

A Symbolic Semantics for a Calculus for Service-Oriented Computing.
Electr. Notes Theor. Comput. Sci., 2009

Type-Directed Compilation for Multicore Programming.
Electr. Notes Theor. Comput. Sci., 2009

Synchronous Multiparty Session Types.
Electr. Notes Theor. Comput. Sci., 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

Session-Based Communication Optimisation for Higher-Order Mobile Processes.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Asynchronous Session Types: Exceptions and Multiparty Interactions.
Proceedings of the Formal Methods for Web Services, 2009

On Observing Dynamic Prioritised Actions in SOC.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Global Principal Typing in Partially Commutative Asynchronous Sessions.
Proceedings of the Programming Languages and Systems, 2009

2008
Logical Reasoning for Higher-Order Functions with Local State.
Logical Methods in Computer Science, 2008

Theoretical Aspects of Communication-Centred Programming.
Electr. Notes Theor. Comput. Sci., 2008

Logical Reasoning for Higher-Order Functions with Local State
CoRR, 2008

Multiparty asynchronous session types.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Session-Based Compilation Framework for Multicore Programming.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

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

Structured Interactional Exceptions in Session Types.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

A Unified Theory of Program Logics: An Approach based on the n-Calculus.
Proceedings of the Visions of Computer Science, 2008

2007
A uniform type structure for secure information flow.
ACM Trans. Program. Lang. Syst., 2007

Formalising Java RMI with explicit code mobility.
Theor. Comput. Sci., 2007

Linearity and bisimulation.
J. Log. Algebr. Program., 2007

A logical analysis of aliasing in imperative higher-order functions.
J. Funct. Program., 2007

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Electr. Notes Theor. Comput. Sci., 2007

Probabilistic pi-Calculus and Event Structures.
Electr. Notes Theor. Comput. Sci., 2007

A Calculus of Global Interaction based on Session Types.
Electr. Notes Theor. Comput. Sci., 2007

Web Services, Mobile Processes and Types.
Bulletin of the EATCS, 2007

Two Session Typing Systems for Higher-Order Mobile Processes.
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

On Progress for Structured Communications.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Logical Reasoning for Higher-Order Functions with Local State.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Asynchronous Session Types and Progress for Object Oriented Languages.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Structured Communication-Centred Programming for Web Services.
Proceedings of the Programming Languages and Systems, 2007

Compositional Event Structure Semantics for the Internal pi -Calculus.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Timed, Distributed, Probabilistic, Typed Processes.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Editorial.
Theor. Comput. Sci., 2006

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness.
Electr. Notes Theor. Comput. Sci., 2006

Typed Event Structures and the pi-Calculus: Extended Abstract.
Electr. Notes Theor. Comput. Sci., 2006

Descriptive and Relative Completeness of Logics for Higher-Order Functions.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Bounded Session Types for Object Oriented Languages.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Session Types for Object-Oriented Languages.
Proceedings of the ECOOP 2006, 2006

2005
Noninterference through flow analysis.
J. Funct. Program., 2005

safeDpi: a language for controlling mobile code.
Acta Inf., 2005

Genericity and the pi-calculus.
Acta Inf., 2005

A Distributed Object-Oriented Language with Session Types.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Formalising Java RMI with explicit code mobility.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

A logical analysis of aliasing in imperative higher-order functions.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004
Strong normalisation in the pi -calculus.
Inf. Comput., 2004

A compositional logic for polymorphic higher-order functions.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Channel dependent types for higher-order mobile processes.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

safeDpi: A Language for Controlling Mobile Code.
Proceedings of the Foundations of Software Science and Computation Structures, 2004

A Distributed Abstract Machine for Boxed Ambient Calculi.
Proceedings of the Programming Languages and Systems, 2004

2003
Genericity and the pi-Calculus.
Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002
Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators.
Theor. Comput. Sci., 2002

Assigning Types to Processes.
Inf. Comput., 2002

Dynamic Channel Screening in the Higher Order pi-Calculus.
Electr. Notes Theor. Comput. Sci., 2002

A uniform type structure for secure information flow.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Linearity and Bisimulation.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Sequentiality and the pi-Calculus.
TLCA, 2001

Strong Normalisation in the pi-Calculus.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000
Assigning Types to Processes.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

Secure Information Flow as Typed Process Behaviour.
Proceedings of the Programming Languages and Systems, 2000

1999
Game-Theoretic Analysis of Call-by-Value Computation.
Theor. Comput. Sci., 1999

Suptyping and Locality in Distributed Higher Order Processes (extended abstract).
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Game Theoretic Analysis of Call-by-Value Computation.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996
Graph Types for Monadic Mobile Processes.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995
On Reduction-Based Process Semantics.
Theor. Comput. Sci., 1995

1994
Graph Notation for Concurrent Combinators.
Proceedings of the Theory and Practice of Parallel Programming, 1994

Replication in Concurrent Combinators.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Combinatory Representation of Mobile Processes.
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993
On Reduction-Based Semantics.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Optimal Reduction in Weak-λ-calculus with Shared Environments.
Proceedings of the conference on Functional programming languages and computer architecture, 1993


  Loading...