吕毅 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 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 作者