liyistc
Associate Professor at Nanyang Technological University
Nanyang Technological UniversitySingapore
Pinned Repositories
CLEVER
Client-Specific Equivalence Checking with PyExSMT
cleansync
Automatically exported from code.google.com/p/cleansync
commons-cli
Mirror of Apache Commons CLI
commons-csv
Mirror of Apache Commons CSV
trans4you
The Transport4You project submitted to ICSE'11 - Student Contest on Software Engineering.
CSlicer
Home of the semantic history slicing algorithms: CSLICER and DEFINER.
CSlicer-Cloud
A web-based framework powering a collection of semantic history slicing techniques.
vultron
Dynamic Vulnerability Discovery for Smart Contracts
liyistc's Repositories
liyistc/cleansync
Automatically exported from code.google.com/p/cleansync
liyistc/commons-cli
Mirror of Apache Commons CLI
liyistc/commons-csv
Mirror of Apache Commons CSV
liyistc/trans4you
The Transport4You project submitted to ICSE'11 - Student Contest on Software Engineering.
liyistc/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
liyistc/fantasy
Data analytics on Fantasy basketball players
liyistc/git-flow-vis
liyistc/icsme20-artifacts-and-rose
ROSE festival and artifact evaluation for ICSME-2020
liyistc/python-ysports
Python YSports
liyistc/rules_ocaml
OCaml rules for Bazel
liyistc/symdiff
SymDiff-Differential-Program-Verifier