Trustworthy Systems


Shriram Krishnamurthi, Brown University

Building a Research Program for Scripting Languages


Scripting languages — the JavaScripts, Pythons, Luas of this world — play a central role in today’s programming, but present significant challenges to designing traditional programming languages tools like formal semantics, type systems, and other analytic methods. In this presentation I will discuss lessons learned from a ten year investigation at Brown into scripting languages, including suggestions for future directions.

Homework to prepare for the session: please watch the Wat talk by Gary Bernhardt (< 5 minutes).


I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. (I’m not, really, but that’s what it says on my business card.) I believe tropical fruit are superior to all other kinds. I am terrified of success, because I may be forced to buy a suit. I am known to interrogate my audiences to ensure they’re paying attention. So, be alert. You can read email later.