Mingshuai Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
10
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ACL | The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding? | Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Ruochen Xu, Zilun Zhang, Jianwei Yin |
| 2025 | CAV | On the Almost-Sure Termination of Probabilistic Counter Programs. | Sergei Novozhilov, Mingqi Yang, Mingshuai Chen, Zhiyang Li, Jianwei Yin |
| 2025 | IJCAI | Horae: A Domain-Agnostic Language for Automated Service Regulation. | Yutao Sun, Mingshuai Chen, Tiancheng Zhao, Kangjia Zhao, He Li, Jintao Chen, Zhongyi Wang, Liqiang Lu, Xinkui Zhao, Shuiguang Deng, Jianwei Yin |
| 2025 | MICRO | Vegapunk: Accurate and Fast Decoding for Quantum LDPC Codes with Online Hierarchical Algorithm and Sparse Accelerator. | Kaiwen Zhou, Liqiang Lu, Debin Xiang, Chenning Tao, Anbang Wu, Jingwen Leng, Fangxin Liu, Mingshuai Chen, Jianwei Yin |
| 2025 | MICRO | YOUTIAO: Hybrid Multiplexing with Dynamic Qubit Grouping for Low-cost and Scalable Quantum Wiring. | Wuwei Tian, Liqiang Lu, Siwei Tan, Shiyu Li, Hengyi Li, Tianyao Chu, Xuhong Zhang, Mingshuai Chen, Jianwei Yin |
| 2024 | ASPLOS | QuFEM: Fast and Accurate Quantum Readout Calibration Using the Finite Element Method. | Siwei Tan, Liqiang Lu, Hanyu Zhang, Jia Yu, Congliang Lang, Yongheng Shang, Xinkui Zhao, Mingshuai Chen, Yun Liang, Jianwei Yin |
| 2024 | ASPLOS | MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification. | Siwei Tan, Debin Xiang, Liqiang Lu, Junlin Lu, Qiuping Jiang, Mingshuai Chen, Jianwei Yin |
| 2024 | FM | Proving Functional Program Equivalence via Directed Lemma Synthesis. | Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong |
| 2024 | ICWS | Horae: A Domain-Agnostic Modeling Language for Automating Multimodal Service Regulation | Yutao Sun, Mingshuai Chen, Kangjia Zhao, Jintao Chen |
| 2023 | TACAS | Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. | Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2022 | CAV | Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. | Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler |
| 2021 | CAV | Latticed k-Induction with an Application to Probabilistic Programs. | Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schrer |
| 2021 | CAV | Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. | Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen |
| 2020 | CAV | Unbounded-Time Safety Verification of Stochastic Differential Dynamics. | Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan |
| 2020 | TACAS | Learning One-Clock Timed Automata. | Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang |
| 2019 | CADE | NIL: Learning Nonlinear Interpolants. | Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan |
| 2019 | CAV | Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. | Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Frnzle, Bai Xue |
| 2018 | ATVA | What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. | Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
| 2016 | CADE | Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. | Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen |
| 2016 | FM | Validated Simulation-Based Verification of Delayed Differential Dynamics. | Mingshuai Chen, Martin Frnzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan |
| 2015 | ATVA | Decidability of the Reachability for a Family of Linear Vector Fields. | Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan |