Chungha Sung

Publications

  • Conference or Journal

    • Datalog-based Scalable Semantic Diffing of Concurrent Programs
      Chungha Sung, Shuvendu Lahiri, Constantin Enea, Chao Wang
      The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), Corum, Montpellier, France, Sep 2018
      ( PDF, Artifact, Slides )

    • CANAL: A Cache Timing Analysis Framework via LLVM Transformation
      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
      ( PDF, Artifact, Video, Slides )

    • Modular Verification of Interrupt-driven Software
      Chungha Sung, Markus Kusano, Chao Wang
      The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Champaign, Illinois, USA, Oct 2017
      ( PDF, Artifact, Slides )

    • Static DOM Event Dependency Analysis for Testing Web Applications
      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
      ( PDF, Artifact, Slides )
  • Posters

    • 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)