World's Best Scientists 2026 revealed!
Shriram Krishnamurthi

Shriram Krishnamurthi

D-Index & Metrics

Computer Science

D-Index
59
Citations
10612
World Ranking
3492
National Ranking
1681

Overview

Shriram Krishnamurthi is a researcher affiliated with Brown University in the United States. Their academic work is situated primarily in the field of Computer Science, encompassing a total of 78 publications. Within this domain, their subfields of focus include Artificial Intelligence, Software, Computer Science Applications, Information Systems, and Computational Theory and Mathematics.

The central topics addressed in Krishnamurthi's research involve Teaching and Learning Programming, Software Engineering Research, Software Testing and Debugging Techniques, Formal Methods in Verification, Logic, Programming, and Type Systems, Privacy-Preserving Technologies in Data, and Model-Driven Software Engineering Techniques.

Their recent published papers include the following:

  • "Data-centricity," 2020, Communications of the ACM
  • "A Grounded Conceptual Model for Ownership Types in Rust," 2023, Proceedings of the ACM on Programming Languages
  • "Little Tricky Logic: Misconceptions in the Understanding of LTL," 2022, The Art Science and Engineering of Programming
  • "Integrated Data Science for Secondary Schools," 2022, Proceedings of the 53rd ACM Technical Symposium on Computer Science Education
  • "Identifying and Correcting Programming Language Behavior Misconceptions," 2024, Proceedings of the ACM on Programming Languages

Frequent collaborators in their research include Ben Greenman, Tim Nelson, Kathi Fisler, Will Crichton, and Sam Saarinen. These co-authorship relationships have resulted in significant contributions across various publications.

Shriram Krishnamurthi's work has appeared predominantly in venues such as Zenodo (CERN European Organization for Nuclear Research), Proceedings of the ACM on Programming Languages, The Art Science and Engineering of Programming, arXiv (Cornell University), and the Journal of Functional Programming. These outlets collectively represent the main platforms for dissemination of their research findings.

Best Publications

  • Classes and mixins

    Matthew Flatt;Shriram Krishnamurthi;Matthias Felleisen

  • Verification and change-impact analysis of access-control policies

    Kathi Fisler;Shriram Krishnamurthi;Leo A. Meyerovich;Michael Carl Tschantz

  • Participatory networking: an API for application control of SDNs

    Andrew D. Ferguson;Arjun Guha;Chen Liang;Rodrigo Fonseca

  • DrScheme: a programming environment for Scheme

    Robert Bruce Findler;John Clements;Cormac Flanagan;Matthew Flatt

  • The essence of javascript

    Arjun Guha;Claudiu Saftoiu;Shriram Krishnamurthi

  • Flapjax: a programming language for Ajax applications

    Leo A. Meyerovich;Arjun Guha;Jacob Baskin;Gregory H. Cooper

  • How to Design Programs

    Shriram Krishnamurthi;Robert Bruce Findler;Matthias Felleisen;Matthew Flatt

  • Embedding dynamic dataflow in a call-by-value language

    Gregory H. Cooper;Shriram Krishnamurthi

  • How to design programs: an introduction to programming and computing

    Matthias Felleisen;Robert Bruce Findler;Matthew Flatt;Shriram Krishnamurthi

  • Using static analysis for Ajax intrusion detection

    Arjun Guha;Shriram Krishnamurthi;Trevor Jim

  • A Programmer's Reduction Semantics for Classes and Mixins

    Matthew Flatt;Shriram Krishnamurthi;Matthias Felleisen

  • The margrave tool for firewall analysis

    Timothy Nelson;Christopher Barratt;Daniel J. Dougherty;Kathi Fisler

  • Specifying and reasoning about dynamic access-control policies

    Daniel J. Dougherty;Kathi Fisler;Shriram Krishnamurthi

  • Tierless programming and reasoning for software-defined networks

    Tim Nelson;Andrew D. Ferguson;Michael J. G. Scheer;Shriram Krishnamurthi

  • Verifying aspect advice modularly

    Shriram Krishnamurthi;Kathi Fisler;Michael Greenberg

  • Automated Fault Localization Using Potential Invariants 1

    Brock Pytlik;Manos Renieris;Shriram Krishnamurthi;Steven P. Reiss

  • Catching bugs in the web of program invariants

    Cormac Flanagan;Matthew Flatt;Shriram Krishnamurthi;Stephanie Weirich

  • DrScheme: A Pedagogic Programming Environment for Scheme

    Robert Bruce Findler;Cormac Flanagan;Matthew Flatt;Shriram Krishnamurthi

  • Synthesizing Object-Oriented and Functional Design to Promote Re-Use

    Shriram Krishnamurthi;Matthias Felleisen;Daniel P. Friedman

  • Measuring the effectiveness of error messages designed for novice programmers

    Guillaume Marceau;Kathi Fisler;Shriram Krishnamurthi

  • How to Design Programs: An Introduction to Computing and Programming

    Matthias Felleisen;Robert Bruce Findler;Matthew Flatt;Shriram Krishnamurthi

Frequent Co-Authors

Matthias Felleisen
Matthias Felleisen Northeastern University
Matthew Flatt
Matthew Flatt University of Utah
Robert Bruce Findler
Robert Bruce Findler Northwestern University
Rodrigo Fonseca
Rodrigo Fonseca Brown University
Jan Vitek
Jan Vitek Northeastern University
Steven P. Reiss
Steven P. Reiss Brown University
Cormac Flanagan
Cormac Flanagan University of California, Santa Cruz
Don Batory
Don Batory The University of Texas at Austin
Martin Odersky
Martin Odersky École Polytechnique Fédérale de Lausanne
Serge Egelman
Serge Egelman International Computer Science Institute

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing Computer Science in the USA opens doors to a variety of related online degrees and expanding career opportunities. Aspiring students can diversify their expertise by exploring fields that complement computer science, such as engineering, data science, and physics.

For students interested in sustainability and technology, an environmental engineering online degree combines engineering principles with environmental science. Alternatively, those seeking hands-on technical skills while weighing study expenses may consider the mechanical engineering degree online cost to find affordable programs.

If your interests lie in the foundational sciences driving modern computing, a bachelor of science in physics online can provide deep theoretical knowledge. Meanwhile, data-driven industries continue to thrive, making data science degrees an attractive option for roles in analytics, AI, and big data.

Exploring these pathways allows students to broaden their skillsets, meet industry demand, and increase their career flexibility in technology-related sectors.

Best Scientists Citing Shriram Krishnamurthi

Trending Scientists