25 citations · 42 across the 9 of their papers we have counts for
9 papers · 1 filter
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
David Richter, David Kretzler, Pascal Weisenburger +3
Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal busi…
On the Monitorability of Session Types, in Theory and Practice (Extended Version)
Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the…
Handling Bidirectional Control Flow: Technical Report
Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers
Pressed by the difficulty of writing asynchronous, event-driven code, mainstream languages have recently been building in support for a variety of advanced control-flow features. M…
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Pascal Weisenburger, Guido Salvaneschi
Multitier programming languages reduce the complexity of developing distributed systems by developing the distributed system in a single coherent code base. The compiler or the run…
Type-safe, Polyvariadic Event Correlation
Oliver Bračevac, Guido Salvaneschi, Sebastian Erdweg +1
The pivotal role that event correlation technology plays in todays applications has lead to the emergence of different families of event correlation approaches with a multitude of…
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Matthias Eichholz, Eric Campbell, Nate Foster +2
The P4 programming language offers high-level, declarative abstractions that bring the flexibility of software to the domain of networking. Unfortunately, the main abstraction used…
CPL: A Core Language for Cloud Computing -- Technical Report
Oliver Bračevac, Sebastian Erdweg, Guido Salvaneschi +1
Running distributed applications in the cloud involves deployment. That is, distribution and configuration of application services and middleware infrastructure. The considerable c…
Context-Oriented Programming: A Programming Paradigm for Autonomic Systems
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Dynamic software adaptability is one of the central features leveraged by autonomic computing. However, developing software that changes its behavior at run time adapting to the op…
JavaCtx: Seamless Toolchain Integration for Context-Oriented Programming
Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella
Context-oriented programming is an emerging paradigm addressing at the language level the issue of dynamic software adaptation and modularization of context-specific concerns. In t…