John Mcenerney Email & Phone Number

Greater Boston Area

Designed, developed, tuned, and maintained diverse components of Veracode's flagship Binary Decompilation and Static Analysis engine. Contributions include:- speed improvements to make the analyzer more amenable to DevOps processes- transformation of unstructured control-flow graphs to structured statements- dataflow analyses: variable splitting/merging, expression forwarding, value range analysis- tree transformations: expression simplification, idiom recognition- buffer overflow analysis using path tracing and an SMT solver- enhancing the taint analysis framework for dynamic languages like Javascript and Groovy- importing of ASTs from external parsers for Javascript and Typescript- modeling of the semantics of Javascript and Typescript and popular frameworks- a tool for automating the generation of instruction decoders from an RTL input- decoding of Dalvik, Ruby VM, ARM64, and x86/SSE instructions- transformation of Groovy-generated JVM bytecodes into an analyzable form- transformation of Dart-generated ASTs into an analyzable form- a parser for VBScript / Classic ASP- a prototype parser and semantic analyser for COBOL- a C++ source code analyzer derived from the EDG parser

Austin, Texas Area

Spearheaded the successful retargeting of the Open64 compiler framework to the 32-bit Hexagon DSP. Implemented most of the target-specific portions of the compiler including the target machine description, instruction selection, and tuning of the scheduler, local and global optimizers, and register allocators. Enhanced the Open64 framework to support 32-bit architectures and register allocation of adjacent pairs.

Austin, Texas Area

Contributed to the design and documentation of Coherent Logix' HyperX parallel DSP microprocessor.Implemented a macro assembler for the programmable DSP core in the Silicon Laboratories Si47xx FM radio ICs.Implemented an lcc-based C compiler for Conformative Systems' custom microprocessor for XML/XSLT hardware acceleration, then employed the compiler to implement a complex runtime library.

Greater Seattle Area

Implemented the JVM bytecode generator for a proprietary Java compiler in Weblogic Workshop 8.1. Rewrote the machine-generated LALR parser as a hand-coded recursive descent parser for a 6X speed improvement. Added Java 1.5 language extensions to the compiler front-end and back-end.

Austin, Texas Area

Implemented the code generator, linker and runtime library for a C++ compiler for the ARM microprocessor. This compiler became the principal tool for building accelerated "armlets" for the first generation of ARM-based PalmOS devices.

Austin, Texas Area

Implemented a fast interpretive emulator for 68K instructions on an ARM microprocessor. Running on a 74MHz ARM7, it emulated instructions 20% faster than their native speed on a 20MHz Dragonball processor. This emulator became the principal mechanism for executing 3rd-party applications on the first generation of ARM-based PalmOS devices.Implemented a prototype ARM compiler using the Edison Design Group C++ front-end and a retargetable back-end framework from Apogee Software.Implemented an assembler and disassembler for ARM instructions.

Austin, Texas Area

Designed and implemented the PowerPC compiler back-end for Metrowerks CodeWarrior for Macintosh, including the code generator, machine-level global and local optimizers, instruction scheduler, register allocator, inline assembler, linker, and runtime libraries.Extended this work to form a common back-end architecture, including a flexible intermediate language, machine-level local and global optimizers, instruction scheduler, register allocator, ELF/DWARF generator, inline assembler, exception handler, and runtime libraries. Implemented a back-end for NEC V830/V850 using this architecture.Maintained and enhanced the common back-end as it was deployed on MIPS, Hitachi SH, MCore, and assorted Motorola DSPs.

Greater Boston Area

Managed the Software Development and Quality Assurance departments of the Language Products division. Set group and individual objectives for 8 engineers and provided ongoing direction and feedback. Contributed to strategic planning for the entire division.Led the design and implementation of THINK Pascal versions 2.0 and 3.0, which added object-oriented language extensions, significant code-quality improvements, and extensive new interactive debugging features.Contributed to the design of THINK C 5.0, which included a direct-executable LALR parser, a global optimizer based on structured dataflow analysis, and an incremental linker.

Greater Boston Area

Conceived, designed, and co-implemented THINK Pascal, the first Macintosh compiler to include an integrated development environment and source-level debugger. Implemented syntax and semantic analyses, code generator, incremental linker, and runtime loader.

Naugatuck, Ct

Contributed to the design and implementation of system software for an 80186-based distributed telemetry and process control system, including communications APIs, alarm reporting, and operator console UI.