Robert Ennals Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer: SharC: checking data sharing strategies for multithreaded C. PLDI 2008: 149-158
2007
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals, David Gay: Multi-language Synchronization. ESOP 2007: 475-489
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals, David Gay: User-friendly functional programming for web mashups. ICFP 2007: 223-234
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gay, Robert Ennals, Eric A. Brewer: Safe manual memory management. ISMM 2007: 2-14
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals, Minos N. Garofalakis: MashMaker: mashups for the masses. SIGMOD Conference 2007: 1116-1118
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFeng 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals, Richard Sharp, Alan Mycroft: Task Partitioning for Multi-core Network Processors. CC 2005: 76-90
2004
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals, Richard Sharp, Alan Mycroft: Linear Types for Packet Processing. ESOP 2004: 204-218
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals, Simon L. Peyton Jones: Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. ICFP 2003: 287-298
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals, Simon L. Peyton Jones: Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. SIGPLAN Notices 38(9): 287-298 (2003)
1998
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals: Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. ICFP 1998: 339
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Ennals: Verbose Typing. ICFP 1998: 340

Coauthor Index

1Zachary R. Anderson [7] [13]
2Ilya Bagrak [7]
3Eric A. Brewer [7] [8] [10] [13]
4Jeremy Condit [7]
5Prashant Gandhi [8]
6Minos N. Garofalakis [8] [9]
7David Gay [10] [11] [12] [13]
8Matthew Harren [7]
9Simon L. Peyton Jones [3] [4]
10Alan Mycroft [5] [6]
11George C. Necula [7]
12Michael Shadle [8]
13Richard Sharp [5] [6]
14Feng Zhou [7]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)