UROP Openings

Have a UROP opening you would like to submit?

Please fill out the form.

Submit your UROP opening

Secure Language Design


IAP and Spring


6: Electrical Engineering and Computer Science

Faculty Supervisor:

Martin Rinard

Faculty email:


Apply by:



Nikos Vasilakis: nikos@vasilak.is

Project Description

JavaScript is the most popular programming language — with more than 1.5M libraries on npm. In this UROP, we will explore how to design and compare competing JavaScript subsets designed for security, by leveraging insights from the JavaScript library ecosystem. The student will combine state-of-the-art program analyses and transformations that our group has developed over the past year with novel program synthesis work that we are currently building. If interested, this UROP can be extended into the Spring.


Some familiarity with JavaScript and/or Java would be helpful, 20-40hrs/week during IAP, Interest in learning & doing research.