Chungha Sung

  • Conference or Journal
    • 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), Korea (Virtual), July 2020 [ PDF, Slides, Talk ]
    • 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 ]
    • 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 ]