Experience

Modular

• United States
• Software Development
• 1 - 100 Employee

• Software Engineer

  • Aug 2022 - Present

  I work in the intersection of the DL runtime and compiler. C++, MLIR, Deep Learning, Tensorflow, concurrency I work in the intersection of the DL runtime and compiler. C++, MLIR, Deep Learning, Tensorflow, concurrency



OctoML

• United States
• Software Development
• 1 - 100 Employee

• ML Compiler Engineer

  • Jul 2021 - Jul 2022

  ML Compiler Engineer, OctoML. I led the ‘CORE’ team responsible for development and maintenance of the TVM[0] front-end. This consists of the AST and passes around Relay[1] (resembling a functional language like OCaml), and some of the machinery responsible for lowering from Relay to TIR (resembling a Hallide[2]-like imperative tensor processing language). I’ve re-implemented device planning[3] for heterogeneous backend support. I’ve made extensive refactors to prepare for incremental lowering, with a view to tackling global layout and memory scope optimizations by flowing constraints between lowered kernels and the yet-to-be-lowered graph. I’ve since started the Collage[4] project to bring search and flexibility to partitioning and fusion, with particular emphasis on allowing global tuning to mix and match between libraries, 3rd party toolchains and TVM itself for partition/kernel implementations. C++, Python, Deep Learning, optimization, codegen. [0] https://github.com/apache/tvm [1] https://arxiv.org/pdf/1810.00952.pdf [2] https://github.com/apache/tvm/blob/main/src/relay/transforms/device_planner.cc [3] https://github.com/apache/tvm/blob/main/src/relay/transforms/device_planner.cc [4] https://github.com/apache/tvm-rfcs/blob/main/rfcs/0062-collage.md Show less



Google

• United States
• Software Development
• 700 & Above Employee

• Area Tech Lead (Senior Staff Software Engineer), Geo

  • Aug 2019 - Jun 2021

  I designed, prototyped, and led the productionization of a new routing coordination system to improve our support for ‘customized’ routing. The system is responsible for rewriting routing queries into an internal query plan, gathering candidate routes from multiple route generation backends, gathering annotations required to score the routes from multiple ML models, scoring, and final ranking. I also guided the design and implementation of a new service for enterprise customers to request custom routes for ride-share and delivery. I oversaw development across route generation, ranking and the various feedback loops by which we assess and improve routing quality. C++, microservices, routing algorithms. Show less

• Area Tech Lead (Staff Software Engineer), Geo

  • Dec 2016 - Jul 2019

  Designed and implemented a new telemetry, analysis and metrics system for Google Maps for Mobile. Helped feed analysis output back into product quality improvements for route selection. This system now actively detects and repairs maps issues which cause 'deviations' and other bad user outcomes. Managed a team which replaced heuristic guidance systems with ML models. C++, BigData, HMMs.

• IC (Staff Software Engineer), Cloud

  • Jul 2015 - Nov 2016

  Helped launch Google Cloud Dataflow, with focus on the streaming runtime. Established benchmark suites. Made many performance, concurrency, correctness and semantics improvements. Onboarded EAP customers. Helped transition SDK to an Apache 'Beam' project.Java, C++, Google Compute Engine. A little Spark, Flink and Scala for cross-comparing benchmarks.

• Tech Lead/Manager (Senior Software Engineer), Geo

  • Apr 2011 - Jul 2015

  Pioneered model-based data repair to improve geocoding and business listing locations. Built the pipeline which consumes auto-transcribed street numbers into the base map database. Built and managed a team of six engineers. Java, BigData, custom algorithms.



Sabbatical

• Seattle, Washington, United States

• Sabbatical

  • Jun 2016 - Nov 2016

  Took some time off to catch up on statistical programming, Bayesian statistics, ML, and work on my house. Took some time off to catch up on statistical programming, Bayesian statistics, ML, and work on my house.



Microsoft

• United States
• Software Development
• 700 & Above Employee

• Software Development Engineer, DevDiv

  • Aug 2010 - Mar 2011

  Worked on the new Chakra JavaScript engine in Internet Explorer 9. Wrote the new regular-expression engine. C++.

• Senior Developer, SQL

  • Jun 2007 - Aug 2010

  Built an optimizing compiler to transpile .Net IL to JavaScript, and implemented the corresponding runtime. Implemented updatable views on SQL backend via C# LINQ. C#, JavaScript.

• Program Manager, SQL

  • Jan 2006 - May 2007

  Prototyped a data modeling language combining relational and XSD concepts. OCaml.



Galois, Inc.

• United States
• Software Development
• 1 - 100 Employee

• Applied Research Scientist

  • Jul 2002 - Dec 2006

  Startup. Developed new consulting business with various defense clients. Multi-level security system design for verifiablity. Built a certifying compiler and its runtime for a domain specific language for block-cipher cryptographic algorithms on custom verified hardware. Haskell, OCaml, C. Startup. Developed new consulting business with various defense clients. Multi-level security system design for verifiablity. Built a certifying compiler and its runtime for a domain specific language for block-cipher cryptographic algorithms on custom verified hardware. Haskell, OCaml, C.