Jon Rafkind

Fremont, CA | (617) 470 4281 | jon@rafkind.com

Education

  Ph.D in Computer Science

    University of Utah, Salt Lake City, UT 2007-2013

    GPA: 3.976

    Advisor: Matthew Flatt

    Research Area: Languages and systems

    Courses: Formal verification, Operating Systems, Compilers

    Dissertation: Syntactic Extension for Languages with Implicitly Delimited and Infix Syntax

  Bachelor of Science in Computer Science

    Northeastern University, Boston MA 2001-2005

    College of Computer and Information Science

Github profile: https://github.com/kazzmir

Work Experience

  HeadSpin 4/2017 - 7/2024

    VP of Engineering

• Played a key role in building the engineering team and the software platform
• Designed, built, and maintained services that enable global customers to gain insights into their mobile applications using our globally distributed device cloud
• Researched patent-pending technologies that facilitate the capture and analysis of data from mobile devices, including android and iOS

  HPE 6/2013 -­ 4/2017

    Senior Software Engineer VI (Expert) with the Fortify group

• Implement and maintain compilers for popular languages to a custom target, for the purpose of static analysis, including: Java 8, Ruby, JSP, Swift, C#, VB. Implementation languages include Java, C++, and C#.
• Oversee the design and implementation by other compiler team members
• Implemented a Java byte code decompiler to our custom target

Sun Microsystems 5/2008 ­- 8/2008

  Internship at the Programming Languages group

• Implemented syntactic macros and a hygienic system for the Fortress language

Citigroup Corporate and Investment Bank 2004 -­ 2007

  Analytics Library Framework ­ Software Engineer

• Exposed C++ analytics libraries to Java clients via JNI (Java Native Interface)
• Implemented and improved code that performs analytics on financial bonds
• Aided in transition from Solaris 8 to a Linux environment for multiple projects
• Encouraged informal code reviews by integrating CVSspam with the source repository
• Automated daily unit testing of current source tree
• Utillized open source projects such as Apache Ant, Scons, Checkstyle, MySQL to improve software quality

EMC 2003 -­ 2004

  PowerPath ­- Quality Assurance

• Automated testing of storage failover software with a combination of C programs, perl and shell scripts
• Ensured software compatibility in Solaris with various hardware
• Significantly reduced turnaround time of the team by encouraging automated testing

Publications

Honu: Syntactic Extension for Algebraic Notation through Enforestation. Rafkind, Flatt. GPCE 2012

Run Your Research: On the Effectiveness of Lightweight Mechanization, Klein, Clements, Dimoulas, Eastlund, Felleisen, Flatt, McCarthy, Rafkind, Tobin-Hochstadt, POPL 2012

Growing a Syntax. Allen, Culpepper, Neilsen, Rafkind, Ryu. FOOL 2009

Precise Garbage Collection for C. Rafkind, Wick, Regehr, Flatt. ISMM 2009

Other Interests

 Racquetball

 Lacrosse

 Violin

 Martial Arts ­ 2nd Dan in Tae Kwon Doe