Advancing Software Reliability From Code To Compilation