Scholar
Chungha Sung
Google Scholar ID: ZCD9fDsAAAAJ
Amazon Web Services (AWS)
Formal Methods
Program Analysis
Program Languages
Software Verification
Software Testing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
244
H-index
8
i10-index
8
Publications
19
Co-authors
6
list available
Contact
No contact links provided.
Publications
1 items
Axon: A Synthesizing Superoptimizer for Tensor Programs
2026
Cited
0
Resume (English only)
Co-authors
6 total
Chao Wang
University of Southern California
Co-author 2
Jingbo Wang
Purdue University
Loris D'Antoni
University of California-San Diego
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Nishant Sinha
Founder, Chief Scientist, OffNote Labs
