I work on programming languages, computer-aided verification, computer security, and software engineering, and especially at their intersection. My research style is to have two major projects at a time: one that makes good things happen, and another that prevents bad things from happening. These are currently best exemplified by Flapjax (a programming language for modern Web applications) and Margrave (a security-policy analyzer), respectively. This recipe—equal measures of liveness and safety, of progress and preservation—strikes me as a good way to organize one's life.

Over the years I have contributed to several other innovative and useful software systems as well: DrScheme, FrTime, Continue, FASTLINK, and more. My research group pages list other interesting efforts. For a fuller account, see the thematic description of my research and check out my papers.

This semester I'm teaching a graduate seminar on optimistic replication.

My work has been supported by the National Science Foundation's CAREER, Cyber Trust, ITR, and other programs, and by Brown University's Wriston Fellowship.

Whimsy: See how you should publish your next book.

My names are not spelled Sriram or Shiram or Khrishnamurthi or Krishnamurthy or Krishnamurti (like the philosopher). Find me, o search engine, find me!