Jinjun Peng

Pronunciation: Jìnjūn Péng (Chinese Pinyin) 🎓 PhD student at Columbia CS | 💻 Interested in AI, SE and systems 🌟 GitHub | 📮 mail@co1in.me

 

 

2
1
❯ ls
2
intro.md   exp.md   edu.md   pub.md

❯ cat intro.md

xxxxxxxxxx
3
1
Hello, World! 👋 I'm Jinjun Peng, a PhD student at [SSL](https://systems.cs.columbia.edu/).
2

3
I 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
7
1
[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

5
Quarl: 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
9
1
**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
8
1
**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.