About
I am currently a Ph.D. student in Department of Computer Science at Purdue University, advised by Prof. Xiangyu Zhang. I am interested in using formal methods and software engineering to improve the robustness of program synthesizers and neural networks. I received my M.S and B.S. degrees in Department of Computer Science and Technology from Nanjng University (NJU), advised by Prof. Xiaoxing Ma.
Publications
- MIRROR: Model Inversion for Deep Learning Network with High Fidelity
- Shengwei An, Guanhong Tao, Qiuling Xu, Yingqi Liu, Guangyu Shen, Yuan Yao, Jingwei Xu, Xiangyu Zhang
- Proceedings of the 29th Network and Distributed System Security Symposium (NDSS 2022)
-
paper
appendix
slides
project
code
- Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security
- Guanhong Tao, Yingqi Liu, Guangyu Shen, Qiuling Xu, Shengwei An, Zhuo Zhang, Xiangyu Zhang
- Proceedings of the 43rd IEEE Symposiums on Security and Privacy (S&P 2022)
-
paper
- Backdoor Scanning for Deep Neural Networks through K-Arm Optimization
- Guangyu Shen, Yingqi Liu, Guanhong Tao, Shengwei An, Qiuling Xu, Siyuan Cheng, Shiqing Ma, Xiangyu Zhang
- Proceedings of Thirty-eighth International Conference on Machine Learning (ICML 2021)
-
paper
bibtex
- Augmented Example-based Synthesis using Relational Perturbation Properties
- Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta
- Proceedings of the ACM on Programming Languages (POPL 2020)
-
paper
bibtex
video
- Verifying Distributed Controllers with Local Invariants
- Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu
- IEEE International Conference on Software Quality, Reliability and Security (QRS 2016)
-
paper
bibtex
- An Event-Based Formal Framework for Dynamic Software Update
- Shengwei An, Xiaoxing Ma, Chun Cao, Ping Xu, Chang Xu
- IEEE International Conference on Software Quality, Reliability and Security (QRS 2015)
-
paper
bibtex
Teaching
- CS51000: Software Engineering (Spring 2022)
- CS56000: Reasoning About Programs (Spring 2019)
- CS18200: Foundations Of Computer Science (Fall 2018)
Services
- Student Volunteer
- Sub-reviewer
- USENIX Security Symposium
- International Symposium on Software Testing and Analysis (ISSTA)
- The ACM Conference on Systems, Programming, Languages, and Applications (OOPSLA)
- International Conference on Automated Software Engineering (ASE)
- ACM Conference on Computer and Communications Security (CCS)
- International Symposium on the Foundations of Software Engineering (FSE)
- International Conference on Software Engineering (ICSE)
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)