New paper

“An integrated concurrency and core-ISA architectural envelopeĀ definition, and test oracle, for IBM POWER multiprocessors”, joint work with Kathryn Gray, Gabriel Kerneis, Christopher Pulte, Susmit Sarkar and Peter Sewell.

To appear at the 48th Annual IEEE/ACM International Symposium on Microarchitecture, 2015 (MICRO 48).