J. Ryan Stinnett

Exploring how to make programs more malleable and computing more humane

Curriculum Vitae

Profile

I enjoy building tools that improve the daily workflow of developers, designers, and engineers. I want to work with a first-class team and collaborate with the open source community to improve the applications people build by advancing the state of the art in compilers, visual editors, IDEs, and other tooling.

Modern computing is far too rigid. Applications can only function in preset ways determined by some far away team. I am currently exploring how to make programs more malleable and computing more humane so that anyone can reshape, extend, compose, and share new functionality in ways that were never anticipated or planned for. I hope to restore some of the magic that mainstream computing has forgotten and give people more power to create the computing environment that works for them.

Projects
LLVM May 2019 – Present
C++ patches
  • Exploring formal semantics for debugging info
Firefox February 2013 – Present
Rust, JavaScript, C++ patches
  • Added numerous features to the Firefox Developer Tools
  • Rewrote portions of Firefox CSS engine in Rust enabling large performance gains from concurrency while preserving memory safety
  • Led Spectre attack mitigation efforts for Firefox Developer Tools
  • Leveraged Rust CSS engine in Firefox Developer Tools via WebAssembly
  • Built new tools to simplify responsive web design for designers and developers
  • Improved Firefox’s integration with OS features like text shortcuts
Experience
Senior Software Engineer December 2018 – Present
New Vector / JavaScript, Rust, Go Austin, USA & London, UK
  • Building open, decentralized, secure communications for all via Matrix
  • Planning delivery with product team to ship high quality features on time
  • Working with the community to gather feedback on features and issues
M.Sc. Student Researcher August 2018 – November 2018
EPFL, Dependable Systems Lab Lausanne, Switzerland
  • Explored correctness of VPN software through symbolic execution and formal verification using KLEE, Z3, and LLVM in cooperation with Prof. George Candea’s lab
  • Took courses in decentralized systems, concurrent algorithms, and machine learning
Staff Software Engineer July 2015 – July 2018
Mozilla / Rust, JavaScript, C++ Chicago, USA
  • Lead engineer for Firefox Developer Tools team
  • Rewrote portions of Firefox CSS engine in Rust enabling large performance gains from concurrency while preserving memory safety
  • Led Spectre attack mitigation efforts for Firefox Developer Tools
  • Leveraged Rust CSS engine in Firefox Developer Tools via WebAssembly
  • Built new tools to simplify responsive web design for designers and developers
  • Mentored junior developers on the team to improve their skills
Senior Software Engineer August 2013 – July 2015
Mozilla / JavaScript, C++ Austin & Chicago, USA
  • Lead engineer for Firefox mobile web developer tools
  • Simplified mobile debugging using WiFi connections instead of USB cables
  • Guided other team members on compatibility support between devices
Senior Engineer / Engineering Lead April 2012 – August 2013
Mass Relevance / JavaScript, Ruby Austin, USA
  • Lead engineer for client-configurable social visualization platform
  • Improved flexibility of client-side code drastically via tools like RequireJS and Grunt
  • Rebuilt visualizations for best UX across the device spectrum
  • Created a tool to demo our visualizations on the websites of prospective clients
Senior Software Engineer April 2011 – March 2012
Bazaarvoice / Java, JavaScript Austin, USA
  • Lead engineer for the end user UI to display and submit user-generated content (UGC)
  • Led organization-wide effort to reduce release cycle to two weeks
  • Redesigned media submission flow to support multiple data centers
  • Created virtualized UI support to simplify testing of simultaneous client changes
  • Mentored new team members to distribute technical knowledge and improve their skill set
  • Implemented GWT UI and back end allowing client change deployment at any time
  • Acted as Agile scrum master for the team
Associate Software Engineer June 2009 – April 2011
Bazaarvoice / Java, JavaScript Austin, USA
  • Built a variety of new features for our end user UI from the database layer all the way up to HTML and JavaScript on the client
  • Implemented code search and cross referencing tool for our entire code base in spare time
  • Balanced feature flexibility against impact to Client Services organization
  • Built data generation tools to reduce testing time
  • Enhanced search i18n through customization of Solr
Implementation Engineer January 2009 – June 2009
Bazaarvoice / JavaScript, CSS Austin, USA
  • Responsible for all technical aspects of client’s implementation of end user UGC UI
  • Configured features and customized design (HTML, CSS, Tapestry, FreeMarker) to match client requirements
  • Supported clients with any issues they encountered during implementation
Software Engineering Intern May 2008 – August 2008
National Instruments / C++, C Austin, USA
Undergrad Researcher May 2006 – May 2008
Rice University, Wireless Sensor Networks group Houston, USA
  • Designed communication API to provide a unified interface for any application
  • Implemented data compression using wavelets on nodes
  • Created reference implementation of networking API
  • Built numerous tools to simplify sensor network research
Education
Professional M. in Electrical Engineering January 2009
Rice University Houston, USA
B.S. in Electrical Engineering May 2008
Rice University Houston, USA
Refereed Papers
Just Fuzz It: Solving Floating-Point Constraints using Coverage-Guided Fuzzing ESEC/FSE 2019
Daniel Liew, Cristian Cadar, Alastair Donaldson, J. Ryan Stinnett Tallinn, Estonia
Technical Reports
The COMPASS Multihop Framework for TinyOS November 2007
J. Ryan Stinnett Houston, USA
Distributed Wavelet Transform for Wireless Sensor Networks: TinyOS Implementation August 2007
J. Ryan Stinnett Houston, USA
A Network Application Programming Interface for Data Processing in Sensor Networks January 2007
Raymond Wagner, J. Ryan Stinnett, Marco Duarte, Richard Baraniuk, David B. Johnson, T. S. Eugene Ng Houston, USA
A Network API-Driven Survey of Communication Requirements of Distributed Data Processing Algorithms for Sensor Networks November 2006
Raymond Wagner, Marco Duarte, J. Ryan Stinnett, T. S. Eugene Ng, David B. Johnson, Richard Baraniuk Houston, USA
Achievements and Honors
Quarterly Achievement-based Bonus, Mozilla August 2013 – July 2018
Various Achievement Awards, Bazaarvoice 2009 – 2012
W. L. Moody, Jr. Scholarship Fall 2006 – Spring 2007
Chair, Rice Honor Council March 2007 – March 2008
Rice President’s Honor Roll Fall 2004, Fall 2005, Fall 2007
National Merit Scholarship Fall 2004 – Spring 2008