| 2015 | ICSE | Code Hunt: Experience with Coding Contests at Scale. | Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2015 | ICSE | Crowdsourcing Code and Process via Code Hunt. | Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux |
| 2015 | ISSTA | Experience with constructing code hunt contests. | R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann |
| 2014 | AINA | MARD: A Framework for Metamorphic Malware Analysis and Real-Time Detection. | Shahid Alam, R. Nigel Horspool, Issa Traor |
| 2014 | ICSE | Code hunt: searching for secret code for fun. | Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie |
| 2013 | SIN | MAIL: Malware Analysis Intermediate Language: a step towards automating and optimizing malware detection. | Shahid Alam, R. Nigel Horspool, Issa Traor |
| 2011 | PLOP | HiLPR: pretty pictures for pretty complicated (parallel) patterns. | Donna Kaminskyj Long, Celina Gibbs, R. Nigel Horspool, Yvonne Coady |
| 2006 | SEW | Cross-Platform Development: Software that Lasts. | Judith Bishop, R. Nigel Horspool |
| 2005 | SCAM | Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions. | Nerina Bermudo, Andreas Krall, R. Nigel Horspool |
| 2004 | SIGCSE | Developing principles of GUI programming using views. | Judith Bishop, R. Nigel Horspool |
| 2003 | EuroPar | Partial Redundancy Elimination with Predication Techniques. | Bernhard Scholz, Eduard Mehofer, R. Nigel Horspool |
| 2002 | IDEAL | Expeditious XML Processing. | Kelvin Yeow, R. Nigel Horspool, Michael R. Levy |
| 2001 | CC | Directly-Executable Earley Parsing. | John Aycock, R. Nigel Horspool |
| 2000 | CC | Simple Generation of Static Single-Assignment Form. | John Aycock, R. Nigel Horspool |
| 1999 | CC | Faster Generalized LR Parsing. | John Aycock, R. Nigel Horspool |
| 1997 | ECOOP | Near Optimal Hierarchical Encoding of Types. | Andreas Krall, Jan Vitek, R. Nigel Horspool |
| 1997 | OOPSLA | Efficient Type Inclusion Tests. | Jan Vitek, R. Nigel Horspool, Andreas Krall |
| 1996 | CC | A Faster Earley Parser. | Philippe McLean, R. Nigel Horspool |
| 1996 | CC | Compact Dispatch Tables for Dynamically Typed Object Oriented Languages. | Jan Vitek, R. Nigel Horspool |
| 1995 | DCC | The Effect of Non-Greedy Parsing in Ziv-Lempel Compression Methods. | R. Nigel Horspool |
| 1994 | CBMS | An LZ approach to ECG compression. | R. Nigel Horspool, Warren J. Windels |
| 1994 | CC | Flow Grammars - a Flow Analysis Methodology. | James S. Uhl, R. Nigel Horspool |
| 1994 | ECOOP | Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages. | Jan Vitek, R. Nigel Horspool |
| 1992 | CC | Compile-Time Analysis of Object-Oriented Programs. | Jan Vitek, R. Nigel Horspool, James S. Uhl |
| 1992 | DCC | Constructing Word-Based Text Compression Algorithms. | R. Nigel Horspool, Gordon V. Cormack |
| 1991 | DCC | Improving LZW. | R. Nigel Horspool |
| 1990 | CC | Recursive Ascent-Descent Parsers. | R. Nigel Horspool |
| 1988 | CC | ILALR: An Incremental Generator of LALR(1) Parsers. | R. Nigel Horspool |
| 1978 | ARITH | Exact arithmetic using a variable-length P-ADIC representation. | R. Nigel Horspool, Eric C. R. Hehner |