Tootfinder

Good morning! I replaced the morning walk with a morning ride. 😊 I tried to push a bit harder today for training. Next time should be lighter again. But it felt really good!
#cycling #goodmorning

Solutocapillary instability in slipping falling films
Sanghasri Mukhopadhyay, S\'everine Millet, Bastien Di Pierro, Asim Mukhopadhyay
https://arxiv.org/abs/2605.17519 https://arxiv.org/pdf/2605.17519 https://arxiv.org/html/2605.17519
arXiv:2605.17519v1 Announce Type: new
Abstract: We present a comprehensive framework for gravity-driven, surfactant-laden thin films flowing over slippery substrates, elucidating how wall slip modifies the coupled hydrodynamics and interfacial transport. A long-wave model is formulated with a conservative bulk-surface mass balance and a Navier slip condition. The Orr-Sommerfeld eigenvalue problem governs the linear regime, while a weighted-residual model captures the nonlinear evolution over a range of equilibrium surfactant coverages, Marangoni strengths, and adsorption kinetics. The analysis predicts a non-monotonic variation of the critical Reynolds number with equilibrium coverage, exhibiting a maximum at intermediate $\Gamma_e$, and a slip-induced transition from single- to double-hump solitary structures with increasing Marangoni number, accompanied by attenuated capillary ripples. Under fast adsorption kinetics, the surface field homogenizes, preserving the mean film shape and flux while flattening both the surface concentration $\Gamma$ and the bulk inventory $\chi h\phi$. A spurious interfacial mass growth reported by Pascal et al.(PRF, 2019) and D'Alessio et al.(JFM, 2020) is resolved through a revised surface balance ensuring strict conservation. Wall slip thus emerges as a key control parameter, reducing viscous resistance and mitigating Marangoni back-stress. The slip parameter $\beta$ is a useful control knob for surfactant-laden films. Slip prevents fragile multi-hump bound states, promoting a single broad crest or an almost flat, uniform sheet by carefully bonding $\beta$ to wave selection, ripple damping, and the bulk-surface surfactant balance.
toXiv_bot_toot

Formal Verification of an Out-of-Order Multiprocessor against an In-Order Weak-Memory ISA
Janggun Lee, Jeehoon Kang
https://arxiv.org/abs/2607.18727 https://arxiv.org/pdf/2607.18727 https://arxiv.org/html/2607.18727
arXiv:2607.18727v1 Announce Type: new
Abstract: Out-of-order multiprocessor is a critical piece of modern hardware, and their verification must solve the following challenges. First, inter-core interleaving, in which the order their reads and writes reach shared memory is unrestricted. Second, intra-core out-of-order execution, in which instructions fire out of program order. The combination of the two yields weak outcomes, which no sequential execution explains, and modern ISA allows such behaviors to account for them. However, the microarchitecture even exhibits excess out-of-order executions, temporarily entering states forbidden by the ISA. While discarded later, such states complicate reasoning about the core in full-system verification. Prior works verify a range of processor designs, while none have performed unbounded verification for out-of-order multiprocessor exhibiting such weak outcomes.
We present the first formal verification of an out-of-order multiprocessor against an in-order, weak-memory ISA. Our key idea is a well-designed core specification, which captures the essence of excess executions in a single list of instructions. Building upon this, we decompose the proof into two steps. The first is a core refinement, proving a core implementation against this specification, abstracting away every microarchitectural state except those necessary to reason about excess executions and the core interface. The second is a system inclusion, serializing the out-of-order memory executions and inter-core interleaving into the ISA, easily removing excess executions thanks to the core specification. All of our proofs are mechanized in Rocq, heavily utilizing large language model (LLM) agents to write proofs automatically.
toXiv_bot_toot

Same Place 🐲
同一個地方 🐲
📷 Nikon F4E
🎞️ Kentmere 400
If you like my work, Support by buying me a coffee or a roll of film from
PayPal https://www.paypal.com/paypalme/ydcdingsite
Wise