Qiyuan Zhao

According to our database, Qiyuan Zhao authored at least 12 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mechanised Hypersafety Proofs about Structured Data.

Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey

Proc. ACM Program. Lang., 2024

React-OT: Optimal Transport for Generating Transition State in Chemical Reactions.

Chenru Duan, Guan-Horng Liu, Yuanqi Du, Tianrong Chen, Qiyuan Zhao, Haojun Jia, Carla P. Gomes, Evangelos A. Theodorou, Heather J. Kulik

CoRR, 2024

Mechanised Hypersafety Proofs about Structured Data: Extended Version.

Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey

CoRR, 2024

Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems.

Chuan Luo, Shuangyu Lyu, Qiyuan Zhao, Wei Wu, Hongyu Zhang, Chunming Hu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.

Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Generating Pairwise Covering Arrays for Highly Configurable Software Systems.

Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays.

Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems.

Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021

Simultaneously improving reaction coverage and computational cost in automated reaction prediction tasks.

Qiyuan Zhao, Brett M. Savoie

Nat. Comput. Sci., 2021

Transferable Ring Corrections for Predicting Enthalpy of Formation of Cyclic Compounds.

Qiyuan Zhao, Nicolae C. Iovanac, Brett M. Savoie

J. Chem. Inf. Model., 2021

Topology Automated Force-Field Interactions (TAFFI): A Framework for Developing Transferable Force Fields.

Bumjoon Seo, Zih-Yu Lin, Qiyuan Zhao, Michael A. Webb, Brett M. Savoie

J. Chem. Inf. Model., 2021

2020

Self-Consistent Component Increment Theory for Predicting Enthalpy of Formation.

Qiyuan Zhao, Brett M. Savoie

J. Chem. Inf. Model., 2020