Shriram Krishnamurthi

Information Systems · 2002–2022

A researcher in the Science corpus: 7 papers; trusts 5 researchers and is trusted by 10 researchers here, as inferred from the citation graph.

Subfields

Whom Shriram Krishnamurthi trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Sam Tobin-Hochstadt
  2. Richard Kelsey
  3. Claudiu Saftoiu
  4. Matthias Felleisen

Who trusts Shriram Krishnamurthi overall

  1. Ming-Ho Yee
  2. Betty H. C. Cheng
  3. Panagiotis Vekris
  4. Arjun Guha

Papers from Shriram Krishnamurthi's perspective

Ordered by how strongly the researchers Shriram Krishnamurthi trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Structure and interpretation of computer programs
  2. Gradual Typing for Functional Languages
  3. The Design and Implementation of Typed Scheme: From Scripts to Programs
  4. A clean slate 4D approach to network control and management (CCRV)
  5. OpenFlow: enabling innovation in campus networks (CCRV)
  6. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
  7. A network in a laptop: rapid prototyping for software-defined networks (Hotnets-IX)
  8. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
  9. Static type inference for Ruby
  10. Type Analysis for JavaScript

Their papers