Securing smart contract with runtime validation A Li, JA Choi, F Long Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 93 | 2020 |
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 | 57 | 2018 |
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 | 40 | 2022 |
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 | 36 | 2017 |
Detecting Standard Violation Errors in Smart Contracts A Li, F Long arXiv preprint arXiv:1812.07702, 2018 | 17 | 2018 |
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 | 8 | 2023 |
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 | 6 | 2022 |
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 | 1 | 2024 |
Guiding Greybox Fuzzing with Mutation Testing.(2022) I Laybourn, V Vikram, R Sanna, A Li, R Padhye | 1 | 2022 |
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 | 1 | 2021 |
The Havoc Paradox in Generator-Based Fuzzing (Registered Report) A Li, M Huang, C Lemieux, R Padhye | | 2024 |