Andrew Moran

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Improving Big Data visual analytics with interactive virtual reality.
Proceedings of the 2015 IEEE High Performance Extreme Computing Conference, 2015

Big Data strategies for Data Center Infrastructure management using a 3D gaming platform.
Proceedings of the 2015 IEEE High Performance Extreme Computing Conference, 2015

2003
Erratic Fudgets: a semantic theory for an embedded coordination language.
Sci. Comput. Program., 2003

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002
Semantics of value recursion for Monadic Input/Output.
RAIRO Theor. Informatics Appl., 2002

Lambda Calculi and Linear Speedups.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001
Asynchronous Exceptions in Haskell.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Automated translation of legacy code for ATE.
Proceedings of the Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October, 2001

1999
Imprecise Exceptions, Co-Inductively.
Electron. Notes Theor. Comput. Sci., 1999

Improvement in a Lazy Context: An Operational Theory for Call-by-Need.
Proceedings of the POPL '99, 1999

Unique Fixed Point Induction for McCarthy's Amb.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

1995
Making Choices Lazily.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1993
Why Functional Languages Really Need Parallelism.
Proceedings of the Computing and Information, 1993

1992
A Semantics for Locally Bottom-Avoiding Choice.
Proceedings of the Functional Programming, 1992


  Loading...