Andrew Moran

According to our database, Andrew Moran authored at least 14 papers between 1992 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Improving Big Data visual analytics with interactive virtual reality.

Andrew Moran, Vijay Gadepally, Matthew Hubbell, Jeremy Kepner

Proceedings of the 2015 IEEE High Performance Extreme Computing Conference, 2015

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, Charles Yee, Jeremy Kepner

Proceedings of the 2015 IEEE High Performance Extreme Computing Conference, 2015

2003

Erratic Fudgets: a semantic theory for an embedded coordination language.

Andrew Moran, David Sands, Magnus Carlsson

Sci. Comput. Program., 2003

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.

Avik Sinha, Carol S. Smidts, Andrew Moran

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002

Semantics of value recursion for Monadic Input/Output.

Levent Erkök, John Launchbury, Andrew Moran

RAIRO Theor. Informatics Appl., 2002

Lambda Calculi and Linear Speedups.

David Sands, Jörgen Gustavsson, Andrew Moran

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Asynchronous Exceptions in Haskell.

Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Automated translation of legacy code for ATE.

Andrew Moran, Jim Teisher, Andrew Gill, Emir Pasalic, John Veneruso

Proceedings of the Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October, 2001

1999

Imprecise Exceptions, Co-Inductively.

Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Improvement in a Lazy Context: An Operational Theory for Call-by-Need.

Andrew Moran, David Sands

Proceedings of the POPL '99, 1999

Unique Fixed Point Induction for McCarthy's Amb.

Søren B. Lassen, Andrew Moran

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1995

Making Choices Lazily.

John Hughes, Andrew Moran

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1993

Why Functional Languages Really Need Parallelism.

Paul A. Bailes, Ming Gong, Andrew Moran

Proceedings of the Computing and Information, 1993

1992

A Semantics for Locally Bottom-Avoiding Choice.

John Hughes, Andrew Moran

Proceedings of the Functional Programming, 1992