Some ideas for possible grant proposals...
- Integrating the rewritten version of FDR with Tock
- Efficient generics for nanopass compilation (with fp-group)
- Extending LLVM for concurrent languages
- Optimisations for concurrent languages
- Software scheduler for the XMOS architecture
- Automatic process distribution over a cluster (i.e. extending what we already do on multiprocessors)
- Combining CSP with a functional language -- somewhere between CHP and CSPm.