Timon Böhler

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

High Level Programming Language

Parallel Version

Sequential Search

Top Venues

Dagstuhl Artifacts Ser.

Publications

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
Compiling with Arrays. CoRR (2024)
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)
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)