System Software and Compiler Design