3 papers
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…
cs.AR2025
Bombyx: OpenCilk Compilation for FPGA Hardware Acceleration
Mohamed Shahawy, Julien de Castelnau, Paolo Ienne
Task-level parallelism (TLP) is a widely used approach in software where independent tasks are dynamically created and scheduled at runtime. Recent systems have explored architectu…
cs.CR2025
Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis
Julien de Castelnau, Mingfei Yu, Giovanni De Micheli
Fully Homomorphic Encryption (FHE) is a promising privacy-preserving technology enabling secure computation over encrypted data. A major limitation of current FHE schemes is their…