Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation
Συγγραφείς: Mattar, Maykel, Alberti, Michele, Perrelle, Valentin, Sadou, Salah
Πηγή: 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)
Βάση Δεδομένων: IEEE Xplore Digital Library