Showing 2025Show all
2 papers · 1 filter
math.AP2025
Mixing Estimates for Passive Scalar Transport by Vector Fields
Lucas Huysmans, Ayman Rimah Said
We prove a quantitative mixing estimate for the Cauchy problem for transport along divergence-free vector fields with bounded variation. By developing a framework that quantifies A…
cs.OS2025
Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
Yile Gu, Ian Neal, Jiexiao Xu +7
Crash consistency is essential for applications that must persist data. Crash-consistency testing has been commonly applied to find crash-consistency bugs in applications. The cras…