Follow
Ao Li
Ao Li
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Securing smart contract with runtime validation
A Li, JA Choi, F Long
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
802020
Polarimetric dense monocular slam
L Yang, F Tan, A Li, Z Cui, Y Furukawa, P Tan
Proceedings of the IEEE Conference on Computer Vision and Pattern …, 2018
502018
Augmented imaging assistance for visual impairment
A Koul, A Li, E Haroun, IWL Chen, S Sharma, C Bianchet, S Shaikh, ...
US Patent App. 15/242,940, 2017
332017
Automatic horizontal fusion for GPU kernels
A Li, B Zheng, G Pekhimenko, F Long
2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022
302022
Detecting Standard Violation Errors in Smart Contracts
A Li, F Long
arXiv preprint arXiv:1812.07702, 2018
162018
Guiding greybox fuzzing with mutation testing
V Vikram, I Laybourn, A Li, N Nair, K OBrien, R Sanna, R Padhye
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
52023
Spider: A practical fuzzing framework to uncover stateful performance issues in sdn controllers
A Li, R Padhye, V Sekar
arXiv preprint arXiv:2209.04026, 2022
42022
Guiding Greybox Fuzzing with Mutation Testing.(2022)
I Laybourn, V Vikram, R Sanna, A Li, R Padhye
12022
Watching the watchmen: Least privilege for managed network services
G Liu, A Li, C Canel, V Sekar
Proceedings of the 20th ACM Workshop on Hot Topics in Networks, 147-154, 2021
12021
EXCHAIN: Exception Dependency Analysis for Root Cause Diagnosis
A Li, S Lu, S Nath, R Padhye, V Sekar
21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–10