A Semantics for Locally Bottom-Avoiding Choice. - John Hughes 001; Andrew Moran (Functional Programming, 1992)

Why Functional Languages Really Need Parallelism. - Paul A. Bailes; Ming Gong; Andrew Moran (ICCI, 1993)

Making Choices Lazily. - John Hughes 001; Andrew Moran (FPCA, 1995)

Unique Fixed Point Induction for McCarthy's Amb. - Søren B. Lassen; Andrew Moran (MFCS, 1999)

Improvement in a Lazy Context: An Operational Theory for Call-by-Need. - Andrew Moran; David Sands 001 (POPL, 1999)

Imprecise Exceptions, Co-Inductively. - Andrew Moran; Søren B. Lassen; Simon L. Peyton Jones (HOOTS, 1999)

Automated translation of legacy code for ATE. - Andrew Moran; Jim Teisher; Andrew Gill; Emir Pasalic; John Veneruso (ITC, 2001)

Asynchronous Exceptions in Haskell. - Simon Marlow; Simon L. Peyton Jones; Andrew Moran; John H. Reppy (PLDI, 2001)

Lambda Calculi and Linear Speedups. - David Sands 001; Jörgen Gustavsson; Andrew Moran (The Essence of Computation, 2002)

Semantics of value recursion for Monadic Input/Output. - Levent Erkök; John Launchbury; Andrew Moran (RAIRO Theor. Informatics Appl., 2002)

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. - Avik Sinha; Carol S. Smidts; Andrew Moran (ISSRE, 2003)

Erratic Fudgets: a semantic theory for an embedded coordination language. - Andrew Moran; David Sands 001; Magnus Carlsson (Sci. Comput. Program., 2003)

Big Data strategies for Data Center Infrastructure management using a 3D gaming platform. - Matthew Hubbell; Andrew Moran; William Arcand; David Bestor; Bill Bergeron; Chansup Byun; Vijay Gadepally; Peter Michaleas; Julie Mullen; Andrew Prout; Albert Reuther; Antonio Rosa; et al. (HPEC, 2015)

Improving Big Data visual analytics with interactive virtual reality. - Andrew Moran; Vijay Gadepally; Matthew Hubbell; Jeremy Kepner (HPEC, 2015)