Pinned Repositories
canal
chunghaSung.github.io
Blog
dev-note
Notes for development
EC-Diff
Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".
Folder-Structure-Conventions
Folder / directory structure options and naming conventions for software projects
intAbs
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
JSdep
Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".
USCthesis
a LaTeX style for theses and dissertations at USC
z3-sudoku
Sudoku puzzle using python APIs of Z3
ChunghaSung's Repositories
ChunghaSung/intAbs
Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
ChunghaSung/JSdep
Repository for FSE 2016 paper "Static DOM Event Dependency Analysis for Testing Web Applications".
ChunghaSung/EC-Diff
Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".
ChunghaSung/chunghaSung.github.io
Blog
ChunghaSung/dev-note
Notes for development
ChunghaSung/Folder-Structure-Conventions
Folder / directory structure options and naming conventions for software projects
ChunghaSung/USCthesis
a LaTeX style for theses and dissertations at USC
ChunghaSung/z3-sudoku
Sudoku puzzle using python APIs of Z3