3 papers
math.AP2026
Generic small-scale creation in the two-dimensional Euler equation
Thomas Alazard, Ayman Rimah Said
The Cauchy problem for the two-dimensional incompressible Euler equation is globally well-posed for smooth initial data. In this paper, we show that for a dense set of initia…
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…