We are a team of researchers who build practical systems with the aim of improving real-world software security and robustness.

We routinely publish our work in security and software engineering venues such as IEEE S&P, USENIX Security, ACM CCS, and ICSE.

Our group currently focuses on the following research areas: software testing, binary analysis, vulnerability triage, and bug repair.