Underpinning the foundations: sail-based semantics, testing, and reasoning for production and CHERI-enabled architectures (invited talk).

Peter Sewell

Browse the full CPP paper archive.