timothy-king
I work on the Go programming language, static analysis, SMT solving, and fuzzing.
GoogleMountain View
Pinned Repositories
Boruvka
An implementation of Boruvka's algorithm in C.
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
CVC4SepLogic
A fork of CVC4 for developing a theory solver for separation logic.
fussysmt
A fuzzer for SMT-LIB v2.0.
fuzzsmt
glpk-cut-log
A fork of glpk that includes additional logging features for how cuts were generated.
go-flow-levee
simple-benchmarking
A simple MySQL based bench marking framework.
SummerClass11
telescope-exec
A collection of star exec-scripts and statistics collection tools for star-exec.
timothy-king's Repositories
timothy-king/glpk-cut-log
A fork of glpk that includes additional logging features for how cuts were generated.
timothy-king/simple-benchmarking
A simple MySQL based bench marking framework.
timothy-king/Boruvka
An implementation of Boruvka's algorithm in C.
timothy-king/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
timothy-king/SummerClass11
timothy-king/telescope-exec
A collection of star exec-scripts and statistics collection tools for star-exec.
timothy-king/CVC4SepLogic
A fork of CVC4 for developing a theory solver for separation logic.
timothy-king/fussysmt
A fuzzer for SMT-LIB v2.0.
timothy-king/fuzzsmt
timothy-king/go-flow-levee
timothy-king/klib
A standalone and lightweight C library
timothy-king/oss-fuzz
OSS-Fuzz - continuous fuzzing of open source software
timothy-king/simple-stats
Scripts for handling a simple MySQL based regression and statistics database.