lijiaying's repositories
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
buck
A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
cddlib
An efficient implementation of the Double Description Method
codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
ELINA
ELINA: ETH LIbrary for Numerical Analysis
eran
ETH Robustness Analyzer for Deep Neural Networks
fastsmt
Learning to Solve SMT Formulas Fast
FuzzingPaper
Recent Fuzzing Paper
gosat
SMT solver for the theory of floating-point arithmetic
Interval-Attack
Interval attacks (adversarial ML)
lijiaying_new.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
minisat
A minimalistic and high-performance SAT solver
mnist_challenge
A challenge to explore adversarial robustness of neural networks on MNIST.
ReluVal
The released code of ReluVal in USENIX Security 2018
seahorn
SeaHorn Verification Framework
smack
SMACK Software Verifier and Verification Toolchain
storm
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
SynthHorn
LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
taichi
Productive & portable programming language for high-performance, sparse & differentiable computing