Lead developer for Silver, a programming language for modular compiler and language tool implementation, based on attribute grammar and functional paradigms.Developed various tooling for Silver, such as an LSP language server and VS Code plugin, and continuous integration with Jenkins.Primary maintainer for ableC, an extensible C11 compiler frontend in Silver.Developed extensions to C adding algebraic data types/pattern matching, Prolog-style relations and queries, term rewriting, lambda closures, templates, Halide-inspired specification of optimizing transformations on iterating constructs, and operator overloading.

Helping make faster chips for LLMs.

Member of the Codey team, focused on using AI to assist developers using large language models tailored for coding tasks.

Trying out crazy new ideas, shooting for a 10x impact on some of the world's toughest problems

Developed a more flexible means of specifying optimization passes in the TensorFlow compiler back-end.

Contributing to the Bluespec open-source hardware description language.Designing and building features for generic programming, allowing for the removal of large amounts of boilerplate.Implemented several long-standing feature requests, improving consistency in language semantics.

Contributing to the development of a student-built liquid propellant rocket to eventually reach spaceLed the development of a wireless telemetry and command system, including new software to interface to the telemetry hardware, also performing real-time visualization of incoming data and providing a command interfaceDeveloped embedded software to provide remote telemetry for flight and ground testsCreating a fully automated control system for performing ground static test firingsDesigning a Hardware-In-the-Loop simulator for testing avionics hardware and software

Developed a constraint modelling language based on OCL, to enable more flexibility in Cloud data center planning. Assisted in language design and implementation, including native support for protocol buffer messages, allowing easy integration with existing tools and services.

Developed a tool to manage dependencies for complex Verilog projects.

Developed control logic on an embedded platform utilizing C and Quantum Platform state machinesDesigned and implemented a graphical Python tool for testing & debugging communications between avionics componentsImplemented message encoding and decoding for communication with third-party hardwareUtilized an embedded version of Protocol Buffers to generate messaging code for internal communicationsContributed to the development of a Hardware-In-the-Loop/Processor-In-the-Loop simulation for integrated testing