| 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 | 31 | 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 | 5 | 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 | 2 | 2023 |
| Incrementalizing Polynomial Functors T Böhler, D Richter, M Mezini Proceedings of the 26th ACM International Workshop on Formal Techniques for …, 2024 | | 2024 |
| Compiling with Arrays D Richter, T Böhler, P Weisenburger, M Mezini arXiv preprint arXiv:2405.18242, 2024 | | 2024 |
| stg-tud/ainf-compiling-with-arrays D Richter, T Böhler, P Weisenburger, M Mezini Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
| Compiling with Arrays (Artifact) D Richter, T Böhler, P Weisenburger, M Mezini Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
| 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 |
| 37th European Conference on Object-Oriented Programming (ECOOP 2023) AD Barwell, P Hou, N Yoshida, F Zhou, J Bauwens, E Gonzalez Boix, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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 |
Pascal WeisenburgerUniversity of St. GallenVerified email at unisg.ch
