Michael Pellauer

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

Caroline Trippel and others (2017) · Proceedings of the 22nd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017)

PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models

Daniel Lustig and others (2014) · IEEE

Scheduling as Rule Composition

Nirav Dave and others (2007)