Abstract:Concurrent computations resemble conversations. In a conversation, participants direct utterances at others and, as the conversation evolves, exploit the known common context to advance the conversation. Similarly, collaborating software components share knowledge with each other in order to make progress as a group towards a common goal. This dissertation studies concurrency from the perspective of cooperative knowledge-sharing, taking the conversational exchange of knowledge as a central concern in the design of concurrent programming languages. In doing so, it makes five contributions: 1. It develops the idea of a common dataspace as a medium for knowledge exchange among concurrent components, enabling a new approach to concurrent programming. While dataspaces loosely resemble both "fact spaces" from the world of Linda-style languages and Erlang's collaborative model, they significantly differ in many details. 2. It offers the first crisp formulation of cooperative, conversational knowledge-exchange as a mathematical model. 3. It describes two faithful implementations of the model for two quite different languages. 4. It proposes a completely novel suite of linguistic constructs for organizing the internal structure of individual actors in a conversational setting. The combination of dataspaces with these constructs is dubbed Syndicate. 5. It presents and analyzes evidence suggesting that the proposed techniques and constructs combine to simplify concurrent programming. The dataspace concept stands alone in its focus on representation and manipulation of conversational frames and conversational state and in its integral use of explicit epistemic knowledge. The design is particularly suited to integration of general-purpose I/O with otherwise-functional languages, but also applies to actor-like settings more generally.

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)

Beyond Transmitting Bits: Context, Semantics, and Task-Oriented Communications

Communicating Concurrent Functions

Session Communication and Integration

A Session Type System for Asynchronous Unreliable Broadcast Communication

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing

Conversational Concurrency

Communication Abstractions for Distributed Business Processes

Network Abstractions for Characterizing Communication Requirements in Asynchronous Distributed Systems

Session Types With Multiple Senders Single Receiver (report version)

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization

Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic

Superscalar Communication: A Runtime Optimization for Distributed Applications

On the Monitorability of Session Types, in Theory and Practice (Extended Version)

Session Types for Link Failures (Technical Report)

Communication and Distributed Work

Unifying Partial Synchrony

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols

Communication Pattern Logic: Epistemic and Topological Views

Proofs about Network Communication: For Humans and Machines