Michael Devine

Internal Tools Developer

Designed and built applications and libraries for internal use.

• Developed and maintained Facebook Messages, the company's integrated mail and chat system as part of a team.
• Designed and built component-oriented libraries for internal tools. The loosely-coupled and flexible nature of the designed allowed for use in several different applications with minimal additional work, increasing adoption and decreasing development time.
• Managed an intern to successful completion of a significant summer project. I also was responsible for mentoring the intern's technical work.

Senior Associate: Software Application Development

Designed and implemented software solutions for internal and external clients. Oversaw efforts of other technical and non-technical staff to keep projects running smoothly.

• Prinicpal designer, developer, administrator, and project manager of a user trial web application for a Fortune 100 technology company. The application consists of defect tracking, online survey, and tester recruiting tools. The site is used by the client for late-development stage user-acceptance trials as a pre-condition for product launch.
• Advised other project teams during schedule estimation phase. The bottom-up estimation techniques introduced led to a more realistic and defendable schedule.
• Developed end-to-end solutions for data collection and reporting using mobile data collection clients, and enterprise-level database and web reporting capabilities.
• Developed software libraries for use by internal web survey developers to improve developer productivity.

Virtual Machine Monitor Developer

Developed and maintained VMware's core virtualization technology as part of a team. Also designed and wrote test programs for use in regression testing

• Debugged and fixed critical defects reported by customers and in-house testers in shipping software
• Improved efficiency, executable size, and readablity of previously poorly-maintained code modules through code refactoring, optimization, and documentation
• Discovered incompatibilities in the floating point behavior of VMware's virtualization technology by developing specific white-box and black-box tests based on Intel floating point specifications

Software Reliability Engineer

Collaborated closely with design engineers to create test suites, models, and other programs to reduce implementation defects during the design and development of Transmeta's Efficeon processor and corresponding CMS (Code Morphing Software)

• Detected major defects early in the implementation phase of product by designing and implementing a randomized test suite for SSE and MMX (x86 vector instruction sets) functionality using existing in-house tools
• Identified and debugged several major defects in the RTL implementation of the processor's TLB by developing a suite of specification-based test cases
• Discovered and analyzed major defects in the system level design of the processor by designing and running test workloads on an FPGA Emulator
• Identified and prevented violations of the product's system architecture by writing plug-in modules for the in-house static program analysis tool. Added error visualization to HTML disassemblies for easier analysis by developers

Platform Quality Assurance Intern

Developed specification-based test cases to verify Palm OS implementation correctness. Also conceived, designed, and developed libraries for more rapid test development used by all team members.