Memory Consistency Directed Cache Coherence Protocols for Scalable Multiprocessors

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

@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