-
Conference or Journal
-
Data-Driven Synthesis of Provably Sound Side Channel Analyses
Jingbo Wang, Chungha Sung, Mukund Raghothaman and Chao Wang
International Conference on Software Engineering (ICSE), Madrid, Spain (Virtual), May 2021
[
PDF,
Slides,
Talk,
Bibtex
]
-
Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study
[Nominated as a best paper candidate]
Chungha Sung, Shuvendu Lahiri, Mike Kaufman, Pallavi Choudhury and Chao Wang
IEEE/ACM International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea (Virtual), July 2020
[
PDF,
Slides,
Talk,
Bibtex
]
-
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation
Brandon Paulsen, Chungha Sung, Peter Peterson and Chao Wang
IEEE/ACM International Conference on Automated Software Engineering (ASE), San Diego, California, USA, Nov 2019
[
PDF,
Artifact,
Bibtex
]
-
Mitigating Power Side Channels during Compilation
Jingbo Wang, Chungha Sung and Chao Wang
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Tallinn, Estonia, Aug 2019
[
PDF,
Bibtex
]
-
Datalog-based Scalable Semantic Diffing of Concurrent Programs
Chungha Sung, Shuvendu Lahiri, Constantin Enea and Chao Wang
IEEE/ACM International Conference on Automated Software Engineering (ASE), Corum, Montpellier, France, Sep 2018
[
PDF,
Artifact,
Slides,
Bibtex
]
-
CANAL: A Cache Timing Analysis Framework via LLVM Transformation
Chungha Sung, Brandon Paulsen and Chao Wang
IEEE/ACM International Conference on Automated Software Engineering (ASE Tool Demo Track), Corum, Montpellier, France, Sep 2018
[
PDF,
Artifact,
Video,
Slides,
Bibtex
]
-
Modular Verification of Interrupt-driven Software
Chungha Sung, Markus Kusano and Chao Wang
IEEE/ACM International Conference on Automated Software Engineering (ASE), Champaign, Illinois, USA, Oct 2017
[
PDF,
Artifact,
Slides,
Bibtex
]
-
Static DOM Event Dependency Analysis for Testing Web Applications
Chungha Sung, Markus Kusano, Nishant Sinha and Chao Wang
ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Seattle, Washington, USA, Nov 2016
[
PDF,
Artifact,
Slides,
Bibtex
]
- Posters
-
Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study
Chungha Sung, Shuvendu Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk and Chao Wang
International Conference on Software Engineering (ICSE Poster Track), Virtual, July 2020
[
Abstract,
Poster,
Video,
Bibtex
]
-
RIGHT: an HTML canvas and JavaScript-based interactive data visualization package for linked graphics
ChungHa Sung, TaeJoon Song, Jae W. Lee and Junghoon Lee
The R User Conference (UseR), UCLA, Los Angeles, California, July 2014
[
Abstract
]
- Dissertation
-
Constraint-based Program Analysis for Concurrent Software
Chungha Sung
University of Southern California, May 2021
[
PDF,
Slides,
Bibtex
]