Yongwei Yuan

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Pattern Matching

Functional Programs

Top Venues

Proc. ACM Program. Lang.

Publications

Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang
Consolidating Smart Contracts with Behavioral Contracts. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar
Live Pattern Matching with Typed Holes. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
Trace-Guided Inductive Synthesis of Recursive Functional Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)