| Mitigating Power Side Channels during Compilation J Wang, C Sung, C Wang Proceedings of the 27th ACM Joint Meeting on European Software Engineering …, 2019 | 37 | 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 | 37 | 2016 |
| 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 | 34 | 2018 |
| Modular verification of interrupt-driven software C Sung, M Kusano, C Wang 32nd IEEE/ACM International Conference on Automated Software Engineering …, 2017 | 34 | 2017 |
| 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 (ICSE), 2020 | 24 | 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 | 20* | 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 | 14 | 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 | 11 | 2018 |
| Automatically Reducing Privilege for Access Control Policies L D’Antoni, S Ding, A Goel, M Ramesh, N Rungta, C Sung Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 763-790, 2024 | | 2024 |
| Example-Based Automatic Migration of Continuous Integration Systems D Elhaq Rzig, A Houerbi, C Sung, F Hassan arXiv e-prints, arXiv: 2407.02644, 2024 | | 2024 |
| Projective model counting for IP addresses in access control policies L D’Antoni, A Gacek, A Goel, D Jovanovic, RG Kıcı, D Peebles, N Rungta, ... Proceedings of the 24th conference on Formal Methods in Computer-Aided …, 2024 | | 2024 |
| Constraint-Based Program Analysis for Concurrent Software C Sung University of Southern California, 2021 | | 2021 |
| ICSE-SEIP 2024 M Aniche, N Nagappan, A Birillo, A Jedlitschka, A Desai, A Memon, ... | | |
Chao WangUniversity of Southern CaliforniaVerified email at usc.edu
