Back to Results
First PageMeta Content
Computing / Computer architecture / Concurrent computing / Theoretical computer science / Computer programming / Refinement / Abstract interpretation / Memory barrier / Abstraction / Algorithm / Thread


Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich
Add to Reading List

Document Date: 2018-01-15 09:26:26

Open Document

File Size: 417,68 KB

Share Result on Facebook