Multiparty Languages: The Choreographic and Multitier Cases (Pearl). - Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; David Richter 001; Guido Salvaneschi; Pascal Weisenburger (ECOOP, 2021)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (ECOOP, 2022)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (CoRR, 2022)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (Dagstuhl Artifacts Ser., 2022)

A Direct-Style Effect Notation for Sequential and Parallel Programs. - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (ECOOP, 2023)

Using Rewrite Strategies for Efficient Functional Automatic Differentiation. - Timon Böhler; David Richter 001; Mira Mezini (FTfJP@ECOOP, 2023)

A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (Dagstuhl Artifacts Ser., 2023)

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (ACM Trans. Program. Lang. Syst., 2023)

Compiling with Arrays. - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (ECOOP, 2024)

Incrementalizing Polynomial Functors. - Timon Böhler; David Richter 001; Mira Mezini (FTfJP@ECOOP, 2024)

Compiling with Arrays (Artifact). - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (Dagstuhl Artifacts Ser., 2024)

stg-tud/ainf-compiling-with-arrays. - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (DROPS Artifacts, 2024)

Prompting Neural-Guided Equation Discovery Based on Residuals. - Jannis Brugger; Viktor Pfanschilling; David Richter 001; Mira Mezini; Stefan Kramer 001 (DS, 2025)

Functional DSL Compilers with Leightweight Proofs. - David Richter 001 (2025)

Neural-Guided Equation Discovery. - Jannis Brugger; Mattia Cerrato; David Richter 001; Cedric Derstroff; Daniel Maninger; Mira Mezini; Stefan Kramer 001 (CoRR, 2025)