Chungha Sung

  • Conference or Journal
    • Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation ( To appear ) Brandon Paulsen, Chungha Sung, Peter Peterson, Chao Wang The 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), San Diego, California, USA, Nov 2019
    • Mitigating Power Side Channels during Compilation ( PDF ) Jingbo Wang, Chungha Sung, Chao Wang The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Tallinn, Estonia, Aug 2019
    • Datalog-based Scalable Semantic Diffing of Concurrent Programs ( PDF, Artifact, Slides ) Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), Corum, Montpellier, France, Sep 2018
    • CANAL: A Cache Timing Analysis Framework via LLVM Transformation ( PDF, Artifact, Video, Slides ) Chungha Sung, Brandon Paulsen, Chao Wang The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE Tool Demo Track), Corum, Montpellier, France, Sep 2018
    • Modular Verification of Interrupt-driven Software ( PDF, Artifact, Slides ) Chungha Sung, Markus Kusano, Chao Wang The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Champaign, Illinois, USA, Oct 2017
    • Static DOM Event Dependency Analysis for Testing Web Applications ( PDF, Artifact, Slides ) Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang The 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Seattle, Washington, USA, Nov 2016
  • Posters
    • RIGHT: an HTML canvas and JavaScript-based interactive data visualization package for linked graphics (Abstract) ChungHa Sung, TaeJoon Song, Jae W. Lee, and Junghoon Lee The R User Conference (UseR), UCLA, Los Angeles, California, July 2014