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 | 8 | 2023 |
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 |