Xinghao Peng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | ConsCS: Effective and Efficient Verification of Circom Circuits. | Jinan Jiang, Xinghao Peng, Jinzhao Chu, Xiapu Luo |
| 2024 | CCS | fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup. | Zihao Li, Xinghao Peng, Zheyuan He, Xiapu Luo, Ting Chen |
| 2024 | CCS | DoubleUp Roll: Double-spending in Arbitrum by Rolling It Back. | Zhiyuan Sun, Zihao Li, Xinghao Peng, Xiapu Luo, Muhui Jiang, Hao Zhou, Yinqian Zhang |
| 2024 | ICONIP | PEBTrack: A Performance-Efficiency Balance Tracker for Aerial Scenario. | Xuesen Ma, Xiuxuan Yu, Xinghao Peng |