kanghj

coccinelle

Source code of the Coccinelle project

sublime-text-github-search-plugin

A plugin so that users can search github issues from highlighted code in Sublime Text.

DICE

website of of the tool DICE (DIversity through CounterExamples)

github-code-search

gspan_cork

kanghj.github.io

A beautiful Jekyll theme for academics

CustomZipAPI

dummy library project

deep_spec_learning_ws

Bunch of scripts inherited from former students (?) through the shared server

DICE_dummy_code

Copies of source code (from Java standard library) used in the benchmark in DICE: Adversarial Specification Mining

DICE_Miner

specification miner described in the Adversarial Specification Mining paper

DICE_Tester

DICE_Tester: generating counterexample traces for specification mining

DSM

Repository of "Deep Specification Mining" project

fsa_model_ground_truths

The ground truth models used for FSA inference

fuzzingbook

Project page for "The Fuzzing Book"

GraphUtils

temporary repository

HERMES

Source code for accepted SANER 2022 Research Paper "HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits"

hibernate-orm

Hibernate's core Object/Relational Mapping functionality

java-callgraph

Programs for producing static and dynamic (runtime) call graphs for Java programs

javaparser

Java 1-15 Parser and Abstract Syntax Tree for Java, including preview features to Java 13

kanghj

ldapchai

LDAP Chai is an easy-to-use Java LDAP interface.

ml4code.github.io

Website for "A Survey of Machine Learning for Big Code and Naturalness"

onnx-mlir

Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure

OOOInformationExtraction

Object-Oriented OpenIE Wrapper

ProvenanceInspector

Human-in-the-Loop Synthetic Text Data Inspection with Provenance Tracking

se-hypotheses

static-code-warnings

SURF

toy_analysis

toy_llm_rewrites