A Comparison of Parallel Algorithms for Connected Components. - John Greiner (SPAA, 1994)

Parallelism in Sequential Functional Languages. - Guy E. Blelloch; John Greiner (FPCA, 1995)

A Provable Time and Space Efficient Implementation of NESL. - Guy E. Blelloch; John Greiner (ICFP, 1996)

Weak Polymorphism can be Sound. - John Greiner (J. Funct. Program., 1996)

A Provably Time-Efficient Parallel Implementation of Full Speculation. - John Greiner; Guy E. Blelloch (ACM Trans. Program. Lang. Syst., 1999)

Facilitating human interaction in an online programming course. - Joe Warren; Scott Rixner; John Greiner; Stephen Wong (SIGCSE, 2014)