Mitigating Power Side Channels during Compilation J Wang, C Sung, C Wang Proceedings of the 27th ACM Joint Meeting on European Software Engineering …, 2019 | 35 | 2019 |
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 | 33 | 2016 |
Modular verification of interrupt-driven software C Sung, M Kusano, C Wang 32nd IEEE/ACM International Conference on Automated Software Engineering …, 2017 | 30 | 2017 |
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 | 29 | 2018 |
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 | 21 | 2020 |
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 |
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 | 11 | 2019 |
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 | 10 | 2018 |
Constraint-Based Program Analysis for Concurrent Software C Sung University of Southern California, 2021 | | 2021 |