Differentiable Fine-grained Quantization for Deep Neural Network Compression. - Hsin-Pai Cheng; Yuanjun Huang; Xuyang Guo; Yifei Huang 007; Feng Yan 001; Hai Li 001; Yiran Chen 001 (CoRR, 2018)

Explainable Program Synthesis by Localizing Specifications. - Amirmohammad Nazari; Yifei Huang 007; Roopsha Samanta; Arjun Radhakrishna; Mukund Raghothaman (Proc. ACM Program. Lang., 2023)

Membership Testing for Semantic Regular Expressions. - Yifei Huang 007; Matin Amini; Alexis Le Glaunec; Konstantinos Mamouras; Mukund Raghothaman (Proc. ACM Program. Lang., 2025)