A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London

First Page		Document Content
Theoretical computer science Cognitive science Logic in computer science Computing Actor model Concurrent computing Consistency model Semantics Memory Stable model semantics		A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London Add to Reading List Source URL: www0.cs.ucl.ac.uk Download Document from Source Website File Size: 958,59 KB Share Document on Facebook

	A Formal C Memory Model Supporting Integer-Pointer Casts Jeehoon Kang Chung-Kil Hur ∗ DocID: 1xVYp - View Document
	LeakChecker: Practical Static Memory Leak Detection for Managed Languages Dacong Yan Guoqing Xu DocID: 1xVXw - View Document
	Persistent Memory for Artificial Intelligence Bill Gervasi Principal Systems Architect Santa Clara, CA DocID: 1xVOm - View Document
	Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch DocID: 1xVFk - View Document
	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ DocID: 1xVDm - View Document