An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors

Kathryn Gray, Gabriel Kerneis, Dominic Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell

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

29 Citations (Scopus)
4 Downloads (Pure)

Fingerprint

Dive into the research topics of 'An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors'. Together they form a unique fingerprint.

Computer Science