I am currently a first-year PhD student at MIT as part of the PDOS group. I spent 2017-18 abroad as a Fulbright Research Fellow at MPI-SWS, where I was advised by Professor Peter Druschel, and I was previously at Harvard, where I received my Bachelor’s and Master’s degrees in Computer Science and was advised by Professor Eddie Kohler. My research interests include performance and scalability analysis, the application of formal methods to real-life systems, and designing communication systems.
Besides research, I enjoy playing violin, reading, and exploring the world around me. I am always free to sightread chamber music!
A.B./S.M. in Computer Science, 2017
The scalable commutativity rule states that whenever interface operations commute, they have a conflict-free implementation. The initial SOSP 2013 paper included a full formal treatment of the rule, a detailed explanation of Commuter (an automated scalability testing tool), and how we applied the rule and Commuter to build a POSIX file system and virtual memory system. We are now exploring further the relationship between commutativity and scalability driven by the insights we gained from verifying the SCR.
We introduce a new communication paradigm called Encounter-based Communication (EbC), which uses secure encounters as first-class objects to bootstrap communication.