位置：成果数据库 > 会议 > 会议详情页
Modular Verification of Concurrent Thread Management
  • 所属机构名称：中国科学技术大学苏州研究院
  • 会议名称：10th Asian Symposium on Programming Languages and Systems (APLAS 2012)
  • 时间：2012.12.12
  • 成果类型：会议
  • 相关项目：内存一致性模型的通用描述及验证框架
作者： Yu Guo|Xinyu Feng|Zhong Shao|Peizhi Shi|
同会议论文项目
内存一致性模型的通用描述及验证框架
期刊论文 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 rely-guarantee-based simulation for verifying concurrent program transformations
A Structural Approach to Prophecy Variables
Modular Verification of Linearizability with Non-Fixed Linearization Points
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements