肖黎丽

女，计算机软件与理论系，讲师，硕士生导师

个人简介

2022年6月获得华东师范大学软件工程专业博士学位，同年5月被评为上海市优秀毕业生。

研究方向：

可信计算，形式化方法，形式语义，形式化建模与验证

讲授课程：

离散数学

主要研究成果：

[1] Lili Xiao, Huibiao Zhu, Qiwen Xu: Trace Semantics and Algebraic Laws for Total Store Order Memory Model. Journal of Computer Science and Technology. 36(6): 1269-1290 (2021) (SCI 二区，CCF-B)

[2] Lili Xiao, Huibiao Zhu: UTP Semantics for the MCA ARMv8 Architecture. Journal of Systems Architecture. 125: 102438 (2022) (SCI二区，CCF-B)

[3] Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh: Modeling and Verifying PSO Memory Model Using CSP. Mobile Networks and Applications. 27: 2068–2083 (2022) (SCI 三区，CCF-C)

[4] Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh: Modeling and verifying SDN under Multi-controller architectures using CSP. Concurrency and Computation: Practice and Experience, vol 33(2), 2021 (SCI 四区，CCF-C)

[5] Lili Xiao, Huibiao Zhu: Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP. Proc. SETTA 2021: Symposium on Dependable Software Engineering Theories, Tools and Applications, LNCS 13071, pp. 81-101, Nov. 25-27, 2021, Beijing, China (EI)

[6] Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin: Algebraic Semantics for C++11 Memory Model. Proc. COMPSAC 2022: 46th IEEE Annual Computers, Software, and Applications Conference, pp. 1-6, Los Alamitos, CA, USA, June 27 - July 1, 2022 (EI)

[7] Lili Xiao, Shuangqing Xiang, Huibiao Zhu: Modeling and verifying SDN with multiple controllers. Proc. SAC 2018: 33rd Annual ACM Symposium on Applied Computing, pp. 419-422, Pau, France, 09-13 April, 2018 (EI)

联系方式：

邮箱：xiaolili@dhu.edu.cn

地址：上海市松江区人民北路2999号太阳集团tcy87221号学院楼103

邮编：201620

Lili Xiao

Female, Department of Computer Software and Theory, Lecturer, Master Supervisor

Bio:

She received her Ph.D. degree in software engineering in East China Normal University in June 2022.

Research Areas:

Trustworthy Computing, Formal Methods, Formal Semantics, Formal Modeling and Verification

Main Courses Taught:

Discrete Mathematics

Publications:

Same as above

Address: Room 103, Building No. 1

Tel: 021-67792164

Mail: xiaolili@dhu.edu.cn