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

Assistant 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)

My work lives at the confluence of programming languages, computer-aided verification, and software engineering. See my brief research blurb or the thematic description of my research.

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, more recent efforts.

I will be program chair of the ETAPS conference Compiler Construction (CC) for 2007. I am on the JFP Editorial Board and on the program committee for these upcoming conferences:

AOSD 2007, SIGSOFT FSE 2006, IBM PL Day, CC 2006

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: The Swine Before Perl (full a/v, thanks to Dr. Dobb's).

My work is supported by National Science Foundation grants, including a CAREER award, and by Brown University's Wriston Fellowship.

Personal

book reviews, etc.