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...
share
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
∙
10/18/2020
Handling Bidirectional Control Flow: Technical Report
Pressed by the difficulty of writing asynchronous, event-driven code, ma...
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
∙
07/05/2019
Type-safe, Polyvariadic Event Correlation
The pivotal role that event correlation technology plays in todays appli...
research
∙
06/17/2019
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
The P4 programming language offers high-level, declarative abstractions ...
research
∙
02/03/2018