Snigdha Athaiya

Identifiers

• name variant Snigdha Athaiya 0.60 · backfill

Papers (1)

1. Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains cs.PL · 2021 · author #1

Mentions

• 2101.10233 #1 · arxiv_oai · confidence 0.70 Snigdha Athaiya

Frequent Coauthors

• K Narayan Kumar 1 shared papers
• Raghavan Komondoor 1 shared papers