ChunghaSung

Chungha Sung's repositories

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

Language:CMIT11 2 2

Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".

Language:JavaScriptMIT11 1 3

Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".

Language:C6 10

Blog

Language:CSS1 10

Notes for development

000

Folder / directory structure options and naming conventions for software projects

MIT000

a LaTeX style for theses and dissertations at USC

Language:TeX000

Sudoku puzzle using python APIs of Z3

Language:Python010