Andrew Moran

17 papers A* 2A 3B 1C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2015 J jnl
Big Data Strategies for Data Center Infrastructure Management Using a 3D Gaming Platform.
CoRR
Matthew Hubbell, Andrew Moran, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Vijay Gadepally, Peter Michaleas, Julie Mullen, Andrew Prout, Albert Reuther, Antonio Rosa, Charles Yee, Jeremy Kepner
2015 — conf
Big Data strategies for Data Center Infrastructure management using a 3D gaming platform.
HPEC
Matthew Hubbell, Andrew Moran, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Vijay Gadepally, Peter Michaleas, Julie Mullen, Andrew Prout, Albert Reuther, Antonio Rosa, Charles Yee, Jeremy Kepner
2015 J jnl
Improving Big Data Visual Analytics with Interactive Virtual Reality.
CoRR
Andrew Moran, Vijay Gadepally, Matthew Hubbell, Jeremy Kepner
2015 — conf
Improving Big Data visual analytics with interactive virtual reality.
HPEC
Andrew Moran, Vijay Gadepally, Matthew Hubbell, Jeremy Kepner
2003 A conf
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
ISSRE
Avik Sinha, Carol S. Smidts, Andrew Moran
2003 J jnl
Erratic Fudgets: a semantic theory for an embedded coordination language.
Sci. Comput. Program.
Andrew Moran, David Sands, Magnus Carlsson
2002 — conf
Lambda Calculi and Linear Speedups.
The Essence of Computation
David Sands, Jörgen Gustavsson, Andrew Moran
2002 J jnl
Semantics of value recursion for Monadic Input/Output.
RAIRO Theor. Informatics Appl.
Levent Erkök, John Launchbury, Andrew Moran
2001 A* conf
Asynchronous Exceptions in Haskell.
PLDI
Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy
2001 A conf
Automated translation of legacy code for ATE.
ITC
Andrew Moran, Jim Teisher, Andrew Gill, Emir Pasalic, John Veneruso
1999 C conf
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language.
COORDINATION
Andrew Moran, David Sands, Magnus Carlsson
1999 — conf
Imprecise Exceptions, Co-Inductively.
HOOTS
Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones
1999 A* conf
Improvement in a Lazy Context: An Operational Theory for Call-by-Need.
POPL
Andrew Moran, David Sands
1999 B conf
Unique Fixed Point Induction for McCarthy's Amb.
MFCS
Søren B. Lassen, Andrew Moran
1995 — conf
Making Choices Lazily.
FPCA
John Hughes, Andrew Moran
1993 C conf
Why Functional Languages Really Need Parallelism.
ICCI
Paul A. Bailes, Ming Gong, Andrew Moran
1992 A conf
A Semantics for Locally Bottom-Avoiding Choice.
Functional Programming
John Hughes, Andrew Moran