David Richter

According to our database, David Richter authored at least 12 papers between 2021 and 2024.

Collaborative distances:

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

2024

stg-tud/ainf-compiling-with-arrays.

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

Dataset, November, 2024

Compiling with Arrays (Artifact).

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

Dagstuhl Artifacts Ser., 2024

Incrementalizing Polynomial Functors.

Timon Böhler, David Richter, Mira Mezini

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

Compiling with Arrays.

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

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

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

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