Computational Systems Group

A platform for building deterministic translations from source languages to reasoning languages, so that LLMs can reason about programs through external solvers.

Cyber Physical Cloud Computing

Cyber-Physical Cloud Computing Simulator

JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter

Monster is a symbolic execution engine for 64-bit RISC-U code

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

Rotor is a reasoning engine for code that compiles to RISC-V.

BVDD-based incremental theory resolver for BTOR2 model checking — agent-driven development

A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator