Delves into building efficient safety-critical systems, emphasizing the importance of worst-case execution times and the challenges of integrating efficiency considerations into design processes.
Explores scalable synchronization mechanisms for many-core operating systems, focusing on the challenges of handling data growth and regressions in OS.
