Yongwei Yuan

According to our database, Yongwei Yuan authored at least 7 papers between 2023 and 2026.

Collaborative distances:

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

2026

ExVerus: Verus Proof Repair via Counterexample Reasoning.

Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, Kexin Pei

CoRR, March, 2026

2025

From Traces to Program Incorrectness: A Type-Theoretic Approach.

Yongwei Yuan, Zhe Zhou, Julia Belyakova, Benjamin Delaware, Suresh Jagannathan

CoRR, September, 2025

Derivative-Guided Symbolic Execution.

Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan

Proc. ACM Program. Lang., 2025

Formally Verified Cloud-Scale Authorization.

Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 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