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)

Automatic SIMD vectorization of chains of recurrences. - Yixin Shou; Robert A. van Engelen (ICS, 2008)

First Steps towards a View Management Concept for Large-sized Head-up Displays with Continuous Depth. - Renate Häuslschmid; Yixin Shou; John O'Donovan; Gary E. Burnett; Andreas Butz (AutomotiveUI, 2016)