Valentin Perrelle -

Registered user since Tue 21 Jul 2026

Name:Valentin Perrelle

Contributions

2026

Static Analysis Symposium

Author of Heurix: A Framework to Automatically Learn Heuristics for Abstract Interpretation within the SAS 2026-track

2025

ASE

Author of Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation within the Research Papers-track

ECOOP

Author of Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis within the Technical Papers-track

2020

PLanQC

Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track
Author of Qbricks: formal verification in quantum computing within the PLanQC-track

2019

InterAVT

Author of Advances in Usability of Formal Methods for Code Verification within the InterAVT-track