Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware
The work
| Authors | Dan R. Ghica; Alex Smith; Satnam Singh |
|---|---|
| Editors | |
| Type | inproceedings |
| 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.
A copy is held
pdf, 2.0 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-04 00:00 UTC |
| Approved by | a person 2026-08-07 15:54 UTC |
Filed under
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)},
publisher = {Association for Computing Machinery},
pages = {221--233},
doi = {10.1145/2034773.2034805},
}
This record lives at https://refs.drheap.org/ghica2011geometry/ and will keep doing so.