位置：成果数据库 > 会议 > 会议详情页
Modular Certification of Low-level Intermediate Representation Programs
  • 所属机构名称：清华大学
  • 成果类型：会议
  • 相关项目：基于有色网的事务型并发编程模型及其验证技术
同会议论文项目
基于有色网的事务型并发编程模型及其验证技术
期刊论文 14 会议论文 8 著作 1
同项目会议论文
Reasoning about Optimistic Concurrency Using a Program Logic for History
Domain-specific Pattern Matching based Automatic Parallelization: Demonstrated by 2-D Prestack Migra
Parameterized Memory Models and Concurrent Separation Logic
PNTM: Integration of Petri Nets and Transactional Memory
Compiler Backend Generation for Application Specific Instruction Set Processors
Certify Once, Trust Anywhere - - Modular Certification of Bytecode Programs for Certified Virtual M
Transitions as Transactions