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…

Defense Secretary Pete Hegseth was quickly met with sharp questions and criticism Tuesday
by lawmakers who pressed him about his early moves to deploy troops to Los Angeles,
fire key military leaders
and purge diversity programs.
They expressed bipartisan frustration that Congress has not yet gotten a full defense budget from the Trump administration.
“Your tenure as secretary has been marked by endless chaos,”
Rep. Rosa DeLauro, D-Conn., told Hegseth.

Hegseth faces Democrats in Congress for first time since Signal leaks
Defense Secretary Pete Hegseth has been met with sharp questions and criticism by lawmakers who demanded details on his moves to deploy troops to Los Angeles. Lawmakers also expressed bipartisan frustration Tuesday that Congress doesn't yet have a full defense budget from the Trump administration. The hearing before the House Appropriations defense subcommittee was the first time lawmakers have been able to challenge Trump’s defense chief directly. After persistent questioning about the cost …

This https://arxiv.org/abs/2501.05616 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Validating Quantum State Preparation Programs
One of the key steps in quantum algorithms is to prepare an initial quantum superposition state with different kinds of features. These so-called state preparation algorithms are essential to the behavior of quantum algorithms, and complicated state preparation algorithms are difficult to develop correctly and effectively. This paper presents Pqasm: a high-assurance framework implemented with the Coq proof assistant, allowing us to certify our Pqasm tool to correctly reflect quantum program beh…

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…

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 …

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu
https://arxiv.org/abs/2506.09550

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries
Function summaries, which characterize the behavior of code segments (typically functions) through preconditions and postconditions, are essential for understanding, reusing, and verifying software, particularly in safety-critical domains like aerospace embedded systems. However, these mission-critical legacy code serving as a valuable reused asset often lacks formal specifications. It is challenging to automatically generate function summaries for C programs, due to the existence of complex fe…

This https://arxiv.org/abs/2408.16220 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1
Spectre v1 attacks pose a substantial threat to security-critical software, particularly cryptographic implementations. Existing software mitigations, however, often introduce excessive overhead by indiscriminately hardening instructions without assessing their vulnerability. We propose an analysis framework that employs a novel fixpoint algorithm to detect Spectre vulnerabilities and apply targeted hardening. The fixpoint algorithm accounts for program behavior changes induced by stepwise hard…