SPLASH 2024 (series) / Chungha Sung
Registered user since Tue 17 Sep 2019
Name:Chungha Sung
Country:United States
Affiliation:Amazon Web Services, USA
Personal website: https://chunghasung.org
Research interests:Program Languages, Software Testing & Verification, Program Analaysis, Formal Methods
Contributions
SPLASH 2024-profile
View general profile
View general profile