Pierre-Loïc Garoche

Silent numerical bugs like catastrophic cancellation can quietly corrupt training pipelines and custom kernels, but FPScan exposes them automatically by compiling magnitude-aware error propagation directly into first-order SMT queries.

An innovative online tool transforms the teaching of Lustre, making complex concepts in synchronous dataflow modeling accessible and engaging for engineering students.