Associate Professor Shriram Krishnamurthi, Brown University

Shriram Krishnamurthi is an Associate Professor of Computer Science at Brown University.

His research draws from programming languages, software engineering, computer-aided verification, and security. His recent work focuses on language support for interactive software, and on analyses for security policies.

He is a co-author of the Flapjax programming language, the DrScheme programming environment, the FASTLINK genetic linkage analysis package, the Margrave access control policy analysis package, the Continue conference paper server, and the book "How to Design Programs" (MIT Press, 2001).

He has more recently written the text "Programming Languages: Application and Interpretation". He also coordinates the decade-old and highly successful TeachScheme! high school computer science outreach program.

Books

How to Design Programs

Programming Languages: Application and Interpretation

Presentation: "A Programming Language for the New Web"

Track: Five Things I Wish I Learned In College

Time: Monday 11:00 - 12:00

Location: Conference Hall

Abstract:

Explicitly or implicitly, programming languages mirror domains. The best languages weave the concerns of a domain through a compatible computational model to offer programmers the best of both worlds. This statement naturally raises the question: What is the appropriate programming language for Web applications in the Ajax style?

Our answer, Flapjax, is layered atop JavaScript. Flapjax demonstrates that the Web has a natural abstraction: event-driven reactivity. After explaining this we will build on it to examine connections to Web services, data binding, and access-control security. I will also cover some highlights of our work in this area on implementation techniques, principles for interfacing to legacy components, program transformations to improve performance, applications, and more.

Password protected Download slides