Computer Science @ University of St Andrews

University of St Andrews crest

Mr David Castro

No picture available

Position: Research Student

Email (@st-andrews.ac.uk): dc84

Office: JC0.21 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3257

Home page: https://dc84.host.cs.st-andrews.ac.uk

Recent Publications

Automatically deriving cost models for structured parallel processes using hylomorphisms

Towards semi-automatic data-type translation for parallelism in Erlang

Barwell, AD, Brown, CM, Castro, D & Hammond, K 2016, Towards semi-automatic data-type translation for parallelism in Erlang. in Proceedings of the 15th International Workshop on Erlang. ACM, New York, pp. 60-61, 15th ACM SIGPLAN Workshop on Erlang, Nara, Japan, 23-23 September. DOI: 10.1145/2975969.2975978

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

Castro, D, Hammond, K & Sarkar, S 2016, Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. ACM, New York, pp. 4-17, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18-24 September. DOI: 10.1145/2951913.2951920