Treffer: Practical Verification of Peephole Optimizations with Alive.
Title:
Practical Verification of Peephole Optimizations with Alive.
Authors:
Lopes, Nuno P.1 nlopes@microsoft.com, Menendez, David2 davemm@cs.rutgers.edu, Nagarakatte, Santosh2 santosh.nagarakatte@cs.rutgers.edu, Regehr, John3 regehr@cs.utah.edu
Source:
Communications of the ACM. Feb2018, Vol. 61 Issue 2, p84-91. 8p. 6 Diagrams, 2 Charts.
Database:
Business Source Ultimate