Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

David Castro, Kevin Hammond, Susmit Sarkar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 results

Finished
C: Scalable Shared Memory: C3 Scalable Shared Memory via Consistency-directed Cache Coherence
Sarkar, S. (PI)
EPSRC
9/11/15 → 30/04/19
Project: Standard
H2020 Collaboration REPHRASE: H2020 Collaboration 2014 - RePhrase
Hammond, K. (PI)
European Commission
1/04/15 → 31/03/18
Project: Standard
ParaPhrase Enlarged Distribution: EU FP7 PARAPHRASE Amendment 2
Hammond, K. (PI)
European Commission
1/07/13 → 31/03/15
Project: Standard
ParaPhrase FP7-ICT-2011-7: EU FP7 'ParaPhrase'
Hammond, K. (PI)
European Commission
1/10/11 → 31/03/15
Project: Standard
EP/F030657/1 Adaptive Hardware Systems: Copy of Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
Hammond, K. (PI)
EPSRC
1/09/08 → 31/08/11
Project: Standard