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 guarantying
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, and an ML Security framework. We will exchange ideas with world class groups working in these areas.