Peixin Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | A Formal Framework for Predicting Distributed System Performance Under Faults. | Ziwei Zhou, Si Liu, Zhou Zhou, Peixin Wang, Min Zhang |
| 2025 | EMNLP | UIOrchestra: Generating High-Fidelity Code from UI Designs with a Multi-agent System. | Chuhuai Yue, Jiajun Chai, Yufei Zhan, Zixiang Ding, Xihao Liang, Peixin Wang, Shihai Chen, Wang Yixuan, Wang Yanping, Guojun Yin, Wei Lin |
| 2025 | IROS | A Variable Stiffness Supernumerary Robotic Limb with Pneumatic-Tendon Coupled Actuation | Mengcheng Zhao, Jiajun Xu, Peixin Wang, Juanxia Zhou, Tianyi Zhang, Kaizhen Huang, Aihong Ji, Xuyan Hou, Guoli Song, You-Fu Li |
| 2024 | AAAI | Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales. | Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang |
| 2024 | AIME | Modeling Multiple Adverse Pregnancy Outcomes: Learning from Diverse Data Sources. | Saurabh Mathur, Veerendra P. Gadekar, Rashika Ramola, Peixin Wang, Ramachandran Thiruvengadam, David M. Haas, Shinjini Bhatnagar, Nitya Wadhwa, Garbhini Study Group, Predrag Radivojac, Himanshu Sinha, Kristian Kersting, Sriraam Natarajan |
| 2024 | CAV | Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems. | Dapeng Zhi, Peixin Wang, Si Liu, C.-H. Luke Ong, Min Zhang |
| 2024 | VMCAI | Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training. | Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang |
| 2019 | PLDI | Cost analysis of nondeterministic probabilistic programs. | Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi |