1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.OS2026★ 1 cited
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…
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…