|
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu. Decidability of Liveness for Concurrent Objects on the TSO Memory Model.
SETTA 2022: 149-165. |
|
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xi. Compositional Verification of Interacting Systems Using Event Monads.
ITP 2022: 33:1-33:21 |
|
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai. An Automatic Proving Approach to Parameterized Verification.
ACM Trans. Comput. Log., 19(4): 27:1-27:25, 2018. |
|
Chao Wang, Yi Lv, Peng Wu. Decidability of Linearizabilities for Relaxed Data Structures.
SCIENCE CHINA Information Sciences, 61(012103): 1-10, 2018. Springer. |
|
Chao Wang, Yi Lv, Peng Wu. Decomposable Relaxation for Concurrent Data Structures.
The 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2017.
|
|
Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai. A Novel Approach to Parameterized Verification of Cache Coherence Protocols.
The 34th IEEE International Conference on Computer Design (ICCD), 2016.
|
|
Wei Ji, Farn Wang, Peng Wu, Yi Lv. An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.
The 21st International Conference on Engineering of Complex Computer Systems (ICECCS), 2016.
|
| Chao
Wang, Yi Lv, and Peng Wu. Bounded TSO-to-SC Linearizability is Decidable.
The 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 2016.
|
|
Han Yue, Peng Wu, Tsong-Yueh Chen and Yi Lv. Input-driven Active Testing of Multi-threaded Programs. The 22nd Asia-Pacific Software Engineering Conference (APSEC), 2015.
|
| Chao
Wang, Yi Lv, Gaoang Liu, and Peng Wu. Quasi-Linearizability is Undecidable.
The 13th Asian Symposium on Programming Languages and Systems (APLAS), 2015. pdf
|
| Chao
Wang, Yi Lv and Peng Wu. TSO-to-TSO Linearizability is Undecidable.
The 13th International Symposium on Automated Technology for
Verification and Analysis (ATVA), 2015. [Report Version] |
| Yongjian
Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao and Kaiqiang Duan.
paraVerifier: An Automatic Framework for Proving Parameterized Cache
Coherence Protocols. The 13th International Symposium on Automated
Technology for Verification and Analysis (ATVA), 2015. |
| Yi Lv,
Luming Sun, Xiaochun Ye, Dongrui Fan, and Peng Wu. Efficiently and
Completely Verifying Synchronized Consistency Models. The 12th
International Symposium on Automated Technology for Verification and
Analysis (ATVA), 2014. [Report Version]
|
| Yunji
Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, and Hong
Pan. Fast Complete Memory Consistency Verification. The 15th
International Symposium on High-Performance Computer Architecture
(HPCA), 2009. pdf |
| Hong
Pan, Yi Lv, and Huimin Lin. Environment Abstraction with State
Clustering and Parameter Truncating. Third IEEE International
Symposium on Theoretical Aspects of Software Engineering (TASE),
2009. pdf |
|
Yi Lv, Huimin Lin, Hong Pan. Computing Invariants for Parameter
Abstraction. Fifth ACM-IEEE International Conference on Formal Methods and
Models for Codesign (MEMOCODE 2007), May 30 - June 1st, Nice,
France |
|
吕毅，王源，李晓林.
服务网格的用户3A使用模式. 电子学报，2007, Vol.35, No.2 |
|
Hong Pan, Huimin Lin, Yi Lv. Model Checking Data Consistency for Cache
Coherence Protocols. Journal of Computer Science and Technology, 2006,
Vol.21, No.5 |
|
吕毅, 马捷, 唐荣锋.
FSbench: 一个机群文件系统基准程序. 计算机工程, 2004, Vol.30, No.2 |
|
Jin He, Jin Xiong, Sining Wu, Yi Lu, Dan Meng. DCFS: File Service in
Commodity Cluster Dawning 4000. In Proceedings of the Fourth International
Conference on Parallel and Distributed Computing, Applications and
Technologies, August 2003 |
|
吕毅,
姚志江,
魏道政,
解永良.
异步时序电路分析的一种OBDD方法.
计算机辅助设计与图形学学报,
2001, Vol.13, No.6 |
