Maksim Panchenko, Rafael Auler, Laith Sakka, Guilherme Ottoni. Lightning BOLT: powerful, fast, and scalable binary optimization. In Aaron Smith, Delphine Demange, Rajiv Gupta 0001, editors, CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021. pages 119-130, ACM, 2021. [doi]
Abstract is missing.