Examples of work in this field includes post-link-time code transformation algorithm development and new operating system development.
Engineers in this field develop new operating system architecture, program analysis techniques, and new techniques to assure quality.