Zdancewic, S., Zakowsky, Y., Beck, C., Yoon, I., & Chen, H. Vellvm [Computer software]. https://github.com/vellvm/vellvm