Thesios: Synthesizing Accurate Counterfactual I/O Traces from I/O Samples. - Phitchaya Mangpo Phothilimthana; Saurabh Kadekodi; Soroush Ghodrati; Selene Moon; Martin Maas 001 (ASPLOS (3), 2024)