avatar

Jian Zhang

PhD candidate @ Northeastern University

I am a fourth-year PhD student of Khoury College of Computer Sciences at Northeastern University, advised by Cheng Tan. I am also privileged to work closely with Shuai Mu. My main research interests are in system verification and distributed systems. I’m particularly interested in:

  • Verifying correctness of distributed systems.
  • Building efficient distributed systems.

News

Selected Publication

  • Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking (PaPoC 2024) [pdf]
    Jian Zhang, Cheng Tan
  • Viper: A Fast Snapshot Isolation Checker (EuroSys 2023) [pdf]
    Jian Zhang, Ye Ji, Shuai Mu, Cheng Tan

Experience

  • Research Intern. Microsoft Redmond & Microsoft Vancouver, Database system group.
    May 2024 - Aug 2024
  • Machine Learning System Intern. ByteDance Beijing, MLSys team.
    Jan 2021 - July 2021.

Education

  • PhD student, Northeastern University (Sept. 2021 - )
  • M.Sc., The Chinese University of Hong Kong, China HK SAR
  • B.Eng., Nanjing University, China

Honors and Awards

  • 2024/11 SOSP 2024 Student Scholarship
  • 2023/05 EuroSys 2023 Travel Grant
  • 2017/11 Dean’s List, School of Engineering, Hong Kong University of Science and Technology
  • 2017/11 National Endeavor Scholarship, Nanjing University
  • 2016/12 National Scholarship, Ministry of Education of the People’s Republic of China
  • 2015/12 Excellent Student of Software Institute, Nanjing University
  • 2015/11 National Endeavor Scholarship, Nanjing University
  • 2014/11 National Endeavor Scholarship, Nanjing University

Teaching

  • Teaching Assistant of NEU CS5600 Computer Systems
  • Teaching Assistant of CUHK CSCI 1030 Hands-on Introduction to Java
  • Teaching Assistant of CUHK CSCI 2100 Data Structures
  • Teaching Assistant of CUHK CSCI 3180 Principles of Programming Languages
  • Teaching Assistant of CUHK CSCI 3160 Design and Analysis of Algorithms