Publications

Analyzing gem5 Commit-Code inconsistency with LLMs

Published in Gem5 workshop @ ISCA 2026, 2026

Formal verification of approximate-DP via the characteristic function

Published in Penn State University, 2023

Undergraduate Honor Thesis

Download here