Robert Ennals

Publication Activity (10 Years)

Years Active: 1998-2008
Publications (10 Years): 0

Publications

Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer
SharC: checking data sharing strategies for multithreaded C. PLDI (2008)
David Gay, Robert Ennals, Eric A. Brewer
Safe manual memory management. ISMM (2007)
Robert Ennals, David Gay
Multi-language Synchronization. ESOP (2007)
Robert Ennals, Minos N. Garofalakis
MashMaker: mashups for the masses. SIGMOD Conference (2007)
Robert Ennals, Eric A. Brewer, Minos N. Garofalakis, Michael Shadle, Prashant Gandhi
Intel Mash Maker: join the web. SIGMOD Rec. 36 (4) (2007)
Robert Ennals, David Gay
User-friendly functional programming for web mashups. ICFP (2007)
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
Beyond Bug-Finding: Sound Program Analysis for Linux. HotOS (2007)
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)
Robert Ennals, Richard Sharp, Alan Mycroft
Task Partitioning for Multi-core Network Processors. CC (2005)
Robert Ennals, Richard Sharp, Alan Mycroft
Linear Types for Packet Processing. ESOP (2004)
Robert Ennals, Simon L. Peyton Jones
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. SIGPLAN Notices (2003)
Robert Ennals, Simon L. Peyton Jones
HsDebug: debugging lazy programs by not being lazy. Haskell (2003)
Robert Ennals, Simon L. Peyton Jones
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. ICFP (2003)
Robert Ennals
Verbose Typing. ICFP (1998)
Robert Ennals
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. ICFP (1998)