Publications

Membership Testing for Semantic Regular Expressions

Published in PLDI 2025(To Appear), 2025

Recommended citation: Yifei Huang ,Matin Amini ,Alexis Le Glaunec ,Konstantinos Mamouras and Mukund Raghothaman. 2024. Membership Testing for Semantic Regular Expressions

Explainable Program Synthesis by Localizing Specifications

Published in OOPSLA 2023, 2023

Download paper here

Recommended citation: Amirmohammad Nazari*, Yifei Huang*, Roopsha Samanta, Arjun Radhakrishna, and Mukund Raghothaman. 2023. Explainable Program Synthesis by Localizing Specifications. Proc. ACM Program. Lang. 7, OOPSLA2, Article 298 (October 2023)

Yifei(Alex) Huang

Publications

Membership Testing for Semantic Regular Expressions

Explainable Program Synthesis by Localizing Specifications