shengweian_photo

Shengwei An

an93 AT purdue.edu

"Forget what is behind and strain toward what is ahead."

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
    • ISSTA 2021
  • 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)