Chungha Sung

Chungha Sung

  Research Assistant
  The department of Computer Science
  University of Southern California

  I am currently pursuing Ph.D degree in the Department of Computer Science at University of Southern California (USC) under the guidance of Prof. Chao Wang. Before joining USC, I received my M.S. from Virginia Tech, and B.S. from Sung Kyun Kwan University (SKKU) advised by Prof. Jae W. Lee.

Research Interests

  • Programming analysis for event-based programs and multi-threaded programs
  • Program Synthesis

  • Publications

    • Conference or Journal
      • Modular Verification of Interrupt-driven Software (PDF, 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, 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