Approximate Principal Direction Trees. - Mark McCartin-Lim; Andrew McGregor 001; Rui Wang 003 (ICML, 2012)

Complexity Tutor: Developing an Interactive Tutoring System for Computational Complexity (Abstract Only). - Mark McCartin-Lim (SIGCSE, 2016)

Connect the Dots to Prove It: A Novel Way to Learn Proof Construction. - Mark McCartin-Lim; Beverly P. Woolf; Andrew McGregor 001 (SIGCSE, 2018)