Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware
The work
| Title | Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware |
|---|---|
| Authors | Dan R. Ghica; Alex Smith; Satnam Singh |
| Type | conference paper |
| Year | 2011 |
| Citekey | ghica2011geometry |
Where it appeared
| Published in | Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11) |
|---|---|
| Publisher | Association for Computing Machinery |
| Pages | 221--233 |
Identifiers
| DOI | 10.1145/2034773.2034805 |
|---|---|
| OpenAlex | W4250389508 |
Access
| Landing page | https://doi.org/10.1145/2034773.2034805 |
|---|
Abstract
Abramsky's Geometry of Interaction interpretation (GoI) is a logical-directed way to reconcile the process and functional views of computation, and can lead to a dataflow-style semantics of programming languages that is both operational (i.e. effective) and denotational (i.e. inductive on the language syntax). The key idea of Ghica's Geometry of Synthesis (GoS) approach is that for certain programming languages (namely Reynolds's affine Syntactic Control of Interference - SCI) the GoI processes-like interpretation of the language can be given a finitary representation, for both internal state and tokens. A physical realisation of this representation becomes a semantics-directed compiler for SCI into hardware. In this paper we examine the issue of compiling affine recursive programs into hardware using the GoS method. We give syntax and compilation techniques for unfolding recursive computation in space or in time and we illustrate it with simple benchmark-style examples. We examine the performance of the benchmarks against conventional CPU-based execution models.
Copy held
| Kind | PDF, 2.1 MB |
|---|---|
| Retrieved | 2026-08-05 |
| Held | local, for personal reference |
| Where it came from | https://doi.org/10.1145/2034773.2034805 |
Where this came from
| How it got here | the agent went looking · found via openalex |
|---|---|
| First seen | 2026-08-04 |
| Standing | endorsed |
| Approved | 2026-08-07 |
Cite it as
@inproceedings{ghica2011geometry,
title = {Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware},
author = {Dan R. Ghica and Alex Smith and Satnam Singh},
year = {2011},
booktitle = {Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11)},
pages = {221--233},
publisher = {Association for Computing Machinery},
doi = {10.1145/2034773.2034805},
url = {https://doi.org/10.1145/2034773.2034805},
}
This record lives at https://refs.drheap.org/ghica2011geometry/ and will keep doing so.