We stand with Ukraine  

Ao Li

Affiliations:
  • Carnegie Mellon University, CMU, PA, USA
  • University of Toronto, Canada


According to our database1, Ao Li authored at least 7 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
ExChain: Exception Dependency Analysis for Root Cause Diagnosis.
[BibTeX]
[DOI]
Ao Li
,
Shan Lu
,
Suman Nath
,
Rohan Padhye
,
Vyas Sekar
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023
Guiding Greybox Fuzzing with Mutation Testing.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Ao Li
,
Rohan Padhye
,
Vyas Sekar
CoRR, 2022

Automatic Horizontal Fusion for GPU Kernels.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Ao Li
,
Jemin Andrew Choi
,
Fan Long
CoRR, 2019

2018
Detecting Standard Violation Errors in Smart Contracts.
[BibTeX]
[DOI]
Ao Li
,
Fan Long
CoRR, 2018


  Loading...