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). Distinguished Paper. [pdf] [Publisher website]
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). [pdf] [Publisher website]
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). [pdf] [Publisher website]
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). [pdf (Extended Abstract)]
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). [pdf] [Publisher website] [pdf (Artifact)] [Website (Artifact)]
Yue Yao. 2019. Work-Efficient Schedulers. Master's thesis. Carnegie Mellon University. [pdf] [SCS Technical Report Collection]
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). [Publisher website] [Code]
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). [pdf] [Publisher website] [Code]
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). [pdf] [Publisher website] [Artifact]