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: Ennals:Robert
Contributed to:
2008
2007
2007
2007
2007
2006
2005200420031998
2003Wrote 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.