Ao Li

According to our database, Ao Li authored at least 8 papers between 2018 and 2024.

Collaborative distances:

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

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