Research data supporting "A Consistency Checker for Memory Subsystem Traces"
Repository URI
Repository DOI
Change log
Authors
Naylor, Matthew
Description
This package accompanies the paper "A consistency checker for memory subsystem traces" to appear at FMCAD 2016. It includes a snapshot of our memory consistency checker (axe) taken in July 2016 along with the traces used to test and evaluate it. Please note that the latest version of axe should always be obtained from https://github.com/CTSRD-CHERI/axe.
Version
Software / Usage instructions
Linux with gcc and python
Keywords
FMCAD 2016, consistency checker, memory subsystem traces
Publisher
University of Cambridge
Rights
Sponsorship
EPSRC [EP/K008528/1 ("REMS")], DARPA/AFRL [FA8750-10-C-0237 ("CTSRD") and FA8750-11-C-0249 ("MRC2")]