David Richter

19 papers A 4B 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types.
CoRR
Timon Böhler, Tobias Reinhard, David Richter, Mira Mezini
2025 — —
Functional DSL Compilers with Leightweight Proofs.
David Richter
2025 J jnl
Neural-Guided Equation Discovery.
CoRR
Jannis Brugger, Mattia Cerrato, David Richter, Cedric Derstroff, Daniel Maninger, Mira Mezini, Stefan Kramer
2025 B conf
Prompting Neural-Guided Equation Discovery Based on Residuals.
DS
Jannis Brugger, Viktor Pfanschilling, David Richter, Mira Mezini, Stefan Kramer
2025 J jnl
Prompting Neural-Guided Equation Discovery Based on Residuals.
CoRR
Jannis Brugger, Viktor Pfanschilling, David Richter, Mira Mezini, Stefan Kramer
2024 J jnl
Compiling with Arrays (Artifact).
Dagstuhl Artifacts Ser.
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 A conf
Compiling with Arrays.
ECOOP
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 J jnl
Compiling with Arrays.
CoRR
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 — conf
Incrementalizing Polynomial Functors.
FTfJP@ECOOP
Timon Böhler, David Richter, Mira Mezini
2023 J jnl
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact).
Dagstuhl Artifacts Ser.
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 A conf
A Direct-Style Effect Notation for Sequential and Parallel Programs.
ECOOP
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 J jnl
A Direct-Style Effect Notation for Sequential and Parallel Programs.
CoRR
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 J jnl
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
ACM Trans. Program. Lang. Syst.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2023 — conf
Using Rewrite Strategies for Efficient Functional Automatic Differentiation.
FTfJP@ECOOP
Timon Böhler, David Richter, Mira Mezini
2023 J jnl
Using Rewrite Strategies for Efficient Functional Automatic Differentiation.
CoRR
Timon Böhler, David Richter, Mira Mezini
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).
Dagstuhl Artifacts Ser.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 A conf
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).
ECOOP
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
CoRR
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2021 A conf
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
ECOOP
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger