Session Types: a History and Applications

Session types is a typing discipline for concurrent and distributed processes that can detect errors such as communication mismatches and deadlocks, statically or dynamically. 

This talk first gives a brief history of session types, along with a very gentle industry-friendly introduction of session types. 

I then talk how an extension of session types to multiparty interactions (multiparty session types) was discovered under the collaborations with industry. 

I then give a summary of our recent research developments on session types for verifying distributed, parallel and concurrent programs, and our collaborations with industry partners with demos.

Upcoming conferences

Start booking your calendar with more Code Sync conferences happening across the globe. We will be slowly releasing more dates, in the meantime here is what we’ve planned already:

All conferences