Research output per year
Research output per year
Search results
-
2018
Automatically deriving cost models for structured parallel processes using hylomorphisms
Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y., 1 Feb 2018, In: Future Generation Computer Systems. 79, Part 2, p. 653-668Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Simplifying ARM concurrency: multicopy-atomic axiomatic and operational models for ARMv8
Pulte, C., Flur, S., Deacon, W., French, J., Sarkar, S. & Sewell, P., 1 Jan 2018, Proceedings of the ACM on Programming Languages (POPL '18). New York: ACM, p. 1-29 29 p. 19. (Proceedings of the ACM on Programming Languages; vol. 2, no. POPL).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2017
Verification of a lazy cache coherence protocol against a weak memory model
Banks, C., Elver, M., Hoffmann, R., Sarkar, S., Jackson, P. & Nagarajan, V., 2 Oct 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017). Stewart, D. & Weissenbacher, G. (eds.). FMCAD Inc, p. 60-67Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2016
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms
Castro, D., Hammond, K. & Sarkar, S., 4 Sept 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). New York, NY: ACM, p. 4-17 14 p. (ACM SIGPLAN Notices; vol. 51, no. 9).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile