Detecting Standard Violation Errors in Smart Contracts. - Ao Li 009; Fan Long (CoRR, 2018)

Securing Smart Contract On The Fly. - Ao Li 009; Jemin Andrew Choi; Fan Long (CoRR, 2019)

Securing smart contract with runtime validation. - Ao Li 009; Jemin Andrew Choi; Fan Long (PLDI, 2020)

Automatic Horizontal Fusion for GPU Kernels. - Ao Li 009; Bojian Zheng; Gennady Pekhimenko; Fan Long (CGO, 2022)

SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers. - Ao Li 009; Rohan Padhye; Vyas Sekar (CoRR, 2022)

Guiding Greybox Fuzzing with Mutation Testing. - Vasudev Vikram; Isabella Laybourn; Ao Li 009; Nicole Nair; Kelton OBrien; Rafaello Sanna; Rohan Padhye (ISSTA, 2023)

The Havoc Paradox in Generator-Based Fuzzing (Registered Report). - Ao Li 009; Madonna Huang; Caroline Lemieux; Rohan Padhye (FUZZING, 2024)

ExChain: Exception Dependency Analysis for Root Cause Diagnosis. - Ao Li 009; Shan Lu 001; Suman Nath; Rohan Padhye; Vyas Sekar (NSDI, 2024)

SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller. - Ao Li 009; Rohan Padhye; Vyas Sekar (ICST, 2025)

It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software. - Shrey Tiwari; Serena Chen; Alexander Joukov; Peter Vandervelde; Ao Li 009; Rohan Padhye (MSR, 2025)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM. - Ao Li 009; Byeongjee Kang; Vasudev Vikram; Isabella Laybourn; Samvid Dharanikota; Shrey Tiwari; Rohan Padhye (CoRR, 2025)