research
∙
05/15/2023
A Direct-Style Effect Notation for Sequential and Parallel Programs
Modeling sequential and parallel composition of effectful computations h...
share
research
∙
05/16/2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
Decentralized applications (dApps) consist of smart contracts that run o...
research
∙
06/23/2021
TCEP: Transitions in Operator Placement to Adapt to Dynamic Network Environments
Distributed Complex Event Processing (DCEP) is a commonly used paradigm ...
research
∙
02/14/2020
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Multitier programming languages reduce the complexity of developing dist...
research
∙
08/27/2019