Jinjun Peng

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Deductive Reasoning

Inference Process

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, Zhihao Jia
Quarl: A Learning-Based Quantum Circuit Optimizer. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yangruibo Ding, Jinjun Peng, Marcus J. Min, Gail E. Kaiser, Junfeng Yang, Baishakhi Ray
SemCoder: Training Code Language Models with Comprehensive Semantics. CoRR (2024)
Jiawei Liu, Jinjun Peng, Yuyao Wang, Lingming Zhang
NeuRI: Diversifying DNN Generation via Inductive Rule Inference. ESEC/SIGSOFT FSE (2023)
Zikun Li, Jinjun Peng, Yixuan Mei, Sina Lin, Yi Wu, Oded Padon, Zhihao Jia
Quarl: A Learning-Based Quantum Circuit Optimizer. CoRR (2023)
Jiawei Liu, Jinjun Peng, Yuyao Wang, Lingming Zhang
NeuRI: Diversifying DNN Generation via Inductive Rule Inference. CoRR (2023)