publications:
- title: "Correct Compilation of Relaxed Memory Concurrency"
  author:
  - name: "Soham Chakraborty"
    link: "https://www.st.ewi.tudelft.nl/sschakraborty/"
  year: "2019"
  doi: "http://d-nb.info/1193086116"
  links:
    doi: "http://d-nb.info/1193086116"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/phd/dnb/Chakraborty19"
  researchr: "https://researchr.org/publication/dnb-22180"
  cites: 0
  citedby: 0
  school: "Kaiserslautern University of Technology, Germany"
  kind: "phdthesis"
  key: "dnb-22180"