Chungha Sung

  • Conference or Journal
    • Mitigating Power Side Channels during Compilation (To appear) 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