Google (United States) — United States
Computer Science · Physical Sciences
50h-index20.7kcitations206works1.32yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Topic Modeling(49), Software Engineering Research(48), Natural Language Processing Techniques(46), Software Testing and Debugging Techniques(20), Bayesian Modeling and Causal Inference(16)
Publications205 total
2025· 2 citedOpen Access
arXiv (Cornell University)·2024· 2 citedOpen Access
arXiv (Cornell University)·2023· 9 citedOpen Access
arXiv (Cornell University)·2023· 2 citedOpen Access
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2023Open Access
2023· 17 citedOpen Access
arXiv (Cornell University)·2022· 3 citedOpen Access
arXiv (Cornell University)·2022· 1 citedOpen Access
arXiv (Cornell University)·2022· 20 citedOpen Access
arXiv (Cornell University)·2022Open Access
arXiv (Cornell University)·2022· 2 citedOpen Access
arXiv (Cornell University)·2022· 2.1k citedOpen Access
arXiv (Cornell University)·2022· 6 citedOpen Access
ACM Transactions on Programming Languages and Systems·2021Open Access
A Bayesian-Symbolic Approach to Reasoning and Learning in Intuitive Physics
Neural Information Processing Systems·2021· 9 cited
Learning Semantic Representations to Verify Hardware Designs
Neural Information Processing Systems·2021· 10 cited
arXiv (Cornell University)·2021· 16 citedOpen Access
page 1 of 11Next →
Frequent Co-authors
Andrew McCallum(12), Miltiadis Allamanis(10), Mingjun Zhong(5), Nigel Goddard(5), Akash Srivastava(4), Earl T. Barr(4), Maarten Bosma(2), Jacob Austin(2), Guy Gur-Ari(2), Henryk Michalewski(2), D. Dohan(2), Aitor Lewkowycz(2), Prémkumar Dévanbu(2), Khashayar Rohanimanesh(2), Chaoyun Zhang(2), Zongzuo Wang(2), Christian Bird(2), Hao Peng(2), Blaine Nelson(2), Marco Barreno(2)