Related projects
Discover more projects across a range of sectors and discipline — from AI to cleantech to social innovation.
Empirical Validation of CXL Memory System Behaviour Against a Formal Model
Modern computer systems increasingly rely on shared memory technologies that allow multiple components, such as processors and accelerators, to access the same data. Compute Express Link (CXL) is a new industry standard designed to enable this kind of shared memory while preserving important correctness guarantees. While formal models describe how CXL systems are expected to behave, it remains unclear how well real implementations match these expectations in practice. This project will empirically test the behavior of CXL enabled systems against an existing formal model by designing and running targeted experiments. The results will improve understanding of emerging memory technologies and help ensure that future systems are reliable, correct, and performant. The collaboration will strengthen research ties between McMaster University and Imperial College London while providing advanced training in systems validation and experimental research methods.
Faculty Supervisor:
Jun Chen
Student:
Partner:
Imperial College London
Discipline:
Engineering
Sector:
Education
University:
McMaster University
Program:
Globalink Research Award
Current openings
Find the perfect opportunity to put your academic skills and knowledge into practice!
Find Projects
International
Load More
International
Load More
Mitacs is funded by the Government of Canada, the Government of Alberta, the Government of British Columbia, Research Manitoba, the Government of New Brunswick, the Government of Newfoundland and Labrador, the Government of Nova Scotia, the Government of Ontario, Innovation PEI, the Government of Quebec, the Government of Saskatchewan, and the Government of Yukon.