会员服务
The complexity of verifying the release-acquire semantics over register machines
Arxiv
0+阅读 · 6月10日
Verification of the Release-Acquire Semantics
Arxiv
0+阅读 · 6月8日
jMT: Testing Correctness of Java Memory Models (Extended Version)
Arxiv
0+阅读 · 4月17日
The downgrading semantics of memory safety (Extended version)
Arxiv
0+阅读 · 4月17日
Weak Memory Model Formalisms: Introduction and Survey
Arxiv
0+阅读 · 3月13日
Towards Proving Liveness on Weak Memory (Extended Version)
Arxiv
0+阅读 · 2月23日
Owicki--Gries Logic for Timestamp Semantics
Arxiv
0+阅读 · 2月16日
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Arxiv
0+阅读 · 2023年4月7日
参考链接
微信扫码咨询专知VIP会员
Top