research
∙
03/25/2021
Expanding Frontiers: Settling an Understanding of Systems-of-Information Systems
System-of-Systems (SoS) has consolidated itself as a special type of sof...
share
research
∙
03/18/2021
Zooid: a DSL for Certified Multiparty Computation
We design and implement Zooid, a domain specific language for certified ...
research
∙
01/12/2021
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Modern web programming involves coordinating interactions between browse...
research
∙
09/14/2020
Statically Verified Refinements for Multiparty Protocols
With distributed computing becoming ubiquitous in the modern era, safe d...
research
∙
04/03/2020
Generating Interactive WebSocket Applications in TypeScript
Advancements in mobile device computing power have made interactive web ...
research
∙
05/07/2019
A Type Theory for Defining Logics and Proofs
We describe a Martin-Löf-style dependent type theory, called Cocon, that...
research
∙
01/10/2019