Mark Greeley

Mark Greeley Email and Phone Number

Senior Software Designer at TASKING @ TASKING
bayern, bavaria, germany
Mark Greeley's Location
Boston, Massachusetts, United States, United States
Mark Greeley's Contact Details
About Mark Greeley

Excels at design and implementation of complex software systems. Delivers robust, efficient, and maintainable software under deadline pressure. Current in latest developments in compiler technology. Experienced in developing software under Linux and Windows, using C++, C, Python, and various assembly languages. Working knowledge of MySQL, HBase, git, VHDL and Coq. Excellent oral and written communication skills.Email: mjg@markgreeley.com

Mark Greeley's Current Company Details
TASKING

Tasking

View
Senior Software Designer at TASKING
bayern, bavaria, germany
Website:
tasking.com
Employees:
16
Mark Greeley Work Experience Details
  • Tasking
    Senior Software Designer
    Tasking 2021 - Present
    Amersfoort, Utrecht, Netherlands (Remote)
    Compiler design and implementation.
    View
  • Datto, Inc.
    Software Engineer
    Datto, Inc. 2017 - 2020
    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.
    View
  • Altium
    Senior Software Designer
    Altium 1997 - 2016
    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.
    View
  • Liant Software
    Principal Software Engineer
    Liant Software 1989 - 1997
    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.

Mark Greeley Skills

Software Engineering Embedded Software Software Development C++ C Embedded Systems Debugging Software Design Unix Linux Firmware Oop Python Coq Compilers Compiler Construction Compiler Optimization Programming Php Mysql

Frequently Asked Questions about Mark Greeley

What company does Mark Greeley work for?

Mark Greeley works for Tasking

What is Mark Greeley's role at the current company?

Mark Greeley's current role is Senior Software Designer at TASKING.

What is Mark Greeley's email address?

Mark Greeley's email address is mg****@****tto.com

What skills is Mark Greeley known for?

Mark Greeley has skills like Software Engineering, Embedded Software, Software Development, C++, C, Embedded Systems, Debugging, Software Design, Unix, Linux, Firmware, Oop.

Who are Mark Greeley's colleagues?

Mark Greeley's colleagues are Markus Krahl, Fabian Gimmler, Mohamed Zuhair, Shrey Sharma, Özer Çolak, Žan Krajnc, Rafael Egea Birriel.

Not the Mark Greeley you were looking for?

  • Mark Greeley

    Mark Greeley
    Senior Manager Of Solution Engineering & Design At Fluentstream
    Reston, Va
    2
    gphone.com, gmail.com

    10 +170322XXXXX

  • Mark Greeley

    Mark Greeley
    Would You Like To Increase Your Profits?
    Greater Savannah Area
  • Mark Greeley

    Mark Greeley
    Trainer At General Dynamics Information Technology
    Jacksonville, Fl
    3
    aol.com, gmail.com, fanatics.com

    9 +190465XXXXX

  • Mark Greeley

    Mark Greeley
    Engineering Manager At Gt Technologies
    Tallahassee, Fl
    2
    gentek-global.com, gttechnologies.com
View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.