Maxim Menshikov. Midair: An Intermediate Representation for Multi-purpose Program Analysis. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blecic, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, Yeliz Karaca, editors, Computational Science and Its Applications - ICCSA 2020 - 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VI. Volume 12254 of Lecture Notes in Computer Science, pages 544-559, Springer, 2020. [doi]
Abstract is missing.