Tianjin University Compilation Principles