Shangzhou Xia

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Quantum Computing

Symbolic Execution

Specific Features

Concurrent Programs

Top Venues

Publications

Shangzhou Xia, Jianjun Zhao, Fuyuan Zhang, Xiaoyu Guo
Concolic Testing of Quantum Programs. CoRR (2024)
Mike Li, Hongseok Namkoong, Shangzhou Xia
Evaluating Model Performance Under Worst-case Subpopulations. CoRR (2024)
Shangzhou Xia, Jianjun Zhao
Static Entanglement Analysis of Quantum Programs. Q-SE@ICSE (2023)
Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE (2023)
Shangzhou Xia, Jianjun Zhao
Static Entanglement Analysis of Quantum Programs. CoRR (2023)
Santiago R. Balseiro, Shangzhou Xia
Uniformly Bounded Regret in Dynamic Fair Allocation. CoRR (2022)
Mike Li, Hongseok Namkoong, Shangzhou Xia
Evaluating model performance under worst-case subpopulations. NeurIPS (2021)
Ling Li, Wenjun Hou, Huan Zhang, Saibin Yao, Shangzhou Xia, Xiaolong Ji
Analysis of LTE traffic offloading based on big data. ISCIT (2016)