Simon Sillitoe
OS Engineer
Research Interests
Simon is investigating worst case execution time for seL4 on RISC-V and learning about verification.
Contact Details
| Email: | s.sillitoe@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2026
 
|
 |
Simon Sillitoe, Abdul Basit, Massimiliano Giacometti and Gernot Heiser Resurrecting seL4’s WCET analysis Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT), Lund, SE, July, 2026 |