Statistics
Publications
107
Citations
6.1K
H-Index
45
Active since
1996
Shriram Krishnamurthi is an author at Brown University specializing in computer science, computing, and programming languages.
Publications per year
1996–2024
107
107
Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen · 1998 · 491 citations · Full text
Verification and change-impact analysis of access-control policies
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich et al. · 2005 · 396 citations
DrScheme: a programming environment for Scheme
Robert Bruce Findler, John Clements, Cormac Flanagan et al. · Journal of Functional Programming · 2002 · 340 citations
Andrew D. Ferguson, Arjun Guha, Chen Liang et al. · 2013 · 273 citations · Full text
Leo A. Meyerovich, Arjun Guha, Jacob Baskin et al. · ACM SIGPLAN Notices · 2009 · 170 citations
1–5 of 107