BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Germany
1 × Portugal
1 × Spain
1 × Sweden
1 × United Kingdom
3 × USA
Collaborated with:
D.Gay S.L.P.Jones E.A.Brewer R.Sharp A.Mycroft M.N.Garofalakis Z.R.Anderson F.Zhou J.Condit I.Bagrak M.Harren G.C.Necula
Talks about:
program (3) safe (3) strategi (2) languag (2) mashup (2) multi (2) evalu (2) debug (2) type (2) lazi (2)

Person: Robert Ennals

DBLP DBLP: Ennals:Robert

Contributed to:

PLDI 20082008
ESOP 20072007
ICFP 20072007
ISMM 20072007
SIGMOD 20072007
OSDI 20062006
CC 20052005
ESOP 20042004
ICFP 20032003
ICFP 19981998
Haskell 20032003

Wrote 12 papers:

PLDI-2008-AndersonGEB #c #named #parallel #thread
SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.
ESOP-2007-EnnalsG #multi
Multi-language Synchronization (RE, DG), pp. 475–489.
ICFP-2007-EnnalsG #functional #programming #web
User-friendly functional programming for web mashups (RE, DG), pp. 223–234.
ISMM-2007-GayEB #memory management
Safe manual memory management (DG, RE, EAB), pp. 2–14.
SIGMOD-2007-EnnalsG #named
MashMaker: mashups for the masses (RE, MNG), pp. 1116–1118.
OSDI-2006-ZhouCABEHNB #named #using
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques (FZ, JC, ZRA, IB, RE, MH, GCN, EAB), pp. 45–60.
CC-2005-EnnalsSM #clustering #manycore #network
Task Partitioning for Multi-core Network Processors (RE, RS, AM), pp. 76–90.
ESOP-2004-EnnalsSM #linear
Linear Types for Packet Processing (RE, RS, AM), pp. 204–218.
ICFP-2003-EnnalsJ #adaptation #evaluation #source code #strict
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs (RE, SLPJ), pp. 287–298.
ICFP-1998-Ennals #finite #nondeterminism #reasoning
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.
ICFP-1998-Ennals98a #type system
Verbose Typing (RE), p. 340.
Haskell-2003-EnnalsJ #debugging #lazy evaluation #named #source code
HsDebug: debugging lazy programs by not being lazy (RE, SLPJ), pp. 84–87.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.