Tootfinder

Linear programs help to find optimal solutions based on a set of constrains. I used {ompr} before, but the new package {tidyLP} looks promising and integrates with the tidyverse. #rstats #linearprograms #optimization

GitHub - colin-fraser/tidyLP: Tidy Linear Programs
Tidy Linear Programs. Contribute to colin-fraser/tidyLP development by creating an account on GitHub.

Execution-Aware Program Reduction for WebAssembly via Record and Replay
Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
https://arxiv.org/abs/2506.07834 …

Execution-Aware Program Reduction for WebAssembly via Record and Replay
WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program that still triggers the bug. However, existing execution-unaware program reduction techniques struggle with large and complex Wasm programs, because they rely on static information and apply syntactic transformations, while ignoring the valuable information offered by the input program's execution behavior. We presen…

I was never one for noting the pagecounts of books. My measurements were usually "about one third done". Doing ebooks means that I think of a progress as percentages and length in hours.
For most of this year I read books that were over 25 hours long and am now in the three hour range.
Of course this is distorted. Reading during the day is usually quicker and if I fall asleep before turning off the e-reader (which happens a lot) the estimates get thrown off by the idle …

"This so-called big, beautiful bill pushes 16 million people off of health care and literally takes food from the mouths of hungry children. An enormous tax cut for the very wealthiest is the definition of an immoral bill," said Sen. Coons, a Presbyterian and graduate of Yale Divinity School.

Episcopalians join other faith leaders, lawmakers, in DC rally against budget bill
[Religion News Service – Washington] Religious leaders are ramping up pressure on lawmakers to reject the Republican-led budget bill currently before the U.S. Senate, arguing proposed cuts to healt…

Understanding Self-Regulated Learning Behavior Among High and Low Dropout Risk Students During CS1: Combining Trace Logs, Dropout Prediction and Self-Reports
Denis Zhidkikh, Ville Isom\"ott\"onen, Toni Taipalus
https://arxiv.org/abs/2506.09178

Understanding Self-Regulated Learning Behavior Among High and Low Dropout Risk Students During CS1: Combining Trace Logs, Dropout Prediction and Self-Reports
The introductory programming course (CS1) at the university level is often perceived as particularly challenging, contributing to high dropout rates among Computer Science students. Identifying when and how students encounter difficulties in this course is critical for providing targeted support. This study explores the behavioral patterns of CS1 students at varying dropout risks using self-regulated learning (SRL) as the theoretical framework. Using learning analytics, we analyzed trace logs a…

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
Yuchong Xie, Wenhui Zhang, Dongdong She
https://arxiv.org/abs/2506.08838 htt…

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
Fuzzing is a widely used technique for discovering software vulnerabilities, but identifying hot bytes that influence program behavior remains challenging. Traditional taint analysis can track such bytes white-box, but suffers from scalability issue. Fuzzing-Driven Taint Inference (FTI) offers a black-box alternative, yet typically incurs significant runtime overhead due to extra program executions. We observe that the commonly used havoc mutation scheme in fuzzing can be adapted for lightweigh…

On the Impossibility of a Perfect Hypervisor
Mordechai Guri
https://arxiv.org/abs/2506.09825 https://arxiv.org/pdf/2506.09825

On the Impossibility of a Perfect Hypervisor
We establish a fundamental impossibility result for a `perfect hypervisor', one that (1) preserves every observable behavior of any program exactly as on bare metal and (2) adds zero timing or resource overhead. Within this model we prove two theorems. (1) Indetectability Theorem. If such a hypervisor existed, no guest-level program, measurement, or timing test could distinguish it from native execution; all traces, outputs, and timings would be identical. (2) Impossibility Theorem. Despite…

Exploring Image Transforms derived from Eye Gaze Variables for Progressive Autism Diagnosis
Abigail Copiaco, Christian Ritz, Yassine Himeur, Valsamma Eapen, Ammar Albanna, Wathiq Mansoor
https://arxiv.org/abs/2506.09065

Exploring Image Transforms derived from Eye Gaze Variables for Progressive Autism Diagnosis
The prevalence of Autism Spectrum Disorder (ASD) has surged rapidly over the past decade, posing significant challenges in communication, behavior, and focus for affected individuals. Current diagnostic techniques, though effective, are time-intensive, leading to high social and economic costs. This work introduces an AI-powered assistive technology designed to streamline ASD diagnosis and management, enhancing convenience for individuals with ASD and efficiency for caregivers and therapists. T…

Properties of UTxO Ledgers and Programs Implemented on Them
Polina Vinogradova (Input Output Global), Alexey Sorokin (Input Output Global)
https://arxiv.org/abs/2506.05832

Properties of UTxO Ledgers and Programs Implemented on Them
Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purpose of analyzing the behaviour of the ledger itself, and any user-defined programs called by it, known as smart contracts. The (extended) UTxO ledger model is a kind of ledger model where all smart contract code is stateless, and additional work must be done to model stateful programs. We formalize the application of …

Late time behavior in $f(R,\mathcal{L}_{m})$ gravity through Gaussian reconstruction and dynamical stability
Y. Kalpana Devi, S. A. Narawade, B. Mishra
https://arxiv.org/abs/2506.09568

Late time behavior in $f(R,\mathcal{L}_{m})$ gravity through Gaussian reconstruction and dynamical stability
In this paper, we explore modified gravity in the framework of $f(R, \mathcal{L}_m)$ theories by reconstructing the function $f(\mathcal{L}_m)$, where $\mathcal{L}_m = ρ$ is the matter Lagrangian, under the assumption of a pressureless, matter-dominated Universe. Using a non-parametric Gaussian process reconstruction technique applied to Hubble data, we obtain two viable models of $f(\mathcal{L}_m)$ : (i) a power-law model $f_1(\mathcal{L}_m) = α\mathcal{L}_m^{b_1}$ with $b_1 \in [0.018, 0.02…