Publications:
DISCLAIMER: This directory contains postscript files of
articles that may be covered by copyright. You may browse the
articles at your convenience (in the same spirit as you may read a
journal or a proceeding article in a public library). Retrieving,
copying, distributing these files may violate the copyright protection
law.
For various papers below more authoritative sources can be found on
Alan Mycroft's entry in the University of Trier's DBLP service and
Alan Mycroft's page on Google Scholar.
2016 draft
2008
- Srinivasan, S. and Mycroft, A.
Kilim: Isolation-Typed Actors for Java
(A Million Actors, Safe Zero-Copy Communication).
Proc. ECOOP 2008: LNCS 5142 pp. 104-128.
- Oancea, C.E. and Mycroft, A.
Software Thread-Level Speculation -- An Optimistic Library Implementation.
Proc. International Workshop on Multicore Software Engineering (IWMSE);
Sheridan Press, 2008
- Davies, J.J., Beresford, A.R. and Mycroft, A:
Language-Based Optimisation of
Sensor-Driven Distributed Computing Applications.
Proc. FASE 2008: LNCS 4961 pp. 407-422.
- Feigin, B. and Mycroft, A.
Jones optimality and hardware virtualization:
a report on work in progress. Proc. PEPM'2008: 169-175 (ACM)
- Message, R. and Mycroft, A.
Controlling Control Flow in Web Applications.
ENTCS 200(3) pp. 119-131, 2008.
2007
2006 and onwards
2005
2004
- Thompson, S. and Mycroft, A.
Abstract Interpretation of Combinational Asynchronous Circuits.
Proc. SAS 2004, Springer-Verlag LNCS vol. 3148: 181-196, August 2004.
- Johnson, N.E. and Mycroft, A.
Using Multiple Memory Access Instructions for Reducing Code Size.
Proc. CC'04, Springer-Verlag LNCS vol. 2985: 265-280, March 2004.
- Ennals, R.J. and Sharp, R.W. and Mycroft, A.
Linear Types for Packet Processing.
Proc. ESOP'04, Springer-Verlag LNCS vol. 2986: 204-218, March 2004.
- Goudarzi, M., Hessabi, S. and Mycroft, A.
Overhead-Free Polymorphism in Network-on-Chip Implementation of
Object-Oriented Models.
Proc. DATE 2004: 1380-1381, IEEE (ISBN 0-7695-2085-5), February 2004.
- Thompson, S. and Mycroft, A.
Sliding Window Logic Simulation.
Proc. 15th UK Asynchronous Forum, pp 24-27, University of Cambridge
Computer Laboratory, January 2004. Proceedings also available as:
http://simon.trinhall.cam.ac.uk/ukasyncforum15/forum15.pdf.
2003
- Frankau, S.G. and Mycroft, A.
Stream Processing Hardware from Functional Language Specifications.
Proc. 36th Hawai'i International Conference on System Sciences (HICSS 36),
IEEE 2003.
- Goudarzi, M., Hessabi, S. and Mycroft, A.
Object-oriented ASIP Design and Synthesis.
Forum on Specification and Design Languages (FDL'03),
Frankfurt, Sep. 23-26, 2003.
- Johnson, N.E. and Mycroft, A.
Combined Code Motion and Register Allocation using the Value State
Dependence Graph.
Proc. CC'03, Springer-Verlag LNCS vol. 2622, April 2003.
- Katsiri, E. and Mycroft, A.
Knowledge Representation and Scalable Abstract Reasoning for
Sentient Computing Using First-Order Logic.
Proc. Challenges and Novel Applications for Automated Reasoning
(CADE-19 Workshop), Miami, July 2003.
- Khedker, U., Dhamdhere, D.M. and Mycroft, A.
Bidirectional data flow analysis for type inferencing.
Computer Languages, Systems \amp; Structures 29(1-2): 15-44 (2003).
- Madhavapeddy, A., Mycroft, A., Scott, D.J. and Sharp, R.W.
The Case For Abstracting Security Policies.
Proc. 2003 International Conference on Security and Management (SAM'03),
CSREA Press, 2003.
- Nethercote, N.J. and Mycroft, A.
Redux: A Dynamic Dataflow Tracer.
Proc. Third Workshop on Runtime Verification (RV'03),
Boulder, Colorado, USA, July 2003.
- Scott, D.J., Mycroft, A. and Beresford, A.R.
Spatial Security Policies for Mobile Agents in a Sentient Computing
Environment.
Proc. FASE'03, Springer-Verlag LNCS vol. 2620, April 2003.
- Scott, D.J., Mycroft, A. and Beresford, A.R.
Spatial Policies for Sentient Mobile Applications.
Proc. 4th IEEE International Workshop for Distributed Systems and Networks
(Policy 2003), June 2003.
- Mycroft, A. and Sharp, R.W.
Higher-Level Techniques for Hardware Description and Synthesis.
International Journal on Software Tools for Technology Transfer, vol 4(3),
pp. 271-297, May 2003.
2002
2001
- Mycroft, A. and Sharp, R.W.
Hardware/Software Co-Design using a Functional Language.
[as PDF].
Lecture Notes in Computer Science: Proc. TACAS 2001---Tools
and Algorithms for the Construction and Analysis of Systems.
vol. 2031, Springer-Verlag, 2001.
Slides.
Preliminary version appeared as
Computer Laboratory Technical Report 503, 2000.
- Sharp, R.W. and Mycroft, A.
Soft Scheduling for Hardware.
[as PDF].
Lecture Notes in Computer Science: Proc. SAS'01,
vol. 2126, Springer-Verlag, 2001.
- Sharp, R.W. and Mycroft, A.
A Higher-Level Language for
Hardware Synthesis.
[as PDF].
Lecture Notes in Computer Science: Proc. CHARME'01,
vol. 2144, Springer-Verlag, 2001.
- Mycroft, A. and Sharp, R.W.
Hardware Synthesis using SAFL and
Application to Processor Design (invited talk).
[as PDF].
Lecture Notes in Computer Science: Proc. CHARME'01,
vol. 2144, Springer-Verlag, 2001.
Slides.
- Mycroft, A., Ohori, A. and Katsumata, S.
Comparing Type-Based and
Proof-Directed Decompilation.
Proc. IEEE Working Conference on Reverse Engineering (WCRE'01), 2001.
2000
- Mycroft, A. and Sharp, R.W.
The FLaSH Project: Resource-aware Synthesis of Declarative Specifications.
[as PDF].
Proceedings of the International Workshop on Logic Synthesis 2000.
- Mycroft, A. and Sharp, R.W.
A Statically Allocated Parallel Functional Language.
[as PDF].
Lecture Notes in Computer Science: Proc. 27th ICALP,
vol. 1853, Springer-Verlag, 2000.
- Sharp, R.W. and Mycroft, A.
The FLaSH Compiler: Efficient Circuits from Functional Specifications.
[as PDF].
Technical Report tr.2000.3, AT&T Laboratories Cambridge.
- Mycroft, A.
Logic Programming and Functional Nets.
In M. Alpuente (ed.)
Proc. 9th Int'l Workshop on Functional and Logic Programming WFLP'2000,
Benicassim, Spain, September 2000.
Technical University of Valencia publication 2000/2039.
1999
Prehistory
- Mycroft, A. The theory and practice of transforming
call-by-need into call-by-value.
Lecture Notes in Computer Science:
Proc. 4th intl. symp. on programming,
vol. 83, Springer-Verlag, 1980.
- Mycroft, A. Abstract Interpretation and
Optimising Transformations of Applicative Programs.
Ph.D. thesis, Edinburgh University, 1981.
Available as computer science report CST-15-81.
(Contact:
Secretary, Computer Science Department, King's Buildings,
Mayfield Road, Edinburgh EH9 3JZ, UK.)
- Mycroft, A. and Nielson, F. Strong abstract
interpretation using power domains.
Lecture Notes in Computer Science: Proc. 10th ICALP,
vol. 154, Springer-Verlag, 1983.
- Mycroft, A. and O'Keefe, R.A. A polymorphic type
system for Prolog. {\em Artificial Intelligence}, 1984.
- Jones, N.D. and Mycroft, A.
Stepwise development of
operational and denotational semantics for Prolog.
Proc. IEEE intl. symp. on Logic Programming, Atlantic City, 1984.
- Mycroft, A. Logic programs and many-valued logics.
Lecture Notes in Computer Science:
Proc. 1st symp. on theoretical aspects of computer science,
vol. 166, Springer-Verlag, 1984.
- Mycroft, A.
Polymorphic type schemes and
recursive definitions.
Lecture Notes in Computer Science:
Proc. 6th intl. symp. on programming,
vol. 167, Springer-Verlag, 1984.
- Goltz, U. and Mycroft, A. On the relationship
of CCS and Petri nets.
Lecture Notes in Computer Science:
Proc. 11th ICALP,
vol. 172, Springer-Verlag, 1984.
- Mycroft, A. and Jones, N.D.
A relational framework for abstract interpretation.
Lecture Notes in Computer Science: Proc. Copenhagen workshop on
programs as data objects, vol. 215, Springer-Verlag, 1985.
- Jones, N.D. and Mycroft, A. Dataflow analysis
of applicative programs using minimal function graphs.
Proc. ACM symp. on Principles of Programming Languages, 1986.
- Mycroft, A. A study on abstract interpretation and
``validating microcode algebraically''. In
{\em Abstract Interpretation of Declarative Languages}, Abramsky, S. and
Hankin, C. (eds), Ellis-Horwood, 1987. ISBN 0-7458-0109-9.
Also available as
technical report 97, Cambridge University Computer Laboratory.
- Ernoult, C. and Mycroft, A.
Uniform ideals and strictness analysis.
Lecture Notes in Computer Science:
Proc. 18th ICALP, vol. 510, Springer-Verlag, 1991.
(as .DVI)
- Mycroft, A.
Incremental polymorphic type checking with update.
Lecture Notes in Computer Science:
Proc. LFCS'92---Logic at Tver, vol. 620, Springer-Verlag, 1992.
(as .DVI)
- Mycroft, A. and Rosendahl, M.
Minimum function graphs are not instrumented.
Proc. Workshop on static analysis, Bordeaux, 1992.
{\em BIGRE} vol 81-82, IRISA, Rennes.
(as .DVI)
- Mycroft, A.
Completeness and predicate-based abstract interpretation.
Proc. ACM conf. on Partial Evaluation and Program Manipulation, 1993.
- Ernoult, C. and Mycroft, A.
Untyped strictness analysis. {\em Journal of Functional Programming},
5(1): 37-49, January 1995.
Also available as
technical report 267, Cambridge University Computer Laboratory.
- Mycroft, A. and Norman, A.C.
Optimising compilation---classical imperative languages.
Proc. XIX SOFSEM 92, \v{Z}diar, Czechoslovakia. INFOSTAT, Bratislava, 1992.
Also available in
technical report 269, Cambridge University Computer Laboratory.
(as .DVI)
- Mycroft, A. and Norman, A.C.
Optimising compilation---lazy functional languages.
Proc. XIX SOFSEM 92, \v{Z}diar, Czechoslovakia. INFOSTAT, Bratislava, 1992.
Also available in
technical report 269, Cambridge University Computer Laboratory.
(as .DVI)
- Mycroft, A. and Solberg, K.L.
Uniform PERs and comportment analysis.
Lecture Notes in Computer Science:
Proc. PLILP'95, vol. 982, Springer-Verlag, 1995.
(as .DVI)
- Mycroft, A. (ed.)
Second International Static Analysis Symposium (SAS'95).
Lecture Notes in Computer Science:
Proc. SAS'95, vol. 983, Springer-Verlag, 1995.
- Mycroft, A., Degano, P. and Priami, C.
Complexity as a basis for comparing semantic models of concurrency.
Proc. 1st Asian Computing Science Conference (Bangkok, December 1995).
(as .DVI)
- Mycroft, A.
On Integration of Programming Paradigms.
ACM {\em Computing Surveys} 28(2), 1996.
-
Nielson, F., Cousot, P., Dam, M.F., Degano, P., Jouvelot, P., Mycroft, A.
and Thomsen, B.
Logical and Operational Methods in the Analysis of Programs and Systems.
Lecture Notes in Computer Science:
Mads Dam (Ed.): Analysis and Verification of Multiple-Agent Languages,
vol. 1192, Springer-Verlag, 1997.