Robert Ennals

15 papers A* 2A 7B 1C 2Journal 1Unranked 1
YearRankTypeTitle / Venue / Authors
2008 A* conf
SharC: checking data sharing strategies for multithreaded C.
PLDI
Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer
2007 A conf
Beyond Bug-Finding: Sound Program Analysis for Linux.
HotOS
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou
2007 J jnl
Intel Mash Maker: join the web.
SIGMOD Rec.
Robert Ennals, Eric A. Brewer, Minos N. Garofalakis, Michael Shadle, Prashant Gandhi
2007 — conf
MashMaker: mashups for the masses.
SIGMOD Conference
Robert Ennals, Minos N. Garofalakis
2007 A conf
Multi-language Synchronization.
ESOP
Robert Ennals, David Gay
2007 C conf
Safe manual memory management.
ISMM
David Gay, Robert Ennals, Eric A. Brewer
2007 A conf
User-friendly functional programming for web mashups.
ICFP
Robert Ennals, David Gay
2006 A* conf
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.
OSDI
Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer
2005 B conf
Task Partitioning for Multi-core Network Processors.
CC
Robert Ennals, Richard Sharp, Alan Mycroft
2004 — —
Adaptive evaluation of non-strict programs.
Robert Ennals
2004 A conf
Linear Types for Packet Processing.
ESOP
Robert Ennals, Richard Sharp, Alan Mycroft
2003 C conf
HsDebug: debugging lazy programs by not being lazy.
Haskell
Robert Ennals, Simon L. Peyton Jones
2003 A conf
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.
ICFP
Robert Ennals, Simon L. Peyton Jones
1998 A conf
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.
ICFP
Robert Ennals
1998 A conf
Verbose Typing.
ICFP
Robert Ennals