2 papers
cs.SE2026
Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos
Jingyuan Chen, Lei Zhang, Leon Schuermann +3
Debugging distributed systems in-production is inevitable and hard. Myriad interactions between concurrent components in modern, complex and large-scale systems cause non-determini…
cs.OS2026
Tock: From Research to Securing 10 Million Computers
Leon Schuermann, Brad Campbell, Branden Ghena +3
Tock began 10 years ago as a research operating system developed by academics to help other academics build urban sensing applications. By leveraging a new language (Rust) and new…