Synchronising C/C++ and power

Susmit Sarkar*, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

62 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Synchronising C/C++ and power'. Together they form a unique fingerprint.

Computer Science

Mathematics