Amocy-Wang

ProbDD

Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found in README.

PointerAnalysis

mxnet_profiler

Analysis json data generated by mxnet profiler. The output is a file which saves each layer's average time.

SyGuS

project

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

algorithms

Bug-tracking for Jeff's algorithms book, notes, etc.

Amos-Wang

Dependence for my github.io

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

architect

Architect is a Jekyll theme for GitHub Pages

ChezScheme

Chez Scheme

chisel

A System for Debloating C/C++ Programs

csmith

Csmith, a random generator of C programs

defects4j

A Database of Existing Faults to Enable Controlled Testing Studies for Java

delta

Delta assists you in minimizing "interesting" files subject to a test of their interestingness.

Detectron

FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.

dotfiles

:wrench: .files, including ~/.macos — sensible hacker defaults for macOS

folly

An open-source C++ library developed and used at Facebook.

gcc

incubator-mxnet

Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

libvips

A fast image processing library with low memory needs.

logs_buffer

Paper experiment log files

Mydotfiles

backup my dotfiles

onnx

Open Neural Network Exchange

pva-faster-rcnn

Demo code for PVANet

pyenv

Simple Python version management

racr

RACR: Scheme metacompiler library based on reference attribute grammar controlled rewriting

ReadingList

GUODegui's Research Group Reading List

really-awesome-gan

A list of papers on General Adversarial (Neural) Networks

sonnet

TensorFlow-based neural network library

souper

A superoptimizer for LLVM IR