Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. - Robert Ennals (ICFP, 1998)

Verbose Typing. - Robert Ennals (ICFP, 1998)

HsDebug: debugging lazy programs by not being lazy. - Robert Ennals; Simon L. Peyton Jones (Haskell, 2003)

Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. - Robert Ennals; Simon L. Peyton Jones (ICFP, 2003)

Linear Types for Packet Processing. - Robert Ennals; Richard Sharp; Alan Mycroft (ESOP, 2004)

Adaptive evaluation of non-strict programs. - Robert Ennals (2004)

Task Partitioning for Multi-core Network Processors. - Robert Ennals; Richard Sharp; Alan Mycroft (CC, 2005)

SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. - Feng Zhou; Jeremy Condit; Zachary R. Anderson; Ilya Bagrak; Robert Ennals; Matthew Harren; George C. Necula; Eric A. Brewer (OSDI, 2006)

Multi-language Synchronization. - Robert Ennals; David Gay (ESOP, 2007)

Beyond Bug-Finding: Sound Program Analysis for Linux. - Zachary R. Anderson; Eric A. Brewer; Jeremy Condit; Robert Ennals; David Gay; Matthew Harren; George C. Necula; Feng Zhou (HotOS, 2007)

User-friendly functional programming for web mashups. - Robert Ennals; David Gay (ICFP, 2007)

Safe manual memory management. - David Gay; Robert Ennals; Eric A. Brewer (ISMM, 2007)

MashMaker: mashups for the masses. - Robert Ennals; Minos N. Garofalakis (SIGMOD Conference, 2007)

Intel Mash Maker: join the web. - Robert Ennals; Eric A. Brewer; Minos N. Garofalakis; Michael Shadle; Prashant Gandhi (SIGMOD Rec., 2007)

SharC: checking data sharing strategies for multithreaded C. - Zachary R. Anderson; David Gay; Robert Ennals; Eric A. Brewer (PLDI, 2008)