section .web
_intro:

Kevin Gleason.

Language Designer. Compiler Engineer. Security Enthusiast.

I'm a Software Engineer specializing in Compiler Front-Ends, IR design, and Static Analysis. I'm currently the StableHLO Tech Lead @ Google, using MLIR to simplify and accelerate AI/ML programs in the open source.

01101011 01100101 01110110 01101001 01101110
0K101011 01E00101 011V0110 0110I001 01101N10
01100111 01101100 01100101 01100001 01110011 01101111 01101110
0G100111 01L01100 011E0101 0110A001 01110S11 011011O1 0110111N

_about:

About Me.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

Currently, I’m a ML Compiler Engineer at Google. I lead the StableHLO team, providing an OSS unified opset for AI/ML frameworks and compilers.

In my free time, I enjoy keeping up with security trends, repairing tech, and I am a coach for Northeastern University Women’s Club Soccer - Go Huskies!

Language Skills

  • Compiler Front-Ends
  • Language Design
  • AST Transformations
  • Static Analysis

Tech Stack

  • C / C++ (C++17)
  • MATLAB / Python / JS
  • Go / Java
  • F# / OCaml
798 527

_experience:

Experience.

Compiler Front-End, Engineer III

@MathWorks
2016 - 2022
  • Language Design
  • AST Transformations
  • Security / IP Protection
  • Management / Leadership
  • Analyzed customer pain points regarding functions in MATLAB and proposed language design direction to enable more users to complete function authoring and higher-order function workflows.
  • On core design teams for MATLAB language features: Function Argument Validation, Hex and Binary Literals, Name=Value Syntax.
  • Designed & led UX tests to craft data-driven designs.
  • Prototyped language proposals using AST Transformations: For-each loops, function decorators, template literals, and more.
  • Created and maintained Static Analysis Toolkit; Used to assess compatibility impact of design choices, and analyze usage patterns to propose enhancements.
  • Lead dev for Function Argument Validation feature; AST transformations to provide interface-boundary dynamic type checking.
  • Part of design team for IP Protected code files to provide means of protecting IP in shared code files; Performed common DLL analysis techniques to qualify design security and implementation.
  • Reverse engineered Secure MATLAB archives using static and dynamic methods, including Ghidra, API Monitor, gdb, and linux kernel traces; Provided write up to demonstrate attack vectors.
  • Supported many cross-functional projects: Modified Condition/Decision Coverage report generation, AST-based MATLAB to C++ Code Generation, WebAssembly Compilation for MATLAB Online.
  • Mentor to several new hires in internal rotational program; Speaker at MathWorks Compiler Training to teach about execution pipeline and introduce the language department.

IoT Engineer

@PubNub
2015 - 2015
  • Created PubNub Android WebRTC SDK.
  • Enhanced SDKs for Android, Polymer, Go, JS WebRTC.
  • Wrote tutorials featured in Adafruit, JavaScript Weekly, Raspihub, Scotch.io, Engadget, Parse, +more.

_projects:

Projects.

01.

Android WebRTC Tutorial

A WebRTC library to quickly add video chatting to your apps.

view project
WebRTC Android PubNub
02.

MATLAB Function Argument Validation

Runtime argument validation at interface boundaries.

view project
C++ MATLAB

_contact:

say hello!


Want to chat?

Feel free to email me or connect with me on LinkedIn!