A unified framework for nonlinear dependence testing and symbolic analysis. - Robert A. van Engelen; Johnnie Birch; Yixin Shou; Burt Walsh; Kyle A. Gallivan (ICS, 2004)

Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization. - Yixin Shou; Robert A. van Engelen; Johnnie Birch; Kyle A. Gallivan (ACM Southeast Regional Conference, 2006)

An empirical evaluation of chains of recurrences for array dependence testing. - Johnnie Birch; Robert A. van Engelen; Kyle A. Gallivan; Yixin Shou (PACT, 2006)

Flow-Sensitive Loop-Variant Variable Classification in Linear Time. - Yixin Shou; Robert van Engelen; Johnnie Birch (LCPC, 2007)

Discovering Maximum Parallelization Using Advanced Data Dependence Analysis. - Johnnie Birch; Kleanthis Psarris (HPCC, 2008)