Jalal Kawash

Available identifiers

zbMath Open kawash.jalalMaRDI QIDQ436745

List of research outcomes

Publication	Date of Publication	Type
Pitfalls in Memory Consistency Modelling	2017-12-15	Paper
Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations	2015-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4904148	2013-01-28	Paper
Implementing sequentially consistent programs on processor consistent platforms	2012-07-26	Paper
Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture	2008-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2766860	2002-01-28	Paper

Research outcomes over time

This page was built for person: Jalal Kawash