SKA: static kernel analysis using LLVM IR. - Kartik Ramkrishnan; Ben Bergen 002; Justin Tripp (LLVM@SC, 2015)