1. Ali Almossawi , Kelvin Lim , and Tanmay Sinha . 2006. Analysis tool evaluation: Coverity prevent . Pittsburgh, PA : Carnegie Mellon University( 2006 ), 7–11. Ali Almossawi, Kelvin Lim, and Tanmay Sinha. 2006. Analysis tool evaluation: Coverity prevent. Pittsburgh, PA: Carnegie Mellon University(2006), 7–11.
2. Pascal Bertschi and Andreas Deicha. 2018. Safe C++ Guidelines Checkers und Quick Fixes. Ph. D. Dissertation. HSR Hochschule für Technik Rapperswil. Pascal Bertschi and Andreas Deicha. 2018. Safe C++ Guidelines Checkers und Quick Fixes. Ph. D. Dissertation. HSR Hochschule für Technik Rapperswil.
3. Enabling the Use of C++20 Unseq Execution Policy for OpenCL
4. Interprocedural Probabilistic Pointer Analysis;Chen Peng-Sheng;IEEE Transactions on Parallel and Distributed Systems 15,2004
5. Clang 2008. scan-build. Clang. Clang 2008. scan-build. Clang.