University of Massachusetts, Amherst
My research applies ideas from programming languages to tackle problems
in web security, network programming, and system configuration management.
- SRTR will appear at IJCAI-ECAI 2018 with a demo at AAMAS (May 2018).
- Stopify will appear at PLDI 2018 (April 2018).
- Tortoise presented at ASE 2017 (October 2017).
- NSF Award on system configuration verification (May 2017).
I work with a great group of students:
We are part of the Programming Languages
and Systems (PLASMA) Group, which includes several other students and
I am also part of the Frenetic
and JSWebTools projects.
I am always looking for students (both graduate and undergraduate) who are
interested in programming languages research. I encourage you to read some of my
papers and see what I like to teach.
If you find any of this exciting, do get in touch.
- Rachit Nigam (undergrad → PhD student at Cornell)
- Nicole Andrews (undergrad)
- Harsh Poddar (undergrad → Facebook)
- Aaron Weiss (undergrad, NSF Fellow → PhD student at Northeastern)
- Jane Tangen (undergrad)
- Akshay Gadre (undergrad → PhD student at Carnegie Mellon)
- Nimish Gupta (MS → Amazon)
140 Governors Drive, Amherst, MA 01003