Project Details
| Acronym | Discovery: Pattern Discovery and Program |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/17 → 31/12/20 |
Funding
- EPSRC: £353,922.18
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This project contributes towards the following SDG(s):
-
SDG 7 Affordable and Clean Energy
Fingerprint
-
Collaborative heterogeneity-aware OS scheduler for asymmetric multicore processors
Yu, T., Zhong, R., Janjic, V., Petoumenos, P., Zhai, J., Leather, H. & Thomson, J. D., 1 May 2021, In: IEEE Transactions on Parallel and Distributed Systems. 32, 5, p. 1224-1237 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Proving renaming for Haskell via dependent types: a case-study in refactoring soundness
Barwell, A. D., Brown, C. M. & Sarkar, S., 18 Jul 2021, 8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021). 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Restoration of legacy parallelism: transforming pthreads into farm and pipeline patterns
Janjic, V., Brown, C. M. & Barwell, A., 11 Jun 2021, In: International Journal of Parallel Programming. First Online, 25 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Datasets
-
Prototype implementation of Structured Arrows (thesis data)
Castro, D. (Creator), Bitbucket, 2017
https://bitbucket.org/david_castro/skel and one more link, http://hdl.handle.net/10023/16093 (show fewer)
Dataset: Thesis dataset
-
The Missing Link: A New Skeleton for Evolutionary Multi-Agent Systems in Erlang
Janjic, V. (Creator), Brown, C. M. (Contributor), Hammond, K. (Contributor) & Barwell, A. D. (Contributor), Zenodo, 4 Nov 2016
Dataset
-
Type-based cost analysis for lazy functional languages (dataset)
Jost, S. (Creator), Vasconcelos, P. (Creator), Florido, M. (Creator) & Hammond, K. (Creator), Universidade do Porto, 6 Jan 2017
http://kashmir.dcc.fc.up.pt/cgi/lazy.cgi
Dataset