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'12), 2012 link

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, International Conference on Model Driven Engineering Languages and Systems (MODELS'11), 2011 link

ompVerify: Polyhedral Analysis for the OpenMP Programmer, Vamshi Basupalli, Tomofumi Yuki, Sanjay Rajopadhye, Antoine Morvan, Steven Derrien, Patrice Quinton, and Dave Wonnacott, 7th International Workshop on OpenMP (IWOMP'11), 2011 link

Scan Detection and Parallelization in “Inherently Sequential” Nested Loop Programs, Yun Zou and Sanjay Rajopadhye, 10th International Symposium on Code Generation and Optimization (CGO'12), 2012 pdf

Compilation of Structured Polyhedral Equations, Yun Zou, Guillaume Iooss and Sanjay Rajopadhye 17th Workshop on Compilers for Parallel Computing, (CPC'13), 2013 pdf

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 link

AlphaZ and the Polyhedral Equational Model, Tomofumi Yuki and Sanjay Rajopadhye, Second International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing (WOLFHPC'12), 2012 link

Parametrically Tiled Distributed Memory Parallelization of Polyhedral Programs, Tomofumi Yuki and Sanjay Rajopadhye, Technical Report CS-13-105, Colorado State University, 2013 pdf

AlphaZ: A System for Analysis, Transformation, and Code Generation in the Polyhedral Equational Model, Tomofumi Yuki, Vamshi Basupalli, Gautam Gupta, Guillaume Iooss, DaeGon Kim, Tanveer Pathan, Pradeep Srinivasa, Yun Zou, and Sanjay Rajopadhye, Technical Report CS-12-101, Colorado State University, 2012 pdf

Systematic Implementation of fast-i-loop in UNAfold using AlphaZ, Tomofumi Yuki, Gautam Gupta, Tanveer Pathan, and Sanjay Rajopadhye, Technical Report CS-12-102, Colorado State University, 2012 pdf

Automatic Parallelization of “Inherently Sequential” Nested Loop Programs, Yun Zou and Sanjay Rajopadhye, Technical Report CS-11-102, Colorado State University, 2011 pdf

Beyond Shared Memory Loop Parallelism in the Polyhedral Model, Tomofumi Yuki, Ph.D. Dissertation, Colorado State University, Fall 2012 pdf

The AlphaZ verifier, Vamshi Basupalli, MS Thesis, Colorado State University, Fall 2011 pdf

Code generation in AlphaZ, Pradeep Srinivasa, MS Thesis, Colorado State University, Spring 2011 pdf

RNA secondary structure prediction using AlphaZ, Tanveer Pathan, MS Thesis, Colorado State University, Fall 2010 pdf

Automatic Parallelization of “Inherently Sequential” Nested Loop Programs, Yun Zou, MS Thesis, Colorado State University, Fall 2011 pdf