Scholar
Zhengyao Lin
Google Scholar ID: er8VuF8AAAAJ
Carnegie Mellon University
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
86
H-index
4
i10-index
3
Publications
10
Co-authors
0
Publications
1 items
Let it Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
2026
Cited
0
