Chungha Sung

19 papers A* 5B 2Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2025 B conf
Modeling the AWS Authorization Engine.
FMCAD
Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung
2024 J jnl
Automatically Reducing Privilege for Access Control Policies.
Proc. ACM Program. Lang.
Loris D'Antoni, Shuo Ding, Amit Goel, Mathangi Ramesh, Neha Rungta, Chungha Sung
2024 J jnl
Example-Based Automatic Migration of Continuous Integration Systems.
CoRR
Dhia Elhaq Rzig, Alaa Houerbi, Chungha Sung, Foyzul Hassan
2024 B conf
Projective Model Counting for IP Addresses in Access Control Policies.
FMCAD
Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung
2021 A* conf
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
ICSE
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2021 J jnl
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
CoRR
Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
2020 — conf
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.
ICSE (SEIP)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang
2020 — conf
Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.
ICSE (Companion Volume)
Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang
2019 A* conf
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.
ASE
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
2019 J jnl
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.
CoRR
Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang
2019 J jnl
Mitigating Power Side Channels during Compilation.
CoRR
Jingbo Wang, Chungha Sung, Chao Wang
2019 — conf
Mitigating power side channels during compilation.
ESEC/SIGSOFT FSE
Jingbo Wang, Chungha Sung, Chao Wang
2018 J jnl
CANAL: A Cache Timing Analysis Framework via LLVM Transformation.
CoRR
Chungha Sung, Brandon Paulsen, Chao Wang
2018 A* conf
CANAL: a cache timing analysis framework via LLVM transformation.
ASE
Chungha Sung, Brandon Paulsen, Chao Wang
2018 J jnl
Datalog-based Scalable Semantic Diffing of Concurrent Programs.
CoRR
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2018 A* conf
Datalog-based scalable semantic diffing of concurrent programs.
ASE
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang
2017 J jnl
Modular Verification of Interrupt-Driven Software.
CoRR
Chungha Sung, Markus Kusano, Chao Wang
2017 A* conf
Modular verification of interrupt-driven software.
ASE
Chungha Sung, Markus Kusano, Chao Wang
2016 — conf
Static DOM event dependency analysis for testing web applications.
SIGSOFT FSE
Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang