Alex I. Smith

According to our database, Alex I. Smith authored at least 6 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 22nd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2014

Bounded Linear Types in a Resource Semiring.

Dan R. Ghica, Alex I. Smith

Proceedings of the Programming Languages and Systems, 2014

2013

From bounded affine types to automatic timing analysis.

Dan R. Ghica, Alex I. Smith

CoRR, 2013

2011

Geometry of synthesis III: resource management through type inference.

Dan R. Ghica, Alex I. Smith

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Geometry of synthesis iv: compiling affine recursion into static hardware.

Dan R. Ghica, Alex I. Smith, Satnam Singh

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Geometry of Synthesis II: From Games to Delay-Insensitive Circuits.

Dan R. Ghica, Alex I. Smith

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010