David Richter

According to our database, David Richter authored at least 12 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

ACM Trans. Program. Lang. Syst., September, 2023

A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact).

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Dagstuhl Artifacts Ser., 2023

Using Rewrite Strategies for Efficient Functional Automatic Differentiation.

Timon Böhler, David Richter, Mira Mezini

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

A Direct-Style Effect Notation for Sequential and Parallel Programs.

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Spatial and Temporal Context Jointly Modulate the Sensory Response within the Ventral Visual Stream.

Tao He, David Richter, Zhiguo Wang, Floris P. de Lange

J. Cogn. Neurosci., 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

Dagstuhl Artifacts Ser., 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

CoRR, 2022

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

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2018

Identifying and Discussing Drivers and Barriers of a Job System for the Virtual Agile Workforce of the Future.

David Richter, Victoria Reibenspiess, Andreas Eckhardt

Proceedings of the 2018 ACM SIGMIS Conference on Computers and People Research, 2018

1998

Transformation in intentional programming.

William Aitken, Brian Dickens, Paul Kwiatkowski, Oege de Moor, David Richter, Charles Simonyi

Proceedings of the Fifth International Conference on Software Reuse, 1998

1981

The PIN Module: A High Accuracy Concept in Very High Frequency Pin Electronics.

Paul Chang, Ed Richards, David Richter

Proceedings of the Proceedings International Test Conference 1981, 1981