Publications

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types. Böhler, Reinhard, Richter, Mezini. Proceedings of the ACM on Programming Languages 10 (OOPSLA). doi:10.1145/3798264 · artifact · arxiv

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Apps. Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini. ACM Transactions on Programming Languages and Systems 45. doi:10.1145/3604629 · github · arxiv
(Extended abstract presented at ECOOP'22, with an artifact.)

Compiling with Arrays. Richter, Böhler, Weisenburger, Mezini. 38th European Conference on Object-Oriented Programming. doi:10.4230/LIPIcs.ECOOP.2024.33 · artifact · github · arxiv
🏅 Distinguished Paper

A Direct-Style Effect Notation for Sequential and Parallel Programs. Richter, Böhler, Weisenburger, Mezini. 37th European Conference on Object-Oriented Programming. doi:10.4230/LIPIcs.ECOOP.2023.25 · artifact · github · arxiv
🏅 Distinguished Paper🏅 Distinguished Artifact

Multiparty Languages: the Choreographic and Multitier Cases (Pearl). Giallorenzo, Montesi, Peressotti, Richter, Salvaneschi, Weisenburger (alphabetical order). 35th European Conference on Object-Oriented Programming. doi:10.4230/LIPIcs.ECOOP.2021.22 · video
🏅 Distinguished Paper

Prompting Neural-Guided Equation Discovery Based on Residuals. Brugger, Pfanschilling, Richter, Mezini, Kramer. 28th International Conference on Discovery Science. paper · arxiv

On Eliminating the Impossible with Dependent Types: Choreographic Libraries with Proof-Carrying Located Values. Daniel, Böhler, Richter, Weisenburger, Mezini. arxiv

Mechanizing Choreographic Programs and Hoare Logic with State Transformers. Böhler, Daniel, Richter, Weisenburger, Mezini. arxiv

Extended Abstract: From Pattern Unification Towards Pattern Matching Unification. Richter, Böhler. arxiv

Incrementalizing Polynomial Functors. Böhler, Richter, Mezini. 26th ACM International Workshop on Formal Techniques for Java-like Programs. doi:10.1145/3678721.3686231 · artifact

Using Rewrite Strategies for Efficient Functional Automatic Differentiation. Böhler, Richter, Mezini. 25th ACM International Workshop on Formal Techniques for Java-like Programs. doi:10.1145/3605156.3606456 · arxiv

Verified Search for Inverse Functions, with an Application to Normalizing Flows. Richter, Böhler, Smit, Weisenburger, Mezini. preprint

Library-Based Choreographies in Lean. Daniel, Richter, Mezini.

Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks. Richter, Mogk. details · github

From Debugging Towards Live Tuning of Reactive Applications. Mogk, Weisenburger, Haas, Richter, Salvaneschi, Mezini. details · pdf

Choreographies First, Session Types Later: Decoupling Deadlock-Freedom from Endpoint Projection. Schuster, Richter, Müller, Brachthäuser, Mezini. preprint

Verified Search for Inverse Functions, with an Application to Normalizing Flows. Richter, Böhler, Smit, Weisenburger, Mezini. preprint

Neural-Guided Equation Discovery. Brugger, Cerrato, Richter, Derstroff, Maninger, Mezini, Kramer. arxiv

Increasing Precision in Monomorphization for First-Class Polymorphism. Khosoi, Richter, Mezini. (Based on Khosoi’s BSc thesis, supervised by me.)