当前位置: X-MOL首页全球导师 国内导师 › 吕毅

个人简介

招生专业 081202-计算机软件与理论 085400-电子信息 招生方向 网络与并发实时系统的设计与分析 形式验证 模型检测 教育背景 2000-09--2004-07 中国科学院计算技术研究所 获博士学位 1997-09--2000-07 中国科学院计算技术研究所 获硕士学位 1989-09--1993-07 电子科技大学 获学士学位 工作简历 2009-01~现在, 中国科学院软件研究所, 副研究员 2007-02~2008-12,中国科学院软件研究所, 助理研究员 2004-08~2007-01,中国科学院软件研究所, 博士后 1993-08~1997-08,南京电子技术研究所, 助理工程师 教授课程 并发数据结构与多核编程 多处理器系统编程 科研项目 ( 1 ) 符号模型与隐式状态模型检测技术, 参与, 国家级, 2013-01--2016-12 ( 2 ) 同步数据流模型优化研究, 参与, 国家级, 2016-01--2019-12 ( 3 ) 限界正确性检查及相关模型检测技术, 参与, 国家级, 2017-01--2020-12 参与会议 (1)Efficiently and Completely Verifying Synchronized Consistency Models Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, and Peng Wu 2014-11-05 (2)Finding Invariants for Parameter Abstraction 多核与异构并发计算学术研讨会 吕毅 2013-04-11

近期论文

查看导师新发文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

(1) TSO-to-TSO Linearizability is Undecidable, Acta Informatica, 2018, 第 2 作者 (2) An Automatic Proving Approach to Parameterized Verification, ACM Transactions on Computational Logic, 2018, 第 6 作者 (3) Decidability of Linearizabilities for Relaxed Data Structures, Science China Information Sciences, 2018, 第 2 作者 (4) Decomposable Relaxation for Concurrent Data Structures, SOFSEM2017, 2017, 第 2 作者 (5) An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata, ICECCS, 2016, 第 4 作者 (6) A Novel Approach to Parameterized Verification of Cache Coherence Protocols, ICCD, 2016, 第 3 作者 (7) Bounded TSO-to-SC Linearizability is Decidable, SOFSEM2016, 2016, 第 2 作者 (8) TSO-to-TSO Linearizability is Undecidable, ATVA2015, 2015, 第 2 作者 (9) paraVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols, ATVA2015, 2015, 第 3 作者 (10) Quasi-Linearizability is Undecidable, APLAS2015, 2015, 第 2 作者 (11) Input-driven Active Testing of Multi-threaded Programs, APSEC2015, 2015, 第 4 作者 (12) Efficiently and Completely Verifying Synchronized Consistency Models, ATVA 2014, 2014, 第 1 作者 (13) Environment Abstraction with State Clustering and Parameter Truncating, TASE 2009, 2009, 第 2 作者 (14) Fast Complete Memory Consistency Verification , HPCA 2009, 2009, 第 2 作者 (15) Computing Invariants for Parameter Abstraction, MEMOCODE 2007, 2007, 第 1 作者

推荐链接
down
wechat
bug