Qiyuan Zhao

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Search Algorithm

Software Systems

Top Venues

J. Chem. Inf. Model.

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Publications

Chenru Duan, Guan-Horng Liu, Yuanqi Du, Tianrong Chen, Qiyuan Zhao, Haojun Jia, Carla P. Gomes, Evangelos A. Theodorou, Heather J. Kulik
React-OT: Optimal Transport for Generating Transition State in Chemical Reactions. CoRR (2024)
Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur, Ilya Sergey
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic. CPP (2024)
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey
Mechanised Hypersafety Proofs about Structured Data: Extended Version. CoRR (2024)
Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman P. Amarasinghe, Ilya Sergey
Mechanised Hypersafety Proofs about Structured Data. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai, Chunming Hu
Generating Pairwise Covering Arrays for Highly Configurable Software Systems. SPLC (A) (2023)
Qiyuan Zhao, Chuan Luo, Shaowei Cai, Wei Wu, Jinkun Lin, Hongyu Zhang, Chunming Hu
CAmpactor: A Novel and Effective Local Search Algorithm for Optimizing Pairwise Covering Arrays. ESEC/SIGSOFT FSE (2023)
Chuan Luo, Qiyuan Zhao, Shaowei Cai, Hongyu Zhang, Chunming Hu
SamplingCA: effective and efficient sampling-based pairwise testing for highly configurable software systems. ESEC/SIGSOFT FSE (2022)
Qiyuan Zhao, Nicolae C. Iovanac, Brett M. Savoie
Transferable Ring Corrections for Predicting Enthalpy of Formation of Cyclic Compounds. J. Chem. Inf. Model. 61 (6) (2021)
Qiyuan Zhao, Brett M. Savoie
Simultaneously improving reaction coverage and computational cost in automated reaction prediction tasks. Nat. Comput. Sci. 1 (7) (2021)
Bumjoon Seo, Zih-Yu Lin, Qiyuan Zhao, Michael A. Webb, Brett M. Savoie
Topology Automated Force-Field Interactions (TAFFI): A Framework for Developing Transferable Force Fields. J. Chem. Inf. Model. 61 (10) (2021)
Qiyuan Zhao, Brett M. Savoie
Self-Consistent Component Increment Theory for Predicting Enthalpy of Formation. J. Chem. Inf. Model. 60 (4) (2020)