BOLT: A Practical Binary Optimizer for Data Centers and Beyond. - Maksim Panchenko; Rafael Auler; Bill Nell; Guilherme Ottoni (CGO, 2019)