C6: Correct-by-Construction Heterogeneous Coherence

Nagarajan, Vijay (Principal Investigator)
Grosser, Tobias (Co-investigator)

School of Informatics

Status	Finished
Effective start/end date	15/11/21 → 14/11/24

Funding

EPSRC: £618,373.00

3 Conference contribution
1 Article

Architecting Selective Refresh based Multi-Retention Cache for Heterogeneous System (ARMOUR)
Agarwal, S., Chakraborty, S. & Själander, M., 15 Sept 2023, DAC '23: Proceedings of the 60th ACM/IEEE Design Automation Conference. Institute of Electrical and Electronics Engineers, p. 1-6 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Apta: Fault-tolerant object-granular CXL disaggregated memory for accelerating FaaS
Patil, A., Nagarajan, V., Nikoleris, N. & Oswald, N., 9 Aug 2023, 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2023). Institute of Electrical and Electronics Engineers, p. 201-215 15 p. (IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Compound Memory Models
Goens, A., Chakraborty, S., Sarkar, S., Agarwal, S., Oswald, N. & Nagarajan, V., 6 Jun 2023, In: Proceedings of the ACM on Programming Languages. 7, PLDI, p. 1145-1168 24 p., 153.
Research output: Contribution to journal › Article › peer-review

Open Access
File