Kexin Pei


Ph.D. Student
Department of Computer Science, Columbia University       
kpei AT cs DOT columbia DOT edu

About Me
I am a second year Ph.D. student at Department of Computer Science, Columbia University. I am co-advised by Prof. Suman Jana and Prof. Junfeng Yang. Before coming to Columbia, I was a research-based master student at Department of Computer Science, Purdue University, under the direction of Prof. Dongyan Xu, Prof. Xiangyu Zhang and Prof. Luo Si. Prior to Purdue, I worked at the Database group, HKBU, advised by Prof. Haibo Hu and Prof. Jianliang Xu.
I am interested in machine learning with focuses on the security and reliability of machine learning systems.

Education
  • Ph.D., Department of Computer Science, Columbia University
  • M.S., Department of Computer Science, Purdue University
  • B.S., Department of Computer Science, Hong Kong Baptist University

Publication
  • Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana. "Formal Security Analysis of Neural Networks using Symbolic Intervals", to appear in the 27th USENIX Security Symposium (USENIX Security 2018, acceptance rate: 19%).
  • Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana. "Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems". [pdf]
  • Yuchi Tian, Kexin Pei, Suman Jana, Baishakhi Ray. "DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars", in Proceedings of the 40th International Conference on Software Engineering (ICSE 2018, acceptance rate: 21%). [pdf][results]
  • Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana. "DeepXplore: Automated Whitebox Testing of Deep Learning Systems", in Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP 2017acceptance rate: 16%). Best paper award. [pdf][poster][slide][short slide][code]
    • In Proceedings of the NIPS 2017 Workshop on Machine Learning and Computer Security (MLSec 2017).
  • Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, Suman Jana. "HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations", in Proceedings of the 38th IEEE Symposium on Security and Privacy (Oakland S&P 2017, acceptance rate: 13%). [pdf]
  • Kexin Pei, Zhongshu Gu, Brendan Saltaformaggio, Shiqing Ma, Fei Wang, Zhiwei Zhang, Luo Si, Xiangyu Zhang, Dongyan Xu. "HERCULE: Attack Story Reconstruction via Community Discovery on Correlated Log Graph", in Proceedings of the 32nd Annual Computer Security Applications Conference (ACSAC 2016, acceptance rate: 22%). [pdf]
  • Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, Baowen Xu. "Python Probabilistic Type Inference with Natural Language Support", in Proceedings of the 24th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2016, acceptance rate: 27%) Diamond Artifact Award[pdf]
  • Zhongshu Gu, Kexin Pei, Qifan Wang, Luo Si, Xiangyu Zhang, Dongyan Xu. "LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis", in Proceedings of the 45th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015, acceptance rate: 21%). [pdf]
  • Haibo Hu, Jianliang Xu, Xizhong Xu, Kexin Pei, Byron Choi, Shuigeng Zhou. "Private Search on Key-Value Stores with Hierarchical Indexes", in Proceedings of the 30th IEEE International Conference on Data Engineering (ICDE 2014, acceptance rate: 20%). [pdf]

Work Experience
  • Microsoft Research Intern, Redmond, WA (2018)

Talks
  • "Towards Testing and Verification of Machine Learning (ML) Systems". NEC Lab Princeton.
  • "DeepXplore: Automated Whitebox Testing of Deep Learning Systems". SOSP 2017.
  • "HERCULE: Attack Story Reconstruction via Community Discovery on Correlated Log Graph". ACSAC 2016.
  • "LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis". CERIAS Security Seminar Series. 

Professional Activities
  • External reviewer. ACM Conference on Computer and Communications Security (CCS 2017).
  • External reviewer. USENIX Security Symposium (USENIX 2017).
  • External reviewer. IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016).
  • External reviewer. International Symposium on Research in Attacks, Intrusions, and Defenses (RAID 2016).
  • External reviewer. ACM Transactions on Autonomous and Adaptive Systems (TAAS).

Personal
  • Piano: love playing simple yet beautiful music.
  • Clarinet: have been playing clarinet in universities' symphony orchestra for four years.
  • Basketball: still a big fan of Tracy McGrady.
  • Chinese Calligraphy: love clerical script.

Links