I am a PhD student at Peking University, doing research on software engineering and programming languages advised by professor Yingfei Xiong and professor Tao Xie.

In the summer of 2019, I visited CASTLE Lab at Hong Kong University of Science and Technology, worked with professor Shing-Chi Cheung on machine learning testing and deep learning debugging. Our work has been published on ESEC/FSE ’20.

I also worked with Jiajun Jiang and professor Yingfei Xiong on program transformation and automated program repair. Our work has been published on ASE ’19 and ESEC/FSE ’19.

In the summer of 2018, I visited Carnegie Mellon University as a research intern. I was very fortunate to work with Shurui Zhou and professor Christian Kästner. Our work has been published on SANER ’19 and ICSE ’18.

Conference Papers

[ESEC/FSE ’20] Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie. Detecting Numerical Bugs in Neural Network Architectures. [paper] [code] [news] [slides] [slides(中文)] ACM SIGSOFT Distinguished Paper Award!

[ASE ’19] Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang. Inferring Program Transformations From Singular Examples via Big Code. [paper] [code] [blog]

[SANER ’19] Luyao Ren, Shurui Zhou, Christian Kästner, Andrzej Wąsowski. Identifying Redundancies in Fork-based Development. [paper] [slides] [code]


[ESEC/FSE ’19 SRC] Luyao Ren. Automated Patch Porting across Forked Projects. [paper] [poster]

[ICSE ’18 Posters] Luyao Ren, Shurui Zhou, Christian Kästner. Forks Insight: Providing an Overview of GitHub Forks. [paper] [poster] [tool] [code]

Side Projects

GenPat-Plugin is an IntelliJ IDEA Plugin of GenPat for automated code transformation inference. [code]


L4CS (Language for Code Search) is a language to define patterns for syntax-based code search with abstraction. [slides] [code]

DIDO (Duplicate Issues Detector) is a tool for detecting duplicate issues on GitHub repositories. Similar feature has already shipped into GitHub. See the story here. [code]