Qiyuan Zhao

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

Collaborative distances:

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

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