1. The llvm compiler infrastructure. http://www.lllvm.org
2. MIPS32 Architecture For Programmers Volume II: The MIPS32 Instruction Set (2001)
3. Bansal, S., Aiken, A.: Binary translation using peephole superoptimizers. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pp. 177–192. USENIX Association (2008)
4. Bellard, F.: Qemu, a fast and portable dynamic translator. In: USENIX Annual Technical Conference, FREENIX Track, pp. 41–46 (2005)
5. Chipounov, V., Kuznetsov, V., Candea, G.: The S2E platform: design, implementation, and applications. ACM Trans. Comput. Syst. (TOCS) 30(1), 2 (2012)