Kexin Pei


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

About Me
I am a third 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 broadly interested in the security, systems, statistical learning and probablistic programming.

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. "Efficient Formal Safety Analysis of Neural Networks", in Proceedings of the 32nd Conference on Neural Information Processing Systems (NIPS 2018, acceptance rate: 20.8%). [pdf][code]
  • Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana. "Formal Security Analysis of Neural Networks using Symbolic Intervals", in Proceedings of the 27th USENIX Security Symposium (USENIX Security 2018, acceptance rate: 19%). [pdf][code]
  • 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][code][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]
    • 2nd Place in CSAW 2018 Applied Research Competition (CSAW'18).
    • Invited to appear in Research Highlights of Communications of the ACM (CACM).
    • In Research Highlights of ACM SigMobile: Mobile Computing and Communications (GetMobile).
    • 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][code]
  • 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

Talks
  • "Towards Testing and Verification of Machine Learning (ML) Systems". Microsoft Research Redmond.
  • "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