Yongwei Yuan

According to our database, Yongwei Yuan authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Derivative-Guided Symbolic Execution.

Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan

Proc. ACM Program. Lang., 2025

2024

Consolidating Smart Contracts with Behavioral Contracts.

Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang

Proc. ACM Program. Lang., 2024

2023

Live Pattern Matching with Typed Holes.

Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar

Proc. ACM Program. Lang., April, 2023

Trace-Guided Inductive Synthesis of Recursive Functional Programs.

Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta

Proc. ACM Program. Lang., 2023