• Hume

    Hume is a novel embedded systems language with an explicit separation between coordination and computation, based on concurrent boxes linked by wires. We are exploring:

    • Hume on FPGAs through multi-processor soft cores
    • multi-core Hume through compilation to C with OpenMP
    • reasoning about Hume programs for multi-processor deployment with the box calculus

    People: Greg Michaelson, Gudmund Grov
    URL: http://www.macs.hw.ac.uk/~greg/hume/