7
Publications
148
Citations
7
H-Index
2016
Active since
Chungha Sung is an author at University of Southern California specializing in engineering, program analysis, and computer science.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationComputer EngineeringSystem SoftwareSoftware TestingSoftware Engineering
Publications per year
2016–2021
7
7
Static DOM event dependency analysis for testing web applications
Chungha Sung, Markus Kusano, Nishant Sinha et al. · 2016 · 31 citations
Mitigating power side channels during compilation
Jingbo Wang, Chungha Sung, Chao Wang · 2019 · 30 citations
Engineering, Code Generation Modules, Compiler Technology +21
Modular verification of interrupt-driven software
Chungha Sung, Markus Kusano, Chao Wang · 2017 · 20 citations
Data-Driven Synthesis of Provably Sound Side Channel Analyses
Jingbo Wang, Chungha Sung, Mukund Raghothaman et al. · 2021 · 14 citations
Music, Engineering, Verification +25
Rows per page
1–5 of 7