Jeffrey S. Foster
Artificial Intelligence · 2000–2021
A researcher in the Science corpus: 13 papers; trusts 39 researchers and is trusted by 43 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 52 citations into it; #4,763 of 35,345 by trust here, #8,077 by citations
- Information Systems — 48 citations into it; #745 of 8,771 by trust here, #1,284 by citations
- Software — 35 citations into it; #68 of 1,227 by trust here, #114 by citations
- Program Analysis & Verification — 31 citations into it; #50 of 301 by trust here, #44 by citations
- Signal Processing — 22 citations into it
- Computational Theory and Mathematics — 20 citations into it; #3,677 of 12,182 by trust here, #5,046 by citations
- Code Generation & Program Synthesis — 17 citations into it
- Natural Language Processing — 14 citations into it
Whom Jeffrey S. Foster trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Jeremy G. Siek
- Miltiadis Allamanis
- Diederik P. Kingma
- Michael Furr
- Gregory R. Koch
- Veselin Raychev
- Greg Nelson
- Sam Tobin-Hochstadt
- Michael Pradel
- Alexander Schrijver
Who trusts Jeffrey S. Foster overall
- Gary Wassermann
- Ranjit Jhala
- Karim Eldefrawy
- Yichen Xie
- David Hovemeyer
- Zhendong Su
- Ravi Chugh
- Armando Solar-Lezama
- Manuvir Das
- Sandeep Bhatkar
Papers from Jeffrey S. Foster's perspective
Ordered by how strongly the researchers Jeffrey S. Foster trusts endorse each paper. Same corpus, a different order for every researcher.
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Attention is All you Need (Neural Information Processing Systems)
- Long Short-Term Memory
- ImageNet classification with deep convolutional neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Sequence to Sequence Learning with Neural Networks (Neural Information Processing Systems)
- Gradient-based learning applied to document recognition
- Neural Machine Translation by Jointly Learning to Align and Translate (International Conference on Learning Representations)
- BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding (North American Chapter of the Association for Computational Linguistics)
- ImageNet: A large-scale hierarchical image database
Their papers
- Dynamic inference of static types for ruby (2011) — 97 citations
- Profile-guided static typing for dynamic scripting languages (2009) — 94 citations
- From program verification to program synthesis (2010) — 322 citations
- SimTyper: sound type inference for Ruby using type equality prediction (2021) — 10 citations
- Sound, heuristic type annotation inference for Ruby (2020) — 16 citations
- Learning a classifier for false positive error reports emitted by static code analysis tools (2017) — 67 citations
- The ruby type checker (2013) — 34 citations
- Static type inference for Ruby (2009) — 179 citations
- SCanDroid: Automated Security Certification of Android (2009) — 455 citations
- Understanding source code evolution using abstract syntax tree matching (2005) — 322 citations
- A comparison of bug finding tools for Java (2004) — 314 citations
- Flow-sensitive type qualifiers (2002) — 381 citations
- A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (2000) — 735 citations