I am a software engineer at Stripe working remotely from Corvallis, Oregon. Prior to that, I completed my PhD at the University of Massachusetts Amherst while working in the PLASMA lab with Emery Berger. Feel free to contact me if you want to get in touch!
- Side Projects
- Honors & Awards
- Professional Service
- Teaching & Mentoring
My research spans software systems, programming languages, and software engineering, with a focus on overcoming challenges posed by web application development. My research interests include, but are not limited to, software debugging, performance, portability, and reliability.
Righting Web Development
ReJS: Time-Travel Debugging for Browser-Based Applications
Time-traveling debuggers offer the promise of simplifying debugging by letting developers freely step forwards and backwards through a program’s execution. However, web applications present multiple challenges that make time-travel debugging especially difficult. A time-traveling debugger for web applications must accurately reproduce all network interactions, asynchronous events, and visual states observed during the original execution, both while stepping forwards and backwards. This must all be done in the context of a complex and highly multithreaded browser runtime. At the same time, to be practical, a time-traveling debugger must maintain interactive speeds.
BLeak: Automatically Debugging Memory Leaks in Web Applications
This paper introduces BLeak (Browser Leak debugger), the first system for automatically debugging memory leaks in web applications. BLeak’s algorithms leverage the observation that in modern web applications, users often repeatedly return to the same (approximate) visual state (e.g., the inbox view in Gmail). Sustained growth between round trips is a strong indicator of a memory leak. To use BLeak, a developer writes a short script (≈40 LOC) to drive a web application in round trips to the same visual state. BLeak then automatically generates a list of leaks found along with their root causes, ranked by severity. Guided by BLeak, we identify and fix over 50 memory leaks in popular libraries and apps including Airbnb, AngularJS, Google Analytics, Google Maps SDK, and jQuery. BLeak’s median precision is 100%; fixing the leaks it identifies reduces heap growth by an average of 94%, saving from 0.5 MB to 8 MB per round trip.
BLeak appeared at PLDI 2018.
Browsix: Bridging the Gap Between Unix and the Browser
Applications written to run on conventional operating systems typically depend on OS abstractions like processes, pipes, signals, sockets, and a shared file system. Porting these applications to the web currently requires extensive rewriting or hosting significant portions of code server-side because browsers present a nontraditional runtime environment that lacks OS functionality.
We illustrate Browsix’s capabilities via case studies that demonstrate how it eases porting legacy applications to the browser and enables new functionality. We demonstrate a Browsix-enabled LaTeX editor that operates by executing unmodified versions of pdfLaTeX and BibTeX. This browser-only LaTeX editor can render documents in seconds, making it fast enough to be practical. We further demonstrate how Browsix lets us port a client-server application to run entirely in the browser for disconnected operation. Creating these applications required less than 50 lines of glue code and no code modifications, demonstrating how easily Browsix can be used to build sophisticated web applications from existing parts without modification.
This work appeared at ASPLOS 2017.
SurroundWeb: Mitigating Privacy Concerns in a 3D Web Browser
Immersive experiences that mix digital and real-world objects are becoming reality, but they raise serious privacy concerns as they require real-time sensor input. SurroundWeb is the first 3D web browser that provides the novel functionality of rendering web content onto a room while tackling many of the inherent privacy challenges. Following the principle of least privilege, we propose three abstractions for immersive rendering:
- The room skeleton lets applications place content in response to the physical dimensions and locations of renderable surfaces in a room.
- The detection sandbox lets applications declaratively place content near recognized objects in the room without revealing if the object is present.
- Satellite screens let applications display content across devices registered with SurroundWeb.
We implement these abstractions in a prototype system, and demonstrate that a wide range of immersive experiences can be implemented with acceptable performance.
SurroundWeb appeared at IEEE S&P 2015.
Doppio: Breaking the Browser Language Barrier
DoppioJVM is currently used by the University of Illinois at CodeMoo.com to teach students how to program in Java, and Doppio is used by the Software Collection at the Internet Archive to bring historical software to life in the browser.
Occasionally, I find the time to work on some fun side projects.
MakeTypes: TypeScript Types from JSON Examples
MakeTypes lets developers typecheck code that interacts with JSON services by generating TypeScript types from JSON examples. MakeTypes can also optionally perform runtime type checking to enforce these types at runtime, guarding code against unexpected service responses.
MakeTypes uses the Common Preferred Shape Relation from Petricek et al. (PLDI 2016).
TypeScript Generator for Dropbox’s Stone
I mapped Stone’s type system onto TypeScript’s type system, and implemented a Stone generator that produces TypeScript definition files from a Stone API specification.
Software Collection at the Internet Archive
The Software Collection at the Internet Archive relies on Doppio’s file system to make a large collection of software playable in the browser. I added support for union mounting into the file system to support layering a mutable file system on top of an immutable zip file, making it possible to load software from a zip file and persist file system changes to in-browser storage.
JSMESS is now officially part of MESS/MAME.
SDL Joystick Support in Emscripten
I augmented Emscripten’s SDL emulation with support for the SDL Joystick API using the HTML5 Gamepad API. As a result, SDL applications ported to the web with Emscripten, such as JSMESS, will function appropriately with USB gamepads. This code has been integrated into the Emscripten code base, and is present in Emscripten releases since v1.7.3.
- Ph.D. in Computer Science, University of Massachusetts, Anticipated September, 2018.
- Advised by Emery D. Berger.
- M.S. in Computer Science, University of Massachusetts, 2014.
- B.S. in Computer Science, Worcester Polytechnic Institute, May, 2011.
- Software Engineer, Stripe, 2018 to present.
- Research Assistant, University of Massachusetts, 2011 to 2018.
- Teaching Assistant, University of Massachusetts, Spring 2016.
- For CMPSCI 326: Web Programming, with Professor Timothy Richards.
- Research Intern, Microsoft Research, Summer 2015.
- Research Intern, Microsoft Research, Summer 2014.
- Research Intern, Microsoft Research, Summer 2013.
- Mentor: David Molnar
- Software Engineering Intern, Google, Summer 2012.
- With the Java Platform Team.
- Research Intern, MIT Lincoln Laboratory, Summer 2011.
- In Division 6: Communication Systems
- Software Engineering Intern, SoftArtisans Inc., Summer 2010.
Honors & Awards
- Facebook Ph.D. Fellowship in Programming Languages and Compilers, 2015-2017.
- SIGPLAN Research Highlight for Doppio: Breaking the Browser Language Barrier, 2014.
- Distinguished Artifact Award for Doppio: Breaking the Browser Language Barrier, PLDI 2014.
- Inducted into the WPI chapter of Upsilon Pi Epsilon computer science honor society, 2011.
- Salisbury Prize, WPI, 2011.
- Awarded for completing all of my requirements at WPI “faithfully, industriously, and with distinguished attainment”.
- Dr. Neil G. Sullivan Memorial Award, WPI, 2010.
- Awarded annually to three junior undergraduates in recognition of their demonstrated ability and promise.
- Charles O’ Thompson Scholar, WPI, 2008.
- Recognizes outstanding performance by first-year undergraduate students.
- Travel Grants, PLDI 2016, IEEE S&P 2015, OSDI 2014, PLDI 2014, POPL 2012.
- External Review Committee Member, PLDI 2016, PLDI 2017.
- Artifact Evaluation Committee Member, OOPSLA 2015, PLDI 2015, OOPSLA 2014.
- Graduate Representative, University of Massachusetts College of Information and Computer Sciences, 2014-2015.
- One of four Ph.D. students elected to serve for one year. Attended and voted during faculy meetings, met with faculty candidates, and organized department seminars.
- Student Volunteer, PLDI 2016, PLDI 2016 PC Meeting, OOPSLA 2014.
- External Reviewer, USENIX Security 2014, PLDI 2014, OOPSLA 2012, MSPC 2012, HotPar 2012.
Teaching & Mentoring
- Guest Lecturer, COMPSCI 326: Web Development, University of Massachusetts Amherst, Spring 2016.
- Teaching Assistant, COMPSCI 326: Web Development, University of Massachusetts Amherst, Spring 2016.
- As a TA, I co-taught the class with the instructor. I redesigned the curriculum, designed and wrote all of the assignments, graded assignments, held well-attended office hours, and answered hundreds of questions on Piazza. An archived version of the course website and assignments can be found here.
- Research Mentor
- Muhammad Bhatti, Undergraduate in Computer Science, NUST, Pakistan, Summer 2015.
- Remotely supervised contributions to a research project via Google Summer of Code. Extended an experimental Python implementation with multithreading support.
- Giles Lavelle, Undergraduate in Computer Science, University of Bristol, Summer 2013.
- Remotely supervised contributions to Doppio via Google Summer of Code. Extended Doppio’s file system with cloud storage support.
- Braden McDorman, Undergraduate in Computer Science, University of Oklahoma, Summer 2013.
- Remotely supervised contributions to Doppio via Google Summer of Code. Extended Doppio with support for outgoing TCP sockets.
- Muhammad Bhatti, Undergraduate in Computer Science, NUST, Pakistan, Summer 2015.
- Mentor, Computing Beyond the Double Bind Mentoring Network, 2015-2016.
- Provided remote guidance and support to undergraduate women of color in computer science.