Travelled to:1 × France
1 × Japan
Collaborated with:D.R.Ghica S.Singh
Talks about:synthesi (1) geometri (1) resourc (1) hardwar (1) static (1) recurs (1) linear (1) compil (1) semir (1) bound (1)
Person: Alex I. Smith
DBLP: Smith:Alex_I=
Contributed to:
2014
2011Wrote 2 papers:
- ESOP-2014-GhicaS #bound #linear
- Bounded Linear Types in a Resource Semiring (DRG, AIS), pp. 331–350.
- ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis
- Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.