Johnnie Birch

Most-cited papers

1. A unified framework for nonlinear dependence testing and symbolic analysis

   R. V. van Engelen, Johnnie Birch, Yixin Shou, Burt Walsh +1 more

   2004International Conference on Supercomputing53 citations

   Semantic Scholar

   Save

2. Value Range Analysis of Conditionally Updated Variables and Pointers

   Johnnie Birch, R. V. van Engelen, K. Gallivan

   200413 citations

   Semantic Scholar

   Save

3. Array Data Dependence Testing with the Chains of Recurrences Algebra

   R. V. van Engelen, Johnnie Birch, K. Gallivan

   2004International Workshop on Information Assurance12 citations

   Semantic Scholar

   Save

4. An empirical evaluation of chains of recurrences for array dependence testing

   Johnnie Birch, R. V. van Engelen, K. Gallivan, Yixin Shou

   2006International Conference on Parallel Architectures and Compilation Techniques9 citations

   Semantic Scholar

   Save

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

   Yixin Shou, R. V. van Engelen, Johnnie Birch, K. Gallivan

   2006ACM Southeast Regional Conference7 citations

   Semantic Scholar

   Save

6. Parametric Intra-Task Dynamic Voltage Scheduling

   Burt Walsh, R. V. van Engelen, K. Gallivan, Johnnie Birch +1 more

   20037 citations

   Semantic Scholar

   Save

7. Discovering Maximum Parallelization Using Advanced Data Dependence Analysis

   Johnnie Birch, Kleanthis Psarris

   2008IEEE International Conference on High Performance Computing and Communications3 citations

   Semantic Scholar

   Save

8. Flow-Sensitive Loop-Variant Variable Classification in Linear Time

   Yixin Shou, R. V. van Engelen, Johnnie Birch

   2007International Workshop on Languages and Compilers for Parallel Computing3 citations

   Semantic Scholar

   Save

9. Methods for linear and nonlinear array data dependence analysis with the chains of recurrences algebra

   Johnnie Birch

   20071 citations

   Semantic Scholar

   Save