Research data supporting "A Consistency Checker for Memory Subsystem Traces"

Repository URI
https://www.repository.cam.ac.uk/handle/1810/256862
Repository DOI
https://doi.org/10.17863/CAM.794
No Thumbnail Available
Files
README.txt (776 B)
fmcad2016-axe-data.zip (159.79 MB)
Type
Dataset
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
All Rights Reserved
Sponsorship
EPSRC [EP/K008528/1 ("REMS")], DARPA/AFRL [FA8750-10-C-0237 ("CTSRD") and FA8750-11-C-0249 ("MRC2")]
Relationships
Supplements:
https://doi.org/10.17863/CAM.4451
Source code:
https://github.com/CTSRD-CHERI/axe
Collections
Research Data - Computer Science and Technology
Symplectic mapped items for data match