Salvatore Guarnieri

I am currently a 4th year graduate student at the University of Washington working with Ben Livshits (from MSR) on improving web programming languages. I am currently focused on developing analyses for JavaScript that should make it easier for programmers to write safe, predictable, and reliable programs. These analyses should also help content providers and aggregators screen content to prevent them from hosting dangerous or malicious JavaScript programs.

My long term research focuses on how to improve the experience of writing a program for the web. In the current web, this mostly means writing in JavaScript combined with HTML, and perhaps PHP and SQL. I like to think about what I would want to do when I write web programs and when I am thinking even more abstractly, I like to think about where I would redraw the borders between languages used to make web programs and how I would like to manipulate said langauges in an editor. There is little hope for quickly redefining how to write a web application, but analyses can enforce rules or practices that might be useful and compilation, even source-to-source, allows new features to be added to languages as long as they can still be compiled down to something that currently works in the web.

C.V. (pdf)
Classes
Research
Personal Site