1. Preventing memory error exploits with wit;Akritidis,2008
2. Alan, D., 2002. Pscan: a limited problem scanner for c source files. http://deployingradius.com/pscan/.
3. The quickhull algorithm for convex hulls;Barber;ACM Trans. Math. Softw.,1996
4. Abcd: eliminating array bounds checking on demand;Bodík,2000
5. Repram: re-cycling pram faulty blocks for extended lifetime;Chen,2012