Mark Greeley Email & Phone Number

Amersfoort, Utrecht, Netherlands (Remote)

Compiler design and implementation.

Boston, Ma

► Developed prototype integrating GraphQL with an existing internal query language.► Develop and maintain full-stack web applications using PHP (including Symfony), Javascript, Typescript, CSS, and MySQL.

Dedham, Ma And Amersfoort, Netherlands

Proposed, designed, and led implementation of a completely new retargetable code generator for the TASKING compiler family. The resulting “Viper” compilers produce markedly more efficient code, run faster, and are far more reliable than their predecessors. This technology has been used to create compilers for more than 10 architectures, including 8-, 16-, 32-, and 64-bit processors and two VLIW digital signal processors. Domain-specific languages provide extensive error checking as the compiler is built and allow description-based support for multiple processor variants within one compiler. Viper compilers are now in use by thousands of developers of embedded software. ► Designed and implemented several compiler features in Viper, including: - Domain-specific languages for information management (including target description), instruction selection, and peephole optimization - Loop optimizations - Description-based instruction selection - Register allocation with support for irregular register sets - Software pipelining - Description-based machine-code optimization - Vectorizing - Shrink wrapping► Created a prototype in Coq of a formally verified validator for a register allocator. ► Designed and implemented parts of a C-to-VHDL compiler.► Improved and maintained Altium's VHDL synthesizer, significantly increasing the performance of generated circuits.► Designed and led implementation of a prototype product which accelerates user code by discovering useful application-specific machine instructions, using them during compilation, and creating VHDL code to implement them in the context of an FPGA-based processor.► Implemented a prototype interface to HBase for MySQL.► Participated in the design of a database product to support customer applications using the Internet of Things.► Conducted presentations to colleagues on matters of technical interest.

Framingham, Ma

► Substantially enhanced existing compilers by improving compilation speed and quality of generated code.► Designed and implemented a description-based instruction selector, creating versions for a number of processors. ► Designed and implemented a description-based scheduler.► Proposed, specified, and implemented a prototype product for extracting business logic from users' legacy applications.