VLDB 2026 Research / reviewers in the wild / expert
Akshatha Shenoy 0001
dblp:162/0756-1
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Automated Property Directed Self Composition
Akshatha Shenoy 0001, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas |
ATVA | 1 |
| 2022 | Static executes-before analysis for event driven programsabstractThe executes-before relation between tasks is fundamental in the analysis of Event Driven Programs with several downstream applications like race detection and identifying redundant synchronizations. We present a sound, efficient, and effective static analysis technique to compute executes-before pairs of tasks for a general class of event driven programs. The analysis is based on a small but comprehensive set of rules evaluated on a novel structure called the task post graph of a program. We show how to use the executes-before information to identify disjoint-blocks in event driven programs and further use them to improve the precision of data race detection for these programs. We have implemented our analysis in the Flowdroid framework in a tool called AndRacer and evaluated it on several Android apps, bringing out the scalability, recall, and improved precision of the analyses Rekha R. Pai, Abhishek Uppar, Akshatha Shenoy 0001, Pranshul Kushwaha, Deepak D'Souza |
ESEC/SIGSOFT FSE | 3 |