Timothy Clem, Patrick Thomson: Static Analysis at GitHub: An experience report. ACM Queue 19(4): 42-67 (2021)