Jianwei Yin

Conference Papers

1. Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Kangjia Zhao, He Li, Jintao Chen, Zhongyi Wang, Liqiang Lu, Xinkui Zhao, Shuiguang Deng, Jianwei Yin (2025). Horae: A Domain-Agnostic Language for Automated Service Regulation. In IJCAI 2025. PDF Cite Code Dataset DOI
2. Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Mingqi Yang, Haokun Li, Xiao Yi, Shengchao Qin, Jianwei Yin (2025). Preguss: It Analyzes, It Specifies, It Verifies. In LMPL 2025. PDF Cite DOI
3. Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Ruochen Xu, Zilun Zhang, Jianwei Yin (2025). The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?. In ACL 2025. PDF Cite
4. Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin (2025). On the Almost-Sure Termination of Probabilistic Counter Programs. In CAV 2025. PDF Cite DOI Artifact Evaluated
5. Kaiwen Zhou, Liqiang Lu, Debin Xiang, Chenning Tao, Anbang Wu, Jingwen Leng, Fangxin Liu, Mingshuai Chen, Jianwei Yin (2025). Vegapunk: Accurate and Fast Decoding for Quantum LDPC Codes with Online Hierarchical Algorithm and Sparse Accelerator. In MICRO 2025. Cite
6. Wuwei Tian, Liqiang Lu, Siwei Tan, Shiyu Li, Hengyi Li, Tianyao Chu, Xuhong Zhang, Mingshuai Chen, Jianwei Yin (2025). YOUTIAO: Hybrid Multiplexing with Dynamic Qubit Grouping for Low-cost and Scalable Quantum Wiring. In MICRO 2025. Cite
7. Jintao Chen, Fan Wang, Shengye Pang, Siwei Tan, Mingshuai Chen, Tiancheng Zhao, Meng Xi, Jianwei Yin (2024). UniGM: Unifying Multiple Pre-trained Graph Models via Adaptive Knowledge Aggregation. In ACM MM 2024. PDF Cite Code DOI
8. Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin (2024). Parf: Adaptive Parameter Refining for Abstract Interpretation. In ASE 2024. PDF Cite Code Slides Video DOI 2nd Prize@ChinaSoft'24
9. Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin (2024). MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification. In ASPLOS 2024. PDF Cite Code DOI Artifact Evaluated
10. Siwei Tan, Liqiang Lu, Hanyu Zhang, Jia Yu, Congliang Lang, Yongheng Shang, Xinkui Zhao, Mingshuai Chen, Yun Liang, Jianwei Yin (2024). QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method. In ASPLOS 2024. PDF Cite Code DOI
11. Mingqi Yang, Kevin Batz, Mingshuai Chen, Joost-Pieter Katoen, Zhiang Wu, Jianwei Yin (2024). Latticed Craig Interpolation with an Application to Probabilistic Verification. In CIBD 2024. PDF Cite