Multiparty languages: The choreographic and multitier cases S Giallorenzo, F Montesi, M Peressotti, D Richter, G Salvaneschi, ... ECOOP 2021-European Conference on Object-Oriented Programming, 2021 | 26 | 2021 |
From debugging towards live tuning of reactive applications R Mogk, P Weisenburger, J Haas, D Richter, G Salvaneschi, M Mezini 2018 LIVE Programming Workshop. LIVE 18, 2018 | 6 | 2018 |
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications D Richter, D Kretzler, P Weisenburger, G Salvaneschi, S Faust, M Mezini ACM Transactions on Programming Languages and Systems 45 (3), 1-41, 2023 | 2 | 2023 |
Using Rewrite Strategies for Efficient Functional Automatic Differentiation T Böhler, D Richter, M Mezini Proceedings of the 25th ACM International Workshop on Formal Techniques for …, 2023 | | 2023 |
A Direct-Style Effect Notation for Sequential and Parallel Programs D Richter, T Böhler, P Weisenburger, M Mezini arXiv preprint arXiv:2305.08496, 2023 | | 2023 |
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact) D Richter, T Böhler, P Weisenburger, M Mezini Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023 | | 2023 |
Neural-guided equation discovery J Brugger, D Richter, M Cerrato, M Mezini, S Kramer | | 2023 |
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications D Richter, D Kretzler, P Weisenburger, G Salvaneschi, S Faust, M Mezini 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | | 2022 |