1. Building useful program analysis tools using an extensible Java compiler;Aftandilian,2012
2. Compilers: Principles, Techniques, and Tools;Aho,2006
3. Using static analysis to find bugs;Ayewah;IEEE Softw.,2008
4. Getafix: Learning to fix bugs automatically;Bader;Proc. ACM Program. Lang.,2019
5. From quick fixes to slow fixes: Reimagining static analysis resolutions to enable design space exploration;Barik,2016