Anindya Banerjee

Identifiers

• name variant Anindya Banerjee 0.60 · backfill

Papers (10)

1. Macdonald Index From Refined Kontsevich-Soibelman Operator hep-th · 2025 · author #2
2. A Semantics for Probabilistic Control-Flow Graphs cs.PL · 2017 · author #2
3. A Theory of Slicing for Probabilistic Control-Flow Graphs cs.PL · 2017 · author #2
4. Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources cs.PL · 2017 · author #2
5. Relational Logic with Framing and Hypotheses: Technical Report cs.LO · 2016 · author #1
6. Concurrent Data Structures Linked in Time cs.LO · 2016 · author #4
7. Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects cs.LO · 2015 · author #3
8. Constraining parameters of effective field theory of inflation from Planck data hep-th · 2015 · author #1
9. Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity cs.LO · 2014 · author #3
10. A Simple Semantics and Static Analysis for Stack Inspection cs.PL · 2013 · author #1

Mentions

• 1309.5144 #1 · backfill · confidence 0.70 Anindya Banerjee
• 2511.07521 #2 · arxiv_oai · confidence 0.70 Anindya Banerjee

Frequent Coauthors

• Aleksandar Nanevski 4 shared papers
• Ilya Sergey 3 shared papers
• David A. Naumann 2 shared papers
• Germ\'an Andr\'es Delbianco 2 shared papers
• Torben Amtoft 2 shared papers
• George Andrews 1 shared papers
• German Andres Delbianco 1 shared papers
• Himanshu Khanchandani 1 shared papers
• Mohammad Nikouei 1 shared papers
• Ranveer Kumar Singh 1 shared papers
• Runkai Tao 1 shared papers