Chungha Sung

According to our database, Chungha Sung authored at least 11 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Example-Based Automatic Migration of Continuous Integration Systems.

Dhia Elhaq Rzig, Alaa Houerbi, Chungha Sung, Foyzul Hassan

CoRR, 2024

2021

Data-Driven Synthesis of Provably Sound Side Channel Analyses.

Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 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, Chao Wang

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Mitigating power side channels during compilation.

Jingbo Wang, Chungha Sung, Chao Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation.

Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

CANAL: a cache timing analysis framework via LLVM transformation.

Chungha Sung, Brandon Paulsen, Chao Wang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Datalog-based scalable semantic diffing of concurrent programs.

Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

Modular verification of interrupt-driven software.

Chungha Sung, Markus Kusano, Chao Wang

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Static DOM event dependency analysis for testing web applications.

Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016