We think these features are important and useful, but don't think we'll be able to complete them within our current sponsored project.

• Modeling CPU runtime of managed processes to better simulate their CPU overhead
• Distributing simulation workload across physical machines
• Moving to a dynamic, continuous event scheduler (dynamically push the round barrier forward while running a scheduler round, rather than using fixed rounds)
• Adding a virtual filesystem managed by Shadow to offer better file control and guarantee determinism
  • required to implement proper support for UNIX pathname sockets
• Handling statically linked executables
• Handling cpuid (disabling RDRAND)
• Support for running Shadow on ARM based CPU architectures