Ao Li

According to our database, Ao Li authored at least 11 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM.

Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye

CoRR, January, 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, Rohan Padhye

Proceedings of the 22nd IEEE/ACM International Conference on Mining Software Repositories, 2025

SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller.

Ao Li, Rohan Padhye, Vyas Sekar

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024

ExChain: Exception Dependency Analysis for Root Cause Diagnosis.

Ao Li, Shan Lu, Suman Nath, Rohan Padhye, Vyas Sekar

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

The Havoc Paradox in Generator-Based Fuzzing (Registered Report).

Ao Li, Madonna Huang, Caroline Lemieux, Rohan Padhye

Proceedings of the 3rd ACM International Fuzzing Workshop, 2024

2023

Guiding Greybox Fuzzing with Mutation Testing.

Vasudev Vikram, Isabella Laybourn, Ao Li, Nicole Nair, Kelton OBrien, Rafaello Sanna, Rohan Padhye

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers.

Ao Li, Rohan Padhye, Vyas Sekar

CoRR, 2022

Automatic Horizontal Fusion for GPU Kernels.

Ao Li, Bojian Zheng, Gennady Pekhimenko, Fan Long

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2020

Securing smart contract with runtime validation.

Ao Li, Jemin Andrew Choi, Fan Long

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Securing Smart Contract On The Fly.

Ao Li, Jemin Andrew Choi, Fan Long

CoRR, 2019

2018

Detecting Standard Violation Errors in Smart Contracts.

Ao Li, Fan Long

CoRR, 2018