Conference
Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation
| Title: | Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation |
|---|---|
| Authors: | Mattar, Maykel, Alberti, Michele, Perrelle, Valentin, Sadou, Salah |
| Source: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :291-303 Nov, 2025 |
| Relation: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798350357332 9798350357349 |
|---|---|
| ISSN: | 26431572 19384300 |
| DOI: | 10.1109/ASE63991.2025.00032 |