Sagar Chaki

Identifiers

• name variant Sagar Chaki 0.60 · backfill

Papers (4)

1. Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong cs.NI · 2015 · author #3
2. SMT-based Model Checking for Recursive Programs cs.LO · 2014 · author #3
3. Automatic Abstraction in SMT-Based Unbounded Software Model Checking cs.LO · 2013 · author #3
4. Verification Across Intellectual Property Boundaries cs.OH · 2007 · author #1

Mentions

• 1505.03356 #3 · backfill · confidence 0.70 Sagar Chaki
• 1405.4028 #3 · backfill · confidence 0.70 Sagar Chaki
• 1306.1945 #3 · backfill · confidence 0.70 Sagar Chaki

Frequent Coauthors

• Anvesh Komuravelli 2 shared papers
• Arie Gurfinkel 2 shared papers
• Christian Schallhart 1 shared papers
• Edmund M. Clarke 1 shared papers
• Helmut Veith 1 shared papers
• Seyed K. Fayaz 1 shared papers
• Vyas Sekar 1 shared papers
• Yoshiaki Tobioka 1 shared papers