Memory Consistency Directed Cache Coherence Protocols for Scalable Multiprocessors

Created by W.Langdon from gp-bibliography.bib Revision:1.8051

@PhdThesis{Elver2016,

• author = "Marco Iskender Elver",
• title = "Memory Consistency Directed Cache Coherence Protocols for Scalable Multiprocessors",
• school = "University of Edinburgh",
• year = "2016",
• address = "UK",
• keywords = "genetic algorithms, genetic programming, SBSE",
• URL = "https://ac.marcoelver.com/res/melver-thesis.pdf",
• URL = "https://www.era.lib.ed.ac.uk/handle/1842/22073",
• URL = "https://www.era.lib.ed.ac.uk/bitstream/handle/1842/22073/Elver2016.pdf",
• URL = "http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.716641",
• size = "184 pages",
• abstract = "... We propose McVerSi, a test generation framework for fast memory consistency verification of a full-system design implementation under simulation. Our primary contribution is a Genetic Programming (GP) based approach to memory consistency test generation, which relies on a novel crossover function that prioritizes memory operations contributing to non-determinism, ...",
• notes = "uk.bl.ethos.716641 Supervisors: Vijayanand Nagarajan and Christian Fensch",

}

Genetic Programming entries for Marco Elver

Citations