Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. - Dan R. Ghica; Alex I. Smith (MFPS, 2010)

Geometry of synthesis iv: compiling affine recursion into static hardware. - Dan R. Ghica; Alex I. Smith; Satnam Singh (ICFP, 2011)

Geometry of synthesis III: resource management through type inference. - Dan R. Ghica; Alex I. Smith (POPL, 2011)

From bounded affine types to automatic timing analysis. - Dan R. Ghica; Alex I. Smith (CoRR, 2013)

Bounded Linear Types in a Resource Semiring. - Dan R. Ghica; Alex I. Smith (ESOP, 2014)

Compiling Higher Order Functional Programs to Composable Digital Hardware. - Eduardo Aguilar-Pelaez; Samuel Bayliss; Alex I. Smith; Felix Winterstein; Dan R. Ghica; David B. Thomas; George A. Constantinides (FCCM, 2014)