Yaoyu Zhao

According to our database, Yaoyu Zhao authored at least 10 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

LACUNA: Safe Agents as Recursive Program Holes.

Yaoyu Zhao, Yichen Xu, Oliver Bracevac, Cao Nguyen Pham, Frank Zhengqing Wu, Martin Odersky

CoRR, May, 2026

Tracking Capabilities for Safer Agents.

Martin Odersky, Yaoyu Zhao, Yichen Xu, Oliver Bracevac, Cao Nguyen Pham

CoRR, March, 2026

Securing Agents With Tracked Capabilities.

Martin Odersky, Yaoyu Zhao, Yichen Xu, Oliver Bracevac, Cao Nguyen Pham

Proceedings of the ACM Conference on AI and Agentic Systems, 2026

2024

Qualifying System F_<: Some Terms and Conditions May Apply.

Edward Lee, Yaoyu Zhao, Ondrej Lhoták, James You, Kavin Satheeskumar, Jonathan Immanuel Brachthäuser

Proc. ACM Program. Lang., 2024

2023

Qualifying System F-sub.

Edward Lee, Yaoyu Zhao, James You, Kavin Satheeskumar, Ondrej Lhoták, Jonathan Immanuel Brachthäuser

CoRR, 2023

2022

Explicit nulls with unsafe nulls.

Yaoyu Zhao, Ondrej Lhoták

Proceedings of the Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, 2022

2020

Scala with Explicit Nulls (Artifact).

Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu

Dagstuhl Artifacts Ser., 2020

Scala with Explicit Nulls.

Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2018

External archive matching strategy for MOEA/D.

Feng Wang, Heng Zhang, Yixuan Li, Yaoyu Zhao, Qi Rao

Soft Comput., 2018

A new evolutionary algorithm based on MOEA/D for portfolio optimization.

Heng Zhang, Yaoyu Zhao, Feng Wang, Anran Zhang, Pengwei Yang, Xiao-Liang Shen

Proceedings of the Tenth International Conference on Advanced Computational Intelligence, 2018