| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 28 Nov 2024 20:01:23 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"6748cc13-26c9"
expires: Mon, 29 Dec 2025 12:35:11 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 3506:15317B:8CDFC4:9E1F9B:6952731C
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 12:25:11 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210034-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767011111.085166,VS0,VE231
vary: Accept-Encoding
x-fastly-request-id: 5d78cc44145cb4ede7dd4c8d9aace82bc65faf54
content-length: 3241
Yongwei Yuan
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]
[PLDI'24]
[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