My research aims to improve the browser as an application platform by making it easier to write, debug, and optimize complex web applications. To that end, my research interests include debugging, software performance, operating systems, and programming languages.
A Gray Box Approach For High-Fidelity High-Speed Time-Travel Debugging
Time-travel debugging (TTD) lets developers step backward as well as forward through a program’s execution. TTD is a powerful mechanism for diagnosing bugs, but previous approaches suffer from poor performance due to checkpoint and logging overhead, or poor fidelity because important information like GUI state is not tracked.
In this paper, we describe how to provide high-performance and high-fidelity TTD to programs written in managed languages. Previous high-performance debuggers treat components external to the program like the GUI as black boxes, but that is not sufficient for high-fidelity time-travel. Instead, we advocate for a gray-box approach that keeps these components live and in sync with the program during time-travel. The key insight is that managed runtime APIs expose most of the functionality required to do this; where it does not, we extend the runtime with a small number of non-intrusive interrogative interfaces. To demonstrate the power of our gray-box approach, we implement ReJS, a time-traveling debugger for web applications. ReJS imposes imperceptible tracing overhead, and its logs typically grow less than 1 KB/s. As a result, ReJS is performant enough to be deployed in the wild; real client machines can ship buggy execution traces across the wide area to developer-side machines for debugging.
This work is currently in submission.
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 was recently accepted to 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 will appear at IEEE Security and Privacy 2015.
Doppio: Breaking the Browser Language Barrier
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 this PLDI paper.
TypeScript Generator for Dropbox’s Stone
MS-DOS Collection at the Internet Archive
The MS-DOS Collection at the Internet Archive relies on Doppio’s file system to make a large collection of DOS games 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 save game progress to in-browser storage. I also worked with archive employees to integrate the file system appropriately, and to address a complex Cross-origin Resource Sharing (CORS) issue that prevented the initial deployment from working in Internet Explorer and Safari.
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.
- 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.
- Research Assistant, University of Massachusetts, 2011 to present.
- Research Intern, MIT Lincoln Laboratory, Summer 2011.
- Software Engineering Intern, SoftArtisans Inc., Summer 2010.
- Ph.D. in Computer Science, University of Massachusetts, In Progress.
- M.S. in Computer Science, University of Massachusetts, 2014.
- B.S. in Computer Science, Worcester Polytechnic Institute, 2011.
- IEEE Security & Privacy Student Travel Grant Recipient, IEEE S&P 2015.
- Facebook Fellowship for the 2015-2016 and 2016-2017 academic years, February 2015.
- SIGPLAN Research Highlight for Doppio, November 2014.
- USENIX Student Grant Recipient for travel to OSDI 2014.
- Distinguished Artifact Award for Doppio: Breaking the Browser Language Barrier, PLDI 2014.
- SIGPLAN PAC Student Travel Grant Recipient for travel to PLDI 2014.
- Programming Languages Mentoring Workshop Travel Grant Recipient, POPL 2012.
- Upsilon Pi Epsilon computer science honor society member, inducted into the WPI chapter in 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.
- WPI Student Employee of the Year Nominee, WPI, 2009-2010.
- Charles O’ Thompson Scholar, WPI, 2008.
- Recognizes outstanding performance by first-year undergraduate students.
- External Review Committee Member, PLDI 2017.
- External Review Committee Member, PLDI 2016.
- Mentor, Computing Beyond the Double Bind Mentoring Network, 2015-2016.
- As a part of this program, I remotely mentor two undergraduate women of color to provide them with a listening ear and professional guidance.
- Member, IEEE, 2015-present.
- Member, USENIX, 2014-present.
- Graduate Representative, academic year 2014-2015, University of Massachusetts School of Computer Science.
- Graduate representatives attend and vote during faculty meetings, meet and provide feedback on faculty candidates, and form a bridge between the graduate students and the faculty as a whole.
- Student Volunteer, PLDI 2016, PLDI 2016 PC Meeting, OOPSLA 2014.
- Artifact Evaluation Committee Member: OOPSLA 2015, PLDI 2015, OOPSLA 2014.
- External Reviewer: USENIX Security 2014, PLDI 2014, OOPSLA 2012, MSPC 2012, HotPar 2012.
- Member, ACM, 2008-present.
- Guest Lecturer, COMPSCI 326: Web Development, University of Massachusetts Amherst, Spring 2016.
- T.A., COMPSCI 326: Web Development, University of Massachusetts Amherst, Spring 2016.
- For a class of 100 undergraduates, I developed the curriculum, designed and wrote all of the assignments, graded most assignments, held office hours, and answered hundreds of questions on Piazza.
- Mentor, Doppio, PLASMA Lab, Google Summer of Code, Summer 2015.
- Students: Muhammad Bhatti
- Mentor, Doppio, PLASMA Lab, Google Summer of Code, Summer 2013.
- Students: Giles Lavelle & Braden McDorman