Alex I. Smith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2014
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ESOP | Bounded Linear Types in a Resource Semiring. | Dan R. Ghica, Alex I. Smith |
| 2014 | FCCM | 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 |
| 2011 | ICFP | Geometry of synthesis iv: compiling affine recursion into static hardware. | Dan R. Ghica, Alex I. Smith, Satnam Singh |
| 2011 | POPL | Geometry of synthesis III: resource management through type inference. | Dan R. Ghica, Alex I. Smith |