Research data supporting "A Consistency Checker for Memory Subsystem Traces"
University of Cambridge
MetadataShow full item record
Naylor, M. (2016). Research data supporting "A Consistency Checker for Memory Subsystem Traces" [Dataset]. https://doi.org/10.17863/CAM.794
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.
Linux with gcc and python
FMCAD 2016, consistency checker, memory subsystem traces
Related software/sourcecode: https://github.com/CTSRD-CHERI/axe
Publication Reference: https://doi.org/10.17863/CAM.4451
EPSRC [EP/K008528/1 ("REMS")], DARPA/AFRL [FA8750-10-C-0237 ("CTSRD") and FA8750-11-C-0249 ("MRC2")]
This record's DOI: https://doi.org/10.17863/CAM.794
This record is licensed under a BERI HARDWARE-SOFTWARE LICENSE v1.0 licence.