Shriram Krishnamurthi

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Shriram Krishnamurthi

Shriram Krishnamurthi

Associate Professor

Brown PLT (My research group: students, projects, etc.)
Computer Science Department
Brown University

L'Alpe d'Huez, July 2005
(photo by Kathi Fisler; thanks to Geraldine Morin and Henrik Weimer)

Contact Me

Kapelmuur, March 2006
(photo by Kathi Fisler)

I work on programming languages, computer-aided verification, and computer security, and especially at their intersection. See the thematic description of my research. I am looking for graduate students and postdocs: read this, then contact me.

My research is driven by, and contributes to, several useful and innovative software systems. Over the past decade, the most significant of these have been:

DrScheme, the leading programming environment for Scheme
Continue, the conference paper manager of discerning conferences
FrTime, a dynamic dataflow language
Margrave, an access-control policy analyzer

My research group pages list other interesting efforts.

I will be program chair of the ETAPS conference Compiler Construction (CC) 2007. I am on the JFP Editorial Board. I've served on other program committees in the past.

I don't post my talks on-line, but when someone calls your work “kickassing genial” (according to tcr), you've got to make an exception—so go ahead and enjoy The Swine Before Perl (full a/v, thanks to Dr. Dobb's).

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.

Publications

Programming Languages: Application and Interpretation

all papers

How to Design Programs

departmental newsletter