Experience with interprocedural analysis of array side effects. - Paul Havlak; Ken Kennedy (SC, 1990)

An Implementation of Interprocedural Bounded Regular Section Analysis. - Paul Havlak; Ken Kennedy (IEEE Trans. Parallel Distributed Syst., 1991)

Construction of Thinned Gated Single-Assignment Form. - Paul Havlak (LCPC, 1993)

Index Array Flattening Through Program Transformation. - Raja Das; Paul Havlak; Joel H. Saltz; Ken Kennedy (SC, 1995)

Programming Irregular Applications: Runtime Support, Compilation and Tools. - Joel H. Saltz; Gagan Agrawal; Chialin Chang; Raja Das; Guy Edjlali; Paul Havlak; Yuan-Shin Hwang; Bongki Moon; Ravi Ponnusamy; Shamik D. Sharma; Alan Sussman; Mustafa Uysal (Adv. Comput., 1997)

Nesting of Reducible and Irreducible Loops. - Paul Havlak (ACM Trans. Program. Lang. Syst., 1997)

PIQA: pipeline for Illumina G1 genome analyzer data quality assessment. - Antonio Martínez-Alcántara; Efren Ballesteros; Chen Feng; Mark Rojas; H. Koshinsky; Viacheslav Fofanov; Paul Havlak; Yuriy Fofanov (Bioinform., 2009)

Co-Evolution of the Influenza Virus and Its Hosts. - Stephen Huff; Mark Rojas; Paul Havlak; Yuriy Fofanov (BIOCOMP, 2010)

Constraints on genes shape long-term conservation of macro-synteny in metazoan genomes. - Jie Lv 002; Paul Havlak; Nicholas H. Putnam (BMC Bioinform., 2011)