Dongjie Chen 陈冬杰

![](img/me.jpg)

Ph. D. student 2016.9 ~ present, SPAR , supervised by Yanyan Jiang, Prof. Chang Xu, and Prof. Xiaoxing Ma
Dept. of Computer Science and Technology , Nanjing University .

B. Sc degree 2012.9 ~ 2016.6,
Dept. of Computer Science and Technology , Nanjing University .

Research

My research interest focuses on testing complex software systems.

Publications

  • Guangpu Li, Dongjie Chen, Shan Lu, Madanlal Musuvathi, and Suman Nath, “SherLock: Unsupervised synchronization-operation inference”, in Proceedings of the 26th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Accepted, 2021.
  • Dongjie Chen, Yanyan Jiang, Chang Xu, and Xiaoxing Ma, “On interleaving space exploration of multi-threaded programs”, Frontiers of Computer Science (FCS), 15, 154206, 2021.
  • Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu, “Testing file system implementations on layered models”, in Proceedings of the 42nd International Conference on Software Engineering (ICSE), 1483–1495, 2020.
  • Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu, “Testing multithreaded programs via thread speed control”, in Proceedings of the 26th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 15–25, 2018.

Last Update: Dec 3, 2020

© 2021 Institute of Computer Software, Nanjing University. All rights reserved.