Update about.md

_pages/about.md

@@ -10,8 +10,30 @@ redirect_from:
 
 * I am a third year PhD student in the Department of Computer Science at Purdue University, advised by Prof.[Xiangyu Zhang](https://www.cs.purdue.edu/homes/xyzhang/) since 2021. Before that, I received my bachelor's degree in Computer Science and Technology from Huazhong University of Science and Technology in 2020.
 
-* My research interests are program analysis, software testing and formal methods
+* My research interests are program analysis, software testing and formal methods.
 
 Publication
 ======
+* ParDiff: Practical Static Differential Analysis of Network Protocol Parsers (**To appear**)
+**Mingwei Zheng**, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang  
+The ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (**OOPSLA 2024**)
 
+* [Lifting Network Protocol Implementation to Precise Format Specification with Security Applications](https://dl.acm.org/doi/abs/10.1145/3576915.3616614)
+Qingkai Shi, Junyang Shao, Yapeng Ye, **Mingwei Zheng**, Xiangyu Zhang
+The ACM Conference on Computer and Communications Security (**CCS 2023**)
+
+* [Why Do Developers Remove Lambda Expressions in Java?](https://ieeexplore.ieee.org/document/9678600)
+**Mingwei Zheng**, Jun Yang, Ming Wen*, Hengcheng Zhu, Yepang Liu and Hai Jin
+The IEEE/ACM International Conference on Automated Software Engineering (**ASE 2021**)
+
+Service
+======
+Reviewer, IEEE Internet of Things Journal
+Reviewer, High-Confidence Computing
+Reviewer, IEEE Transactions on Wireless Communications
+Reviewer, PeerJ Computer Science
+
+
+Teaching
+======
+CS180(2022 Spring), CS307(2022 Fall)