Yue Yao -

Registered user since Thu 23 Sep 2021

Name:Yue Yao

Country:United States

Affiliation:Carnegie Mellon University

Research interests:Programming Languages, Type Theories, Session Types

Contributions

2026

CPP

Author of Mechanizing Synthetic Tait Computability in Istari within the CPP 2026-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2025

CoqPL

Author of A Semantic Logical Relation for Termination of Intuitionistic Linear Logic Session Types within the CoqPL 2025-track

POPL

Author of Semantic Logical Relations for Timed Message-Passing Protocols within the POPL-track

2024

ECOOP

Author of Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency within the Technical Papers-track