Folgen
Chungha Sung
Chungha Sung
Amazon Web Services (AWS)
Bestätigte E-Mail-Adresse bei amazon.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Mitigating Power Side Channels during Compilation
J Wang, C Sung, C Wang
Proceedings of the 27th ACM Joint Meeting on European Software Engineering …, 2019
352019
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
332016
Modular verification of interrupt-driven software
C Sung, M Kusano, C Wang
32nd IEEE/ACM International Conference on Automated Software Engineering …, 2017
302017
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
292018
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
19*2021
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
192020
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
102019
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
102018
Constraint-Based Program Analysis for Concurrent Software
C Sung
University of Southern California, 2021
2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9