Powered by
25th International Conference on Compiler Construction (CC 2016),
March 17–18, 2016,
Barcelona, Spain
Frontmatter
Speculation
Run-Time Techniques
Verified Compilation
Verification
Energy and Dynamic Checking
Static and Dynamic Optimization
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
Static Analysis
Data Layout and Polyhedral Techniques
Tool Demonstrations
GreenThumb: Superoptimizer Construction Framework
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati
(University of California at Berkeley, USA; Google, USA; University of Washington, USA; Qualcomm Research, USA)
proc time: 0.73