This shows you the differences between two versions of the page.
publication [2014/05/30 11:49] |
publication [2014/05/30 11:49] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | =====Related Publications===== | ||
+ | ===International Conference/ | ||
+ | |||
+ | * **AlphaZ: A System for Design Space Exploration in the Polyhedral Model**, Tomofumi Yuki, Gautam Gupta, DaeGon Kim, Tanveer Pathan, and Sanjay Rajopadhye, //25th International Workshop on Languages and Compilers for Parallel Computing// (LCPC' | ||
+ | |||
+ | * **Model-Driven Engineering and Optimizing Compilers: A bridge too far?**, Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoit Combemale, Sanjay Rajopadhye, and Robert France, // | ||
+ | |||
+ | * **ompVerify: | ||
+ | |||
+ | * **Scan Detection and Parallelization in " | ||
+ | |||
+ | * **Compilation of Structured Polyhedral Equations**, | ||
+ | |||
+ | ===Talks=== | ||
+ | * **Automatic Complexity Reduction with the Polyhedral Equational Model**, Tomofumi Yuki, Sanjay Rajopadhye and Gautam Gupta, //Workshop on Leveraging Abstractions and Semantics in High-performance Computing// (LASH-C), 2013 [[https:// | ||
+ | |||
+ | * **AlphaZ and the Polyhedral Equational Model, Tomofumi Yuki and Sanjay Rajopadhye**, | ||
+ | |||
+ | ===Technical Reports=== | ||
+ | |||
+ | * **Parametrically Tiled Distributed Memory Parallelization of Polyhedral Programs**, Tomofumi Yuki and Sanjay Rajopadhye, //Technical Report CS-13-105//, | ||
+ | |||
+ | * **AlphaZ: A System for Analysis, Transformation, | ||
+ | |||
+ | * **Systematic Implementation of fast-i-loop in UNAfold using AlphaZ**, Tomofumi Yuki, Gautam Gupta, Tanveer Pathan, and Sanjay Rajopadhye, //Technical Report CS-12-102//, | ||
+ | |||
+ | * **Automatic Parallelization of “Inherently Sequential” Nested Loop Programs**, Yun Zou and Sanjay Rajopadhye, //Technical Report CS-11-102//, | ||
+ | |||
+ | ===Dissertation/ | ||
+ | * **Beyond Shared Memory Loop Parallelism in the Polyhedral Model**, Tomofumi Yuki, //Ph.D. Dissertation//, | ||
+ | |||
+ | * **The AlphaZ verifier**, Vamshi Basupalli, //MS Thesis//, Colorado State University, Fall 2011 [[http:// | ||
+ | |||
+ | * **Code generation in AlphaZ**, Pradeep Srinivasa, //MS Thesis//, Colorado State University, Spring 2011 [[http:// | ||
+ | |||
+ | * **RNA secondary structure prediction using AlphaZ**, Tanveer Pathan, //MS Thesis//, Colorado State University, Fall 2010 [[http:// | ||
+ | |||
+ | * **Automatic Parallelization of “Inherently Sequential” Nested Loop Programs**, Yun Zou, //MS Thesis//, Colorado State University, Fall 2011 [[http:// |