Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, and Yue Yao. 2026. Recursive Logical Relations for Intuitionistic Linear Logic Session Types. In Programming Languages and Systems (ESOP 2026)
Runming Li, Yue Yao, and Robert Harper. 2026. Mechanizing Synthetic Tait Computability in Istari. In Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, and Lukasz Ziarek. 2025. Semantic Logical Relations for Timed Message-Passing Protocols. In Proc. ACM Program. Lang. (POPL)
Tarakaram Gollamudi, Jules Jacobs, Yue Yao, and Stephanie Balzer. 2025. A Semantic Logical Relation for Termination of Intuitionistic Linear Logic Session Types. In 11th International Workshop on Coq for Programming Languages (CoqPL)
Tesla Zhang, Asher Kornfeld, Rui Li, Sonya Simkin, Yue Yao, and Stephanie Balzer. 2025. Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols. CoRR. 2511.19521. Available at https://arxiv.org/abs/2511.19521
Tesla Zhang, Sonya Simkin, Rui Li, Yue Yao, and Stephanie Balzer. 2025. A Language-Agnostic Logical Relation for Message-Passing Protocols. CoRR. 2506.10026. Available at https://arxiv.org/abs/2506.10026
Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao. 2024. Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency. In 38th European Conference on Object-Oriented Programming (ECOOP 2024)
Yue Yao. 2019. Work-Efficient Schedulers. Master's thesis. Carnegie Mellon University
Chang Meng, Zhuangzhuang Zhou, Yue Yao, Shuyang Huang, Yuhang Chen, and Weikang Qian. 2023. HEDALS: Highly Efficient Delay-Driven Approximate Logic Synthesis. In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (11)
Zhuangzhuang Zhou, Yue Yao, Shuyang Huang, Sanbao Su, Chang Meng, and Weikang Qian. 2018. DALS: Delay-driven Approximate Logic Synthesis. In 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Yue Yao, Shuyang Huang, Chen Wang, Yi Wu, and Weikang Qian. 2017. Approximate Disjoint Bi-Decomposition and Its Application to Approximate Logic Synthesis. In 2017 IEEE International Conference on Computer Design (ICCD)