Experiences With Auto-Grading in a Systems Course | IEEE Conference Publication | IEEE Xplore