Collaborative learning in an operating systems course: an experience report | IEEE Conference Publication | IEEE Xplore