| 2008 |
|---|
| 12 | EE | Zachary R. Anderson,
David Gay,
Robert Ennals,
Eric A. Brewer:
SharC: checking data sharing strategies for multithreaded C.
PLDI 2008: 149-158 |
| 2007 |
|---|
| 11 | EE | Robert Ennals,
David Gay:
Multi-language Synchronization.
ESOP 2007: 475-489 |
| 10 | EE | Robert Ennals,
David Gay:
User-friendly functional programming for web mashups.
ICFP 2007: 223-234 |
| 9 | EE | David Gay,
Robert Ennals,
Eric A. Brewer:
Safe manual memory management.
ISMM 2007: 2-14 |
| 8 | EE | Robert Ennals,
Minos N. Garofalakis:
MashMaker: mashups for the masses.
SIGMOD Conference 2007: 1116-1118 |
| 7 | EE | Robert Ennals,
Eric A. Brewer,
Minos N. Garofalakis,
Michael Shadle,
Prashant Gandhi:
Intel Mash Maker: join the web.
SIGMOD Record 36(4): 27-33 (2007) |
| 2006 |
|---|
| 6 | EE | Feng Zhou,
Jeremy Condit,
Zachary R. Anderson,
Ilya Bagrak,
Robert Ennals,
Matthew Harren,
George C. Necula,
Eric A. Brewer:
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.
OSDI 2006: 45-60 |
| 2005 |
|---|
| 5 | EE | Robert Ennals,
Richard Sharp,
Alan Mycroft:
Task Partitioning for Multi-core Network Processors.
CC 2005: 76-90 |
| 2004 |
|---|
| 4 | EE | Robert Ennals,
Richard Sharp,
Alan Mycroft:
Linear Types for Packet Processing.
ESOP 2004: 204-218 |
| 2003 |
|---|
| 3 | EE | Robert Ennals,
Simon L. Peyton Jones:
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.
ICFP 2003: 287-298 |
| 1998 |
|---|
| 2 | EE | Robert Ennals:
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.
ICFP 1998: 339 |
| 1 | EE | Robert Ennals:
Verbose Typing.
ICFP 1998: 340 |
