| No. |
Title |
Author |
Year |
| 1 |
A Direct-Style Effect Notation for Sequential and Parallel Programs |
Richter, David et al. |
2023 |
| 2 |
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact) |
Richter, David et al. |
2023 |
| 3 |
Algebraic Replicated Data Types: Programming Secure Local-First Software |
Kuessner, Christian et al. |
2023 |
| 4 |
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact) |
Kuessner, Christian et al. |
2023 |
| 5 |
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact) |
Haas, Julian et al. |
2023 |
| 6 |
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract) |
Haas, Julian et al. |
2023 |
| 7 |
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact) |
Richter, David et al. |
2022 |
| 8 |
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract) |
Richter, David et al. |
2022 |
| 9 |
Dealing with Variability in API Misuse Specification |
Bonifácio, Rodrigo et al. |
2021 |
| 10 |
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 |
Eichholz, Matthias et al. |
2019 |
| 11 |
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs |
Krüger, Stefan et al. |
2018 |
| 12 |
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact) |
Krüger, Stefan et al. |
2018 |
| 13 |
Fault-tolerant Distributed Reactive Programming |
Mogk, Ragnar et al. |
2018 |
| 14 |
A Co-contextual Type Checker for Featherweight Java |
Kuci, Edlira et al. |
2017 |
