Shankara Pailoor

Identifiers

• name variant Shankara Pailoor 0.60 · backfill

Papers (5)

1. Integer Reasoning Modulo Different Constants in SMT cs.LO · 2025 · author #3
2. From Batch to Stream: Automatic Generation of Online Algorithms cs.PL · 2024 · author #2
3. Type-Directed Synthesis of Visualizations from Natural Language Queries cs.PL · 2022 · author #2
4. Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems cs.OS · 2022 · author #2
5. Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness cs.PL · 2019 · author #2

Mentions

• 2505.14998 #3 · arxiv_oai · confidence 0.70 Shankara Pailoor
• 2404.04743 #2 · arxiv_oai · confidence 0.70 Shankara Pailoor
• 2209.01081 #2 · arxiv_oai · confidence 0.70 Shankara Pailoor
• 2204.06066 #2 · arxiv_oai · confidence 0.70 Shankara Pailoor
• 1904.09959 #2 · arxiv_oai · confidence 0.70 Shankara Pailoor

Frequent Coauthors

• Isil Dillig 4 shared papers
• Aaryan Prakash 1 shared papers
• Abby Criswell 1 shared papers
• Alex Ozdemir 1 shared papers
• Alp Bassa 1 shared papers
• Celeste Barnaby 1 shared papers
• Chenglong Wang 1 shared papers
• Clark Barrett 1 shared papers
• Elizaveta Pertseva 1 shared papers
• Greg Anderson 1 shared papers
• Greg Durrett 1 shared papers
• Hayley LeBlanc 1 shared papers
• I\c{s}il Dillig 1 shared papers
• James Bornholt 1 shared papers
• Qiaochu Chen 1 shared papers
• Sorawee Porncharoenwase 1 shared papers
• Swarat Chaudhuri 1 shared papers
• Vijay Chidambaram 1 shared papers
• Yuepeng Wang 1 shared papers
• Ziteng Wang 1 shared papers