Johnnie Birch

Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization

Kyle A. Gallivan, Robert A. van Engelen, Yixin Shou, 2006, ACM-SE 44.

An empirical evaluation of chains of recurrences for array dependence testing

Kyle A. Gallivan, Robert A. van Engelen, Yixin Shou, 2006, 2006 International Conference on Parallel Architectures and Compilation Techniques (PACT).

Discovering Maximum Parallelization Using Advanced Data Dependence Analysis

Kleanthis Psarris, Johnnie Birch, 2008, 2008 10th IEEE International Conference on High Performance Computing and Communications.

Flow-Sensitive Loop-Variant Variable Classification in Linear Time

Robert A. van Engelen, Yixin Shou, Johnnie Birch, 2007, LCPC.

A unified framework for nonlinear dependence testing and symbolic analysis

Kyle A. Gallivan, Robert A. van Engelen, Yixin Shou, 2004, ICS '04.

Value Range Analysis of Conditionally Updated Variables and Pointers

Kyle A. Gallivan, Johnnie Birch, Robert van Engelen, 2004 .

Parametric Intra-Task Dynamic Voltage Scheduling

Yixin Shou, Johnnie Birch, Robert van Engelen, 2003 .