Xia, Shangzhou
- Quantum Concolic Testing
2024/05/08 by Shangzhou Xia, Xia, Shangzhou, Jianjun Zhao +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph) #Software Engineering (cs.SE)
- Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
2025/09/20 by Ye, Jiaming, Wu, Xiongfei, Xia, Shangzhou +2 · 2 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Evaluating Model Performance Under Worst-case Subpopulations
2024/07/01 by Mike Li, Li, Mike, Mittal, Daksh +4 · 1 citation
Computer Science · Decision Sciences · #Bayesian Modeling and Causal Inference #Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Simulation Techniques and Applications
- Static Entanglement Analysis of Quantum Programs
2023/04/11 by Xia, Shangzhou, Zhao, Jianjun · 1 citation
#FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph) #Software Engineering (cs.SE)