Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michele Alberti
conf.researchr.org general profile
ASE 2025 profile
ECOOP 2026 profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 15 Sep 2025
Name:
Michele Alberti
Country:
France
Affiliation:
Université Paris-Saclay, CEA, List
Contributions
2026
Static Analysis Symposium
Author of Heurix: A Framework to Automatically Learn Heuristics for Abstract Interpretation within the SAS 2026-track
DEBT
Author of On-the-fly Abstract Debugging for Frama-C/Eva within the DEBT 2026-track
2025
ASE
Author of Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation within the Research Papers-track
Share
x
Sat 17 Oct 01:26