关注
Yongwei Yuan
Yongwei Yuan
在 purdue.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Trace-guided inductive synthesis of recursive functional programs
Y Yuan, A Radhakrishna, R Samanta
Proceedings of the ACM on Programming Languages 7 (PLDI), 860-883, 2023
122023
Live Pattern Matching with Typed Holes
Y Yuan, S Guest, E Griffis, H Potter, D Moon, C Omar
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 609-635, 2023
82023
Derivative-Guided Symbolic Execution
Y Yuan, Z Zhou, J Belyakova, S Jagannathan
Proceedings of the ACM on Programming Languages 9 (POPL), 1475-1505, 2025
2025
Consolidating Smart Contracts with Behavioral Contracts
G Wei, D Xie, W Zhang, Y Yuan, Z Zhang
Proceedings of the ACM on Programming Languages 8 (PLDI), 965-989, 2024
2024
系统目前无法执行此操作,请稍后再试。
文章 1–4