National University of Singapore, 13 Computing Drive, Singapore 117417. donnysoh@gmail.com|National University of Singapore, 13 Computing Drive, Singapore 117417. donnysoh@gmail.com|National University of Singapore, 13 Computing Drive, Singapore 117417. donnysoh@gmail.com|National University of Singapore, 13 Computing Drive, Singapore 117417. donnysoh@gmail.com