David Richter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1981–2025
Best venue rank
A
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DIS | Prompting Neural-Guided Equation Discovery Based on Residuals. | Jannis Brugger, Viktor Pfanschilling, David Richter, Mira Mezini, Stefan Kramer |
| 2024 | ECOOP | Compiling with Arrays. | David Richter, Timon Bhler, Pascal Weisenburger, Mira Mezini |
| 2024 | FTfJP | Incrementalizing Polynomial Functors. | Timon Bhler, David Richter, Mira Mezini |
| 2023 | ECOOP | A Direct-Style Effect Notation for Sequential and Parallel Programs. | David Richter, Timon Bhler, Pascal Weisenburger, Mira Mezini |
| 2023 | FTfJP | Using Rewrite Strategies for Efficient Functional Automatic Differentiation. | Timon Bhler, David Richter, Mira Mezini |
| 2022 | ECOOP | Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini |
| 2021 | ECOOP | Multiparty Languages: The Choreographic and Multitier Cases (Pearl). | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger |
| 1998 | ICSR | Transformation in intentional programming. | William Aitken, Brian Dickens, Paul Kwiatkowski, Oege de Moor, David Richter, Charles Simonyi |
| 1981 | ITC | The PIN Module: A High Accuracy Concept in Very High Frequency Pin Electronics. | Paul Chang, Ed Richards, David Richter |