Jinjun Peng

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

❯ cat intro.md

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

3
I am working on research about AI × SE, specifically on building code LLMs with better semantics in terms of functionality and safety.
4

5
Welcome to contact me! If you want to collaborate with me or my advisors, feel free to drop an email.
6

7
For Columbia people, please reach me via Columbia email.

❯ cat pub.md

xxxxxxxxxx
11
1
[NeurIPS '24] SemCoder: Training Code Language Models with Comprehensive Semantics
2
- Yangruibo Ding, Jinjun Peng, Marcus J Min, Gail Kaiser, Junfeng Yang, Baishakhi Ray
3
- [arXiv:2406.01006](http://arxiv.org/abs/2406.01006)
4

5
[ESEC/FSE '23 **Distinguished Paper**] NeuRI: Diversifying DNN Generation via Inductive Rule Inference
6
- Jiawei Liu, Jinjun Peng, Yuyao Wang, and Lingming Zhang
7
- [arXiv:2302.02261](http://arxiv.org/abs/2302.02261)
8

9
[OOPSLA '24] Quarl: A Learning-Based Quantum Circuit Optimizer
10
- Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, Zhihao Jia
11
- [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 - 2028 (hopefully 🙏)
2
- Lukily advised by Professors [Baishakhi Ray](https://www.rayb.info/) and [Junfeng Yang](http://www.cs.columbia.edu/~junfeng/).
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.

❯ cat ack.md

xxxxxxxxxx
8
1
- [Always] My friends, mentors, and collaborators.
2
Funding:
3
- [2024] Amazon Trusted AI Challenge ($250k)
4
Compute Resource:
5
- [2024] NSF ACCESS Program
6
- [2024] OpenAI Researcher Access Program
7
Travel:
8
- [2023] NSF Student Travel Award