Statically Allocated Systems
This page was intended to look at wider aspects of statically allocated
systems, but has become subverted a little into SAFL and hardware applications
(keep checking for a forthcoming paper on a statically allocated version
of Odersky's Funnel language though, and note the ESOP'02 paper
"Finite-control mobile ambients" by Charatonik, Gordon and Talbot):
Here is a fuller list of Mycroft's publications
and Mycroft's home page.
Here are the SPACE'01 slides.
Here is the current version of a draft paper
``Statically Allocated Prolog -- Hardware Byrd Boxes'', presented
at UPM Madrid on its 25th anniverary.
Here are various SAFL papers in chronological order; this work was
done in collaboration with
Richard Sharp.
Suggested ordering: start with the CHARME'01 invited paper (the last one);
for a bigger language (SAFL+) see the other CHARME'01 paper;
for Co-design see the TACAS'01 paper;
for compilation details see the AT\&T report or
the SAS'01 paper for scheduling issues; and
for background theory see the ICALP'00 paper.
- 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. 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.