2 citations · 2 across the 2 of their papers we have counts for
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.SE2020★ 2 cited
Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution
Yigong Hu, Gongqi Huang, Peng Huang
Misconfiguration is a major cause of system failures. Prior solutions focus on detecting invalid settings that are introduced by user mistakes. But another type of misconfiguration…