Show simple item record

dc.contributor.authorNaylor, Matthew
dc.date.accessioned2016-07-27T10:00:49Z
dc.date.available2016-07-27T10:00:49Z
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/256862
dc.descriptionThis 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.en
dc.description.sponsorshipEPSRC [EP/K008528/1 ("REMS")], DARPA/AFRL [FA8750-10-C-0237 ("CTSRD") and FA8750-11-C-0249 ("MRC2")]en
dc.formatLinux with gcc and pythonen
dc.publisherUniversity of Cambridgeen
dc.subjectFMCAD 2016en
dc.subjectconsistency checkeren
dc.subjectmemory subsystem tracesen
dc.titleResearch data supporting "A Consistency Checker for Memory Subsystem Traces"en
dc.typeDataseten
dc.rights.licenseThis record is licensed under a BERI HARDWARE-SOFTWARE LICENSE v1.0 licence.
dc.identifier.doi10.17863/CAM.794
pubs.declined2017-10-11T13:54:42.507+0100
dcterms.formatbz2, pdf, txt, cpp, h, md, sh, py, axeen
cam.relation.sourcecodehttps://github.com/CTSRD-CHERI/axe
datacite.issupplementto.doi10.17863/CAM.4451


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record