Skip to content
Avatar
3 followers · 3 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
Block or Report

Block or report ChunghaSung

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. JSdep Public

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

    JavaScript 8 2

  2. intAbs Public

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

    C 7 4

  3. EC-Diff Public

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

    C 4

  4. chunghaSung.github.io Public

    Blog

    CSS 1

  5. dev-note Public

    Notes for development

  6. z3-sudoku Public

    Sudoku puzzle using python APIs of Z3

    Python

75 contributions in the last year

May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!

Contribution activity

May 2022

Created 2 commits in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.