The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Ennals: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert Ennals, Richard Sharp, Alan Mycroft
    Task Partitioning for Multi-core Network Processors. [Citation Graph (0, 0)][DBLP]
    CC, 2005, pp:76-90 [Conf]
  2. Robert Ennals, Richard Sharp, Alan Mycroft
    Linear Types for Packet Processing. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:204-218 [Conf]
  3. Robert Ennals
    Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:339- [Conf]
  4. Robert Ennals
    Verbose Typing. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:340- [Conf]
  5. Robert Ennals, Simon L. Peyton Jones
    Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:287-298 [Conf]
  6. Feng 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. [Citation Graph (0, 0)][DBLP]
    OSDI, 2006, pp:45-60 [Conf]
  7. Robert Ennals, David Gay
    Multi-language Synchronization. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:475-489 [Conf]
  8. Robert Ennals, David Gay
    User-friendly functional programming for web mashups. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:223-234 [Conf]
  9. David Gay, Robert Ennals, Eric A. Brewer
    Safe manual memory management. [Citation Graph (0, 0)][DBLP]
    ISMM, 2007, pp:2-14 [Conf]
  10. Robert Ennals, Minos N. Garofalakis
    MashMaker: mashups for the masses. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2007, pp:1116-1118 [Conf]

  11. Beyond Bug-Finding: Sound Program Analysis for Linux. [Citation Graph (, )][DBLP]


  12. SharC: checking data sharing strategies for multithreaded C. [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002