Vijay D'Silva

Identifiers

• name variant Vijay D'Silva 0.60 · backfill

Papers (2)

1. A proof-theoretic approach to abstract interpretation cs.LO · 2026 · author #1
2. Abstract Interpretation with Unfoldings cs.PL · 2017 · author #3

Mentions

• 2605.26591 #1 · arxiv_oai · confidence 0.70 Vijay D'Silva

Frequent Coauthors

• Alessandra Palmigiano 1 shared papers
• Apostolos Tzimoulis 1 shared papers
• Caterina Urban 1 shared papers
• C\'esar Rodr\'iguez 1 shared papers
• Daniel Kroening 1 shared papers
• Marcelo Sousa 1 shared papers