J. Ryan Stinnett

A Convolution of Software and Electronics

Curriculum Vitae

Profile

I believe security is both a fundamental right and also our biggest challenge in today’s computing environment. Tools like KLEE, S²E, and angr which allow analysis of binaries are an important path forward. I want to push the boundary of what’s possible through new research and open source tools that apply techniques like symbolic execution, fuzzing, and formal verification to large-scale systems that people interact with every day.

Education
M.Sc. in Computer Science Autumn 2018 – Present
École polytechnique fédérale de Lausanne (EPFL) Lausanne, Switzerland
Professional M. in Electrical Engineering (3.83 / 4.0) January 2009
Rice University Houston, USA
B.S. in Electrical Engineering (3.67 / 4.0) May 2008
Rice University Houston, USA
Industry Experience
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
Associate Software Engineer June 2009 – April 2011
Bazaarvoice / Java, JavaScript Austin, USA
Implementation Engineer January 2009 – June 2009
Bazaarvoice / JavaScript, CSS Austin, USA
Software Engineering Intern May 2008 – August 2008
National Instruments / C++, C Austin, USA
Research Experience
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
Manuscripts in Progress

Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett, “JFS: Solving floating-point constraints using coverage-guided fuzzing,” to be submitted, 2018.

Publications

J. Ryan Stinnett, “The COMPASS multihop framework for TinyOS,” Technical Report, Rice University, Nov. 2007. report code

J. Ryan Stinnett, “Distributed Wavelet Transform for Wireless Sensor Networks: TinyOS Implementation,” Technical Report, Rice University, Aug. 2007. report code

Raymond Wagner, J. Ryan Stinnett, Marco Duarte, Richard Baraniuk, David B. Johnson, T. S. Eugene Ng, “A Network Application Programming Interface for Data Processing in Sensor Networks,” Technical Report TREE-0705, Rice University, Jan. 2007. report

Raymond Wagner, Marco Duarte, J. Ryan Stinnett, T. S. Eugene Ng, David B. Johnson, Richard Baraniuk, “A Network API-Driven Survey of Communication Requirements of Distributed Data Processing Algorithms for Sensor Networks,” Technical Report, Rice University, Nov. 2006. report

Achievements and Honors
Quarterly Achievement-based Bonus, Mozilla August 2013 – July 2018
Various Achievement Awards, Bazaarvoice 2009 – 2012
W. L. Moody, Jr. Scholarship Autumn 2006 – Spring 2007
Chair, Rice Honor Council March 2007 – March 2008
Rice President’s Honor Roll Autumn 2004, Autumn 2005, Autumn 2007
National Merit Scholarship Autumn 2004 – Spring 2008