An Analytical Comparison of the I-Test and Omega Test. - David Niedzielski; Kleanthis Psarris (LCPC, 1999)

Speculative improvements to verifiable bounds check elimination. - Andreas Gampe; Jeffery von Ronne; David Niedzielski; Kleanthis Psarris (PPPJ, 2008)

A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. - David Niedzielski; Jeffery von Ronne; Andreas Gampe; Kleanthis Psarris (SAS, 2009)

Safe bounds check annotations. - Jeffery von Ronne; Andreas Gampe; David Niedzielski; Kleanthis Psarris (Concurr. Comput. Pract. Exp., 2009)

Safe, multiphase bounds check elimination in Java. - Andreas Gampe; Jeffery von Ronne; David Niedzielski; Jonathan Vasek; Kleanthis Psarris (Softw. Pract. Exp., 2011)

An Analytical Evaluation of Data Dependence Analysis Techniques. - David Niedzielski; Kleanthis Psarris; Theoharis Theoharis (Int. J. Parallel Program., 2019)