Arjun Guha

Identifiers

• name variant Arjun Guha 0.60 · backfill

Papers (10)

1. Learning Reasoning World Models for Parallel Code cs.SE · 2026 · author #2
2. StarCoder 2 and The Stack v2: The Next Generation cs.SE · 2024 · author #64
3. StarCoder: may the source be with you! cs.CL · 2023 · author #65
4. Putting in All the Stops: Execution Control for JavaScript cs.PL · 2018 · author #5
5. Interactive Robot Transition Repair With SMT cs.RO · 2018 · author #2
6. The Essence of JavaScript cs.PL · 2015 · author #1
7. Rehearsal: A Configuration Verification Tool for Puppet cs.PL · 2015 · author #3
8. Morpheus: Safe and Flexible Dynamic Updates for SDNs cs.NI · 2015 · author #4
9. ADsafety: Type-Based Verification of JavaScript Sandboxing cs.PL · 2015 · author #3
10. A Fast Compiler for NetKAT cs.PL · 2015 · author #4

Mentions

• 1510.00925 #1 · backfill · confidence 0.70 Arjun Guha
• 1509.05100 #3 · backfill · confidence 0.70 Arjun Guha
• 1509.03614 #4 · backfill · confidence 0.70 Arjun Guha
• 1506.07813 #3 · backfill · confidence 0.70 Arjun Guha
• 1506.06378 #4 · backfill · confidence 0.70 Arjun Guha
• 2604.20926 #2 · arxiv_oai · confidence 0.70 Arjun Guha

Frequent Coauthors

• Shriram Krishnamurthi 3 shared papers
• Alex Gu 2 shared papers
• Armel Zebaze 2 shared papers
• Carlos Mu\~noz Ferrandis 2 shared papers
• Carolyn Jane Anderson 2 shared papers
• Chenghao Mou 2 shared papers
• Christopher Akiki 2 shared papers
• Denis Kocetkov 2 shared papers
• Dmitry Abulkhanov 2 shared papers
• Evgenii Zheltonozhskii 2 shared papers
• Harm de Vries 2 shared papers
• Jennifer Robinson 2 shared papers
• Jia Li 2 shared papers
• Jian Zhu 2 shared papers
• Joe Gibbs Politz 2 shared papers
• Joel Lamy-Poirier 2 shared papers
• Leandro Von Werra 2 shared papers
• Loubna Ben Allal 2 shared papers
• Manan Dey 2 shared papers
• Marc Marone 2 shared papers