Dileep Kini

Identifiers

• name variant Dileep Kini 0.60 · backfill

Papers (4)

1. What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection cs.PL · 2018 · author #2
2. Data Race Detection on Compressed Traces cs.PL · 2018 · author #1
3. Dynamic Race Prediction in Linear Time cs.PL · 2017 · author #1
4. Using non-convex approximations for efficient analysis of timed automata cs.LO · 2011 · author #2

Mentions

• 1110.3704 #2 · backfill · confidence 0.70 Dileep Kini

Frequent Coauthors

• Mahesh Viswanathan 3 shared papers
• Umang Mathur 3 shared papers
• B. Srivathsan 1 shared papers
• Fr\'ed\'eric Herbreteau 1 shared papers
• Igor Walukiewicz 1 shared papers