位置：成果数据库 > 会议 > 会议详情页
A rely-guarantee-based simulation for verifying concurrent program transformations
  • 所属机构名称：中国科学技术大学苏州研究院
  • 会议名称：39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012)
  • 时间：2012.1.1
  • 成果类型：会议
  • 相关项目：内存一致性模型的通用描述及验证框架
作者： Hongjin Liang|Xinyu Feng|Ming Fu|
同会议论文项目
内存一致性模型的通用描述及验证框架
期刊论文 1 会议论文 8
同项目会议论文
A Concurrent Temporal Programming Model with Atomic Blocks
An Operational Approach to Happens-Before Memory Model
A Simple Model for Certifying Assembly Programs with First-Class Function Pointers
A Structural Approach to Prophecy Variables
Modular Verification of Linearizability with Non-Fixed Linearization Points
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
Modular Verification of Concurrent Thread Management