Shriram Krishnamurthi
Scholar

Shriram Krishnamurthi

Google Scholar ID: Cxwj5hEAAAAJ
Professor of Computer Science, Brown University
programming languagescomputing educationverificationcybersecuritynetworking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
12,634
 
H-index
58
 
i10-index
159
 
Publications
20
 
Co-authors
29
list available
Contact
No contact links provided.
Publications
2 items
Type-Error Ablation and AI Coding Agents
2026
Cited
0
An Interactive Debugger for Rust Trait Errors
2025
Cited
0
Resume (English only)
Co-authors
29 total
Matthias Felleisen
Matthias Felleisen
Trustee Professor of Computer Science, Northeastern University
Co-author 2
Co-author 2
Matthew Flatt
Matthew Flatt
Professor, School of Computing, University of Utah
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Arjun Guha
Arjun Guha
Northeastern University
Co-author 7
Co-author 7
Daniel J Dougherty
Daniel J Dougherty
Worcester Polytechnic Institute