David Castro

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Labor Intensive

Wrapper Generation

Ontology Engineering

Top Venues

Future Gener. Comput. Syst.

Erlang Workshop

Publications

David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
Automatically deriving cost models for structured parallel processes using hylomorphisms. Future Gener. Comput. Syst. 79 (2018)
Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond
Towards semi-automatic data-type translation for parallelism in Erlang. Erlang Workshop (2016)
David Castro, Kevin Hammond, Susmit Sarkar
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. ICFP (2016)