kanghj
Postdoctoral fellow at UCLA. Previously, PhD student at Singapore Management University. Learn more at https://github.com/kanghj.
UCLALos Angeles
Pinned Repositories
coccinelle
Source code of the Coccinelle project
DICE
website of of the tool DICE (DIversity through CounterExamples)
dinner-tables-planner
Website for using answer set programming to determine a optimal sitting arrangement, created with dining events in mind
github-code-search
gspan_cork
kanghj.github.io
A beautiful Jekyll theme for academics
NounPhraseExtractor
sublime-text-github-search-plugin
A plugin so that users can search github issues from highlighted code in Sublime Text.
wordnews_chrome_extension
wordnews_server
kanghj's Repositories
kanghj/coccinelle
Source code of the Coccinelle project
kanghj/sublime-text-github-search-plugin
A plugin so that users can search github issues from highlighted code in Sublime Text.
kanghj/DICE
website of of the tool DICE (DIversity through CounterExamples)
kanghj/github-code-search
kanghj/gspan_cork
kanghj/kanghj.github.io
A beautiful Jekyll theme for academics
kanghj/CustomZipAPI
dummy library project
kanghj/deep_spec_learning_ws
Bunch of scripts inherited from former students (?) through the shared server
kanghj/DICE_dummy_code
Copies of source code (from Java standard library) used in the benchmark in DICE: Adversarial Specification Mining
kanghj/DICE_Miner
specification miner described in the Adversarial Specification Mining paper
kanghj/DICE_Tester
DICE_Tester: generating counterexample traces for specification mining
kanghj/DSM
Repository of "Deep Specification Mining" project
kanghj/fsa_model_ground_truths
The ground truth models used for FSA inference
kanghj/fuzzingbook
Project page for "The Fuzzing Book"
kanghj/GraphUtils
temporary repository
kanghj/HERMES
Source code for accepted SANER 2022 Research Paper "HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits"
kanghj/hibernate-orm
Hibernate's core Object/Relational Mapping functionality
kanghj/java-callgraph
Programs for producing static and dynamic (runtime) call graphs for Java programs
kanghj/javaparser
Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13
kanghj/kanghj
kanghj/ldapchai
LDAP Chai is an easy-to-use Java LDAP interface.
kanghj/ml4code.github.io
Website for "A Survey of Machine Learning for Big Code and Naturalness"
kanghj/onnx-mlir
Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
kanghj/OOOInformationExtraction
Object-Oriented OpenIE Wrapper
kanghj/ProvenanceInspector
Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking
kanghj/se-hypotheses
kanghj/static-code-warnings
kanghj/SURF
kanghj/toy_analysis
kanghj/toy_llm_rewrites