Static DOM event dependency analysis for testing web applications. - Chungha Sung; Markus Kusano; Nishant Sinha 001; Chao Wang 001 (SIGSOFT FSE, 2016)

Modular verification of interrupt-driven software. - Chungha Sung; Markus Kusano; Chao Wang 001 (ASE, 2017)

Datalog-based scalable semantic diffing of concurrent programs. - Chungha Sung; Shuvendu K. Lahiri; Constantin Enea; Chao Wang 001 (ASE, 2018)

CANAL: a cache timing analysis framework via LLVM transformation. - Chungha Sung; Brandon Paulsen; Chao Wang 001 (ASE, 2018)

Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. - Brandon Paulsen; Chungha Sung; Peter A. H. Peterson; Chao Wang 001 (ASE, 2019)

Mitigating power side channels during compilation. - Jingbo Wang 006; Chungha Sung; Chao Wang 001 (ESEC/SIGSOFT FSE, 2019)

Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. - Chungha Sung; Shuvendu K. Lahiri; Mike Kaufman; Pallavi Choudhury; Chao Wang 001 (ICSE (SEIP), 2020)

Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study. - Chungha Sung; Shuvendu K. Lahiri; Mike Kaufman; Pallavi Choudhury; Jessica Wolk; Chao Wang 001 (ICSE (Companion Volume), 2020)

Data-Driven Synthesis of Provably Sound Side Channel Analyses. - Jingbo Wang 006; Chungha Sung; Mukund Raghothaman; Chao Wang 001 (ICSE, 2021)

Projective Model Counting for IP Addresses in Access Control Policies. - Loris D'Antoni; Andrew Gacek; Amit Goel; Dejan Jovanovic; Rami Gökhan Kici; Daniel Peebles; Neha Rungta; Yasmine Sharoda; Chungha Sung (FMCAD, 2024)

Example-Based Automatic Migration of Continuous Integration Systems. - Dhia Elhaq Rzig; Alaa Houerbi; Chungha Sung; Foyzul Hassan (CoRR, 2024)

Automatically Reducing Privilege for Access Control Policies. - Loris D'Antoni; Shuo Ding; Amit Goel; Mathangi Ramesh; Neha Rungta; Chungha Sung (Proc. ACM Program. Lang., 2024)