Arjun Guha
Artificial Intelligence · 2011–2023
A researcher in the Science corpus: 11 papers; trusts 56 researchers and is trusted by 7 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 209 citations into it; #16,311 of 35,345 by trust here, #5,424 by citations
- Information Systems — 167 citations into it; #4,908 of 8,771 by trust here, #589 by citations
- Natural Language Processing — 102 citations into it
- Software — 91 citations into it; #1,100 of 1,227 by trust here, #839 by citations
- Code Generation & Program Synthesis — 61 citations into it
- Program Analysis & Verification — 61 citations into it; #104 of 301 by trust here, #102 by citations
- Software Engineering — 31 citations into it; #57 of 113 by trust here, #60 by citations
- Computer Networks and Communications — 28 citations into it
Whom Arjun Guha trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Sam Tobin-Hochstadt
- Claudiu Saftoiu
- Jeremy G. Siek
- Matthias Felleisen
- Anders Møller
- Rabee Sohail Malik
- Kevin Jesse
- Ronald Garcia
- Zeina Migeed
- Muthu Dayalan
Who trusts Arjun Guha overall
Papers from Arjun Guha's perspective
Ordered by how strongly the researchers Arjun Guha trusts endorse each paper. Same corpus, a different order for every researcher.
- Attention is All you Need (Neural Information Processing Systems)
- Gradual Typing for Functional Languages
- The Design and Implementation of Typed Scheme: From Scripts to Programs
- Language Models are Few-Shot Learners (Neural Information Processing Systems)
- Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer (Journal of machine learning research)
- Language Models are Unsupervised Multitask Learners
- Deep learning type inference
- Static type inference for Ruby
- TeJaS: retrofitting type systems for JavaScript
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
Their papers
- SantaCoder: don't reach for the stars! (2023) — 247 citations
- StarCoder: may the source be with you! (2023) — 1,263 citations
- MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation (2023) — 282 citations
- MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation (2022) — 167 citations
- Do Machine Learning Models Produce TypeScript Types that Type Check? (2023) — 14 citations
- A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages (2022) — 31 citations
- Solver-based gradual type migration (2021) — 23 citations
- NetKAT: semantic foundations for networks (2014) — 494 citations
- Participatory networking: an API for application control of SDNs (2013) — 302 citations
- TeJaS: retrofitting type systems for JavaScript (2013) — 54 citations
- Typing Local Control and State Using Flow Analysis (2011) — 96 citations