Chungha Sung
Home
Publications
CV
Chungha Sung
Applied Scientist
Amazon Web Services (AWS)
Chungha Sung is an applied scientist in Automated Reasoning in Identity (ARI) at Amazon Web Services (AWS). He completed his Ph.D degree in Computer Science at
University of Southern California (USC)
and M.S. at
Virginia Tech
.
Research interests
(
Publication list
,
Google scholar
)
Static/Dynamic program analysis and formal methods to solve numerous software engineering problems
Contraint-based program analysis for efficient automated reasoning techniques for concurrent software [
Dissertation
,
FSE16
,
ASE17
,
ASE18
]
Software side-channel analysis/attacks/mitigations [
ASE-tool18
,
FSE19
,
ASE19
,
ICSE21
]
Automatic program maintenance and repair [
ICSE-SEIP20
]
