Robert Ennals

According to our database, Robert Ennals authored at least 15 papers between 1998 and 2008.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2008

SharC: checking data sharing strategies for multithreaded C.

Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

2007

Intel Mash Maker: join the web.

Robert Ennals, Eric A. Brewer, Minos N. Garofalakis, Michael Shadle, Prashant Gandhi

SIGMOD Rec., 2007

MashMaker: mashups for the masses.

Robert Ennals, Minos N. Garofalakis

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

Safe manual memory management.

David Gay, Robert Ennals, Eric A. Brewer

Proceedings of the 6th International Symposium on Memory Management, 2007

User-friendly functional programming for web mashups.

Robert Ennals, David Gay

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Beyond Bug-Finding: Sound Program Analysis for Linux.

Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Multi-language Synchronization.

Robert Ennals, David Gay

Proceedings of the Programming Languages and Systems, 2007

2006

SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.

Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2005

Task Partitioning for Multi-core Network Processors.

Robert Ennals, Richard Sharp, Alan Mycroft

Proceedings of the Compiler Construction, 14th International Conference, 2005

2004

Adaptive evaluation of non-strict programs.

Robert Ennals

PhD thesis, 2004

Linear Types for Packet Processing.

Robert Ennals, Richard Sharp, Alan Mycroft

Proceedings of the Programming Languages and Systems, 2004

2003

Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.

Robert Ennals, Simon L. Peyton Jones

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

HsDebug: debugging lazy programs by not being lazy.

Robert Ennals, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

1998

Verbose Typing.

Robert Ennals

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed.

Robert Ennals

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998