research
∙
03/02/2021
The Difficulty in Scaling Blockchains: A Simple Explanation
Blockchains have become immensely popular and are high on the list of na...
share
research
∙
12/07/2019
Programming Scalable Cloud Services with AEON
Designing low-latency cloud-based applications that are adaptable to unp...
research
∙
02/01/2019
Comprehensive Multiparty Session Types
Multiparty session types (MST) are a well-established type theory that d...
research
∙
08/20/2018