TensorRT-LLM provides users with an easy-to-use Python API to define Large Language Models (LLMs) and build TensorRT engines that contain state-of-the-art optimizations to perform inference efficie…

Transformer related optimization, including BERT, GPT

KLEE Symbolic Execution Engine

Csmith, a random generator of C programs

Compressed Log Processor (CLP) is a free log management tool capable of compressing logs and searching the compressed logs without decompression.

ChatDBG - AI-assisted debugging. Uses AI to answer 'why'

A random SQL query generator

Simple Theorem Prover, an efficient SMT solver for bitvectors

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"