David Richter

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 13

Top Topics

High Level Programming Language

Parallel Version

Contractual Obligations

Extended Abstract

Top Venues

Dagstuhl Artifacts Ser.

Publications

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs. ECOOP (2023)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Timon Böhler, David Richter, Mira Mezini
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. CoRR (2023)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs. CoRR (2023)
Timon Böhler, David Richter, Mira Mezini
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. FTfJP@ECOOP (2023)
David Richter
Some notes on generic rectangulations. Contributions Discret. Math. 17 (2) (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ECOOP (2022)
Tao He, David Richter, Zhiguo Wang, Floris P. de Lange
Spatial and Temporal Context Jointly Modulate the Sensory Response within the Ventral Visual Stream. J. Cogn. Neurosci. 34 (2) (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). CoRR (2022)
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ECOOP (2021)
David Richter, Victoria Reibenspiess, Andreas Eckhardt
Identifying and Discussing Drivers and Barriers of a Job System for the Virtual Agile Workforce of the Future. SIGMIS-CPR (2018)
William Aitken, Brian Dickens, Paul Kwiatkowski, Oege de Moor, David Richter, Charles Simonyi
Transformation in intentional programming. ICSR (1998)
Paul Chang, Ed Richards, David Richter
The PIN Module: A High Accuracy Concept in Very High Frequency Pin Electronics. ITC (1981)