Welcome to the PaSS Lab

We are a dynamic research group at the department of Computer Science and at the University of Houston.

We have two overarching goals: first, understanding, proving, and guaranteeing
Software Quality, including bug finding, security vulnerability detection, and even patch generation. Second, to help improve the Software Productivity though novel approaches. We particularly focus on efficient and effective code translation and program synthesis.

Previous Next

We are currently building a C to Rust transpiler, a binary to LLVM pointer typifyer, an ML Security framework, and a Quantum-based Program Quality tool. We will exchange ideas with world class groups working in these areas.