Correct Compilation of Relaxed Memory Concurrency

Chakraborty, Soham

Local TagsRelease HistoryDetailsSummary

Correct Compilation of Relaxed Memory Concurrency

Chakraborty, S. (2019). Correct Compilation of Relaxed Memory Concurrency. PhD Thesis, Technische Universität Kaiserslautern, Kaiserslautern.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0009-8495-9 Version Permalink: https://hdl.handle.net/21.11116/0000-0009-8496-8

Genre: Thesis

Files

show Files

Locators

show

hide

Locator:
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) Open Access status unknown

Description:
-

OA-Status:

Creators

show

hide

Creators:
Chakraborty, Soham¹, Author
Batty, Mark², Advisor
Majumdar, Rupak³, Referee
Vafeiadis, Viktor⁴, Referee

Affiliations:
1Group V. Vafeiadis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105293
2External Organizations, ou_persistent22
3Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
4Group P. Francis, Max Planck Institute for Software Systems, Max Planck Society, ou_2105288

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2019-07-16Published Online: 2019Date issued: 2019

Publication Status: Issued

Pages: 141 p.

Publishing info: Kaiserslautern : Technische Universität Kaiserslautern

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Chakphd2020
URN: nbn:de:hbz:386-kluedo-56979

Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show