David Richter | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mira Mezini
26 publications
Guido Salvaneschi
7 publications
Pascal Weisenburger
5 publications
Sebastian Faust
3 publications
David Kretzler
2 publications
Timon Böhler
2 publications

research

∙ 07/05/2023

Using Rewrite Strategies for Efficient Functional Automatic Differentiation

Automatic Differentiation (AD) has become a dominant technique in ML. AD...

0 Timon Böhler, et al. ∙

research

∙ 05/15/2023

A Direct-Style Effect Notation for Sequential and Parallel Programs

Modeling sequential and parallel composition of effectful computations h...

0 David Richter, et al. ∙

research

∙ 05/16/2022

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

Decentralized applications (dApps) consist of smart contracts that run o...

0 David Richter, et al. ∙