Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella. Unconstrained Variable Oracles for Faster Numeric Static Analyses. In Manuel V. Hermenegildo, José F. Morales 0001, editors, Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Volume 14284 of Lecture Notes in Computer Science, pages 65-83, Springer, 2023. [doi]
Abstract is missing.