Ao Li

17 papers A* 2A 4Misc 2Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Havoc Paradox in Generator-Based Fuzzing - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Ao Li, Madonna Huang, Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2026 J jnl
The Havoc Paradox in Generator-Based Fuzzing.
ACM Trans. Softw. Eng. Methodol.
Ao Li, Madonna Huang, Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2025 J jnl
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM.
CoRR
Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye
2025 J jnl
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM.
Proc. ACM Program. Lang.
Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye
2025 A conf
It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software.
MSR
Shrey Tiwari, Serena Chen, Alexander Joukov, Peter Vandervelde, Ao Li, Rohan Padhye
2025 A conf
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller.
ICST
Ao Li, Rohan Padhye, Vyas Sekar
2024 Misc conf
ExChain: Exception Dependency Analysis for Root Cause Diagnosis.
NSDI
Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar
2024 — conf
The Havoc Paradox in Generator-Based Fuzzing (Registered Report).
FUZZING
Ao Li, Madonna Huang, Caroline Lemieux, Rohan Padhye
2023 A conf
Guiding Greybox Fuzzing with Mutation Testing.
ISSTA
Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye
2022 A conf
Automatic Horizontal Fusion for GPU Kernels.
CGO
Ao Li, Bojian Zheng, Gennady Pekhimenko, Fan Long
2022 J jnl
SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers.
CoRR
Ao Li, Rohan Padhye, Vyas Sekar
2021 Misc conf
Watching the watchmen: Least privilege for managed network services.
HotNets
Guyue Liu, Ao Li, Christopher Canel, Vyas Sekar
2020 J jnl
Automatic Horizontal Fusion for GPU Kernels.
CoRR
Ao Li, Bojian Zheng, Gennady Pekhimenko, Fan Long
2020 A* conf
Securing smart contract with runtime validation.
PLDI
Ao Li, Jemin Andrew Choi, Fan Long
2019 J jnl
Securing Smart Contract On The Fly.
CoRR
Ao Li, Jemin Andrew Choi, Fan Long
2018 J jnl
Detecting Standard Violation Errors in Smart Contracts.
CoRR
Ao Li, Fan Long
2018 A* conf
Polarimetric Dense Monocular SLAM.
CVPR
Luwei Yang, Feitong Tan, Ao Li, Zhaopeng Cui, Yasutaka Furukawa, Ping Tan