1 |
mem2reg generates incorrect code. https://llvm.org/ bugs/show_bug.cgi?id=24179. Accessed: 2016-02-25.
|
2 |
Linus torvalds: "gcc 4.9.0 seems to be terminally broken". http://www.techienews.co.uk/9715681/linus-torvaldsgcc-4-9-0-seems-terminally-broken/. Accessed: 2016-02-25.
|
3 |
David Delmas and Jean Souyris. Astree: From research to industry. In Proceedings of the 14th International Conference on Static Analysis (SAS), 2007.
|
4 |
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simon Winwood. seL4: Formal verification of an OS kernel. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP), 2009.
|
5 |
Vu Le, Mehrdad Afshari, and Zhendong Su. Compiler validation via equivalence modulo inputs. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2014.
|
6 |
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr. Finding and understanding bugs in C compilers. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2011.
|
7 |
Jianzhou Zhao, Santosh Nagarakatte, Milo M.K. Martin, and Steve Zdancewic. Formalizing the LLVM intermediate representation for verified program transformations. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2012.
|
8 |
The LLVM Compiler Infrastructure. http://www.llvm.org/ProjectsWithLLVM/. Accessed: 2016-02-25.
|