activity
20202026
most citedSketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs

5 citations · 11 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.PL2026

Source-to-Source Transformations for GPU Code Generation

Julien de Castelnau, Thomas Koehler, Arthur Charguéraud +1

GPUs have become essential in modern high performance computing, but programming them correctly remains a significant challenge. This difficulty arises from subtle concurrency bugs…