❯ cat intro.md
xxxxxxxxxx
31Hello, World! 👋 I'm Jinjun Peng, a PhD student at [SSL](https://systems.cs.columbia.edu/).
2
3I am interested in research about AI-related software systems, to make them efficient and reliable. I am open to collaboration. Welcome to contact me!
❯ cat pub.md
xxxxxxxxxx
71[ESEC/FSE '23 **Distinguished Paper**] NeuRI: Diversifying DNN Generation via Inductive Rule Inference
2- Jiawei Liu, Jinjun Peng, Yuyao Wang, and Lingming Zhang
3- [arXiv:2302.02261](http://arxiv.org/abs/2302.02261)
4
5Quarl: A Learning-Based Quantum Circuit Optimizer
6- Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, Zhihao Jia
7- [arXiv:2307.10120](https://arxiv.org/abs/2307.10120)
❯ cat exp.md
xxxxxxxxxx
91**University of Illinois Urbana-Champaign, iSE-UIUC**, *Research Assistant*, 2022.08 - 2023.02
2- Mentored by [Prof. Lingming Zhang](http://lingming.cs.illinois.edu/)
3- Improved [NNSmith](https://github.com/ise-uiuc/nnsmith), a fuzz testing framework for deep learning compilers.
4- Closely work with [Jiawei Liu](https://jiawei-site.github.io/)
5
6**Carnegie Mellon University, Catalyst Group**, *Research Assistant*, 2022.02 - 2023.04
7- Mentored by [Prof. Zhihao Jia](https://www.cs.cmu.edu/~zhihaoj2/)
8- Developed a RL method for quantum circuit optimization.
9- Closely work with [Zikun Li](https://zikun-li.github.io/)
❯ cat edu.md
xxxxxxxxxx
81**Columbia University**, PhD student, 2023 - ?
2- Lukily advised by Professors [Junfeng Yang](http://www.cs.columbia.edu/~junfeng/) and [Baishakhi Ray](https://www.rayb.info/).
3
4**Tsinghua University**, *B.E.*, 2019 - 2023
5- Department of Computer Science and Technology
6
7**Beijing National Day School**, 2016 - 2019
8- Always be proud of this unique school where students' dignity, individuality, and freedom are *highly* respected, which is rare in mainland China.