Chakraborty, Soham Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society;
https://kluedo.ub.uni-kl.de/frontdoor/index/index/start/0/rows/10/sortfield/score/sortorder/desc/searchtype/simple/query/Chakraborty/docId/5697 (Any fulltext)
Chakraborty, S. (2019). Correct Compilation of Relaxed Memory Concurrency. PhD Thesis, Technische Universität Kaiserslautern, Kaiserslautern.