Joel E Denny Contact dennyje@ornl.gov | 865.576.7592 Publications June, 2016 NVL-C: Static Analysis Techniques for Efficient, Correct Programming of ... Conference Paper November, 2015 FITL: Extending LLVM for the Translation of Fault-Injection Directives..... Conference Paper Pagination First page « First Previous page ‹‹ Page 1 Current page 2 View All Key Links ORCID
June, 2016 NVL-C: Static Analysis Techniques for Efficient, Correct Programming of ... Conference Paper
November, 2015 FITL: Extending LLVM for the Translation of Fault-Injection Directives..... Conference Paper