Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Papers of Alan Mycroft

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.

2007

Mycroft, A. Programming Language Design and Analysis motivated by Hardware Evolution (Invited Presentation) Proc. SAS'07, Springer-Verlag LNCS vol. 3634: 18-33, August 2007. (slides)

2006 and onwards

Yes, this page is rather out of date -- try DBLP above?

2005

Ennals, R.J. and Sharp, R.W. and Mycroft, A. Task Partitioning for Multi-Core Network Processors. Proc. CC'05, Springer-Verlag LNCS vol. 3443: 76-90, April 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

Frankau, S.G. and Mycroft, A. Statically-allocated languages for hardware stream processing. Proc. UK ACM SIGDA Workshop, 2002.
Mycroft, A. and Nethercote, N.J. The Cache Behaviour of Large Lazy Functional Programs on Stock Hardware. Proc. ACM SIGPLAN Workshop on Memory System Performance (MSP 2002), 2002.
Mycroft, A. Statically Allocated Prolog---Hardware Byrd Boxes.
Paper presented in 2002 as part of 25th anniversary celebrations of the Computer Science Department of the Universidad Politécnica de Madrid. Currently unpublished.

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

Mycroft, A. Type-Based Decompilation.
Lecture Notes in Computer Science: Proc. ESOP'99, vol. 1576, Springer-Verlag, 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. (as .DVI)
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.

Email: Alan.Mycroft@cl.cam.ac.uk