Modify, e.g., gcc to understand capability semantics and teach gcc how to optimize it, e.g., how to batch and combine calls.
This project is deemed suitable for a thesis.
GNU Hurd/
microkernel/
viengoos/
projects/
capability-aware compiler