Your Name

yongweiy at purdue dot com

  • Twitter
  • GitHub
  • I’m currently pursuing my PhD at Purdue University under the guidance of Suresh Jagannathan. Previously, I had the priviledge to be advised by Roopsha Samanta. My interest in programming languages was sparked during my senior year through working with Cyrus Omar. In the summers of 2022 and 2023, I interned at ARG of Amazon.

    I am dedicated to applying formal methods, including synthesis and over-/under-approximate program reasoning techniques, to streamline the programming process. In particular, I devise semantic notions and incorporate them into these techniques to enhance their effectiveness. I am also broadly interested in type systems and verification.

    Publications

    [POPL'25]
    Derivative-Guided Symbolic Execution
    Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan
    [PLDI'24]
    Consolidating Smart Contracts with Behavioral Contracts
    Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang
    [PLDI'23]
    Trace-Guided Inductive Synthesis of Recursive Functional Programs
    Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
    [OOPSLA'23]
    Live Pattern Matching with Typed Holes
    Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, Cyrus Omar