Chungha Sung
Chungha Sung
Amazon Web Services (AWS)
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
Static DOM event dependency analysis for testing web applications
C Sung, M Kusano, N Sinha, C Wang
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations …, 2016
282016
Modular verification of interrupt-driven software
C Sung, M Kusano, C Wang
32nd IEEE/ACM International Conference on Automated Software Engineering …, 2017
202017
CANAL: A cache timing analysis framework via llvm transformation
C Sung, B Paulsen, C Wang
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
182018
Mitigating Power Side Channels during Compilation
J Wang, C Sung, C Wang
Proceedings of the 27th ACM Joint Meeting on European Software Engineering …, 2019
162019
Datalog-based scalable semantic diffing of concurrent programs
C Sung, S Lahiri, C Enea, C Wang
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
82018
Data-Driven Synthesis of Provably Sound Side Channel Analyses
J Wang, C Sung, M Raghothaman, C Wang
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
32021
Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study
C Sung, SK Lahiri, M Kaufman, P Choudhury, C Wang
Proceedings of the 42nd International Conference on Software Engineering, 2020
22020
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
B Paulsen, C Sung, PAH Peterson, C Wang
Proceedings of the 34th IEEE/ACM International Conference on Automated …, 2019
22019
Constraint-Based Program Analysis for Concurrent Software
C Sung
University of Southern California, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9