Jianwei Yin

Conference Papers

1. 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
2. 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 DOI
3. 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
4. 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
5. 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

Preprints

1. Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Kangjia Zhao, He Li, Jintao Chen, Liqiang Lu, Xinkui Zhao, Shuiguang Deng, Jianwei Yin (2024). Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation. arXiv. Preprint. PDF Cite Code Dataset