Andrew Moran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1993–2003
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | ISSRE | Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. | Avik Sinha, Carol S. Smidts, Andrew Moran |
| 2001 | ITC | Automated translation of legacy code for ATE. | Andrew Moran, Jim Teisher, Andrew Gill, Emir Pasalic, John Veneruso |
| 2001 | PLDI | Asynchronous Exceptions in Haskell. | Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy |
| 1999 | Coordination | Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. | Andrew Moran, David Sands, Magnus Carlsson |
| 1999 | MFCS | Unique Fixed Point Induction for McCarthy's Amb. | Sren B. Lassen, Andrew Moran |
| 1999 | POPL | Improvement in a Lazy Context: An Operational Theory for Call-by-Need. | Andrew Moran, David Sands |
| 1993 | ICCI | Why Functional Languages Really Need Parallelism. | Paul A. Bailes, Ming Gong, Andrew Moran |