Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. - Yuantian Ding; Xiaokang Qiu (Proc. ACM Program. Lang., 2024)

A Concurrent Approach to String Transformation Synthesis. - Yuantian Ding; Xiaokang Qiu (Proc. ACM Program. Lang., 2025)