Immediate Impact
1 from Science/Nature 6 standout
Citing Papers
Language is primarily a tool for communication rather than thought
2024 StandoutNature
Computing Education in the Era of Generative AI
2024 Standout
Works of Nadia Polikarpova being referenced
Grounded Copilot: How Programmers Interact with Code-Generating Models
2023 Standout
Program synthesis from polymorphic refinement types
2016
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Nadia Polikarpova | 97 | 115 | 90 | 25 | 223 | |
| Harald Störrle | 109 | 57 | 84 | 24 | 169 | |
| Robert Cartwright | 77 | 139 | 50 | 26 | 225 | |
| Shuvendu K. Lahiri | 149 | 65 | 122 | 29 | 233 | |
| André L. M. Santos | 120 | 71 | 50 | 19 | 243 | |
| Allen L. Ambler | 54 | 77 | 50 | 14 | 160 | |
| Christine Choppy | 71 | 79 | 52 | 23 | 171 | |
| Rahul Sharma | 65 | 152 | 55 | 27 | 267 | |
| Kenneth C. Cox | 92 | 117 | 31 | 23 | 291 | |
| Loris D’Antoni | 39 | 106 | 39 | 31 | 165 | |
| Nikola Trčka | 83 | 114 | 35 | 26 | 280 |
All Works
Login with ORCID to disown or claim papers
Loading papers...