71 citations · 289 across the 25 of their papers we have counts for
4 papers · 1 filter
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Timon Böhler, David Richter, Mira Mezini
Automatic Differentiation (AD) has become a dominant technique in ML. AD frameworks have first been implemented for imperative languages using tapes. Meanwhile, functional implemen…
UNGOML: Automated Classification of unsafe Usages in Go
Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner +2
The Go programming language offers strong protection from memory corruption. As an escape hatch of these protections, it provides the unsafe package. Previous studies identified th…
Towards Code Generation from BDD Test Case Specifications: A Vision
Leon Chemnitz, David Reichenbach, Hani Aldebes +3
Automatic code generation has recently attracted large attention and is becoming more significant to the software development process. Solutions based on Machine Learning and Artif…
LoRe: A Programming Model for Verifiably Safe Local-First Software
Julian Haas, Ragnar Mogk, Elena Yanakieva +2
Local-first software manages and processes private data locally while still enabling collaboration between multiple parties connected via partially unreliable networks. Such softwa…