基本信息
吕毅  男  硕导  中国科学院软件研究所
电子邮件: lvyi@ios.ac.cn
通信地址: 中科院软件所计算机科学国家重点实验室
邮政编码: 100190

招生信息

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

科研活动

   
科研项目
( 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

指导学生

已指导学生

周琰  硕士研究生  081202-计算机软件与理论  

孙鲁明  硕士研究生  081202-计算机软件与理论  

赵晓凯  硕士研究生  081202-计算机软件与理论  

熊浩军  硕士研究生  085211-计算机技术  

李亮  硕士研究生  081202-计算机软件与理论