Tootfinder

Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
Chiara Ghinami, Jonas Winzer, Nils Bosbach, Lennart M. Reimann, Lukas J\"unger, Simon W\"orner, Rainer Leupers
https://arxiv.org/abs/2509.01318

Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
SystemC-based virtual prototypes have emerged as widely adopted tools to test software ahead of hardware availability, reducing the time-to-market and improving software reliability. Recently, fuzzing has become a popular method for automated software testing due to its ability to quickly identify corner-case errors. However, its application to embedded software is still limited. Simulator tools can help bridge this gap by providing a more powerful and controlled execution environment for testi…

Data Center Appliance: »A data center appliance is a ready-to-use device that integrates key software and hardware components to execute a specific IT function. It is a functional unit comprised of hardware and software designed for a specific, often narrowly defined, purpose.« 🤡🤯 #buzzworddetective

Operation Spiderweb and Russia’s record drone assault – Ukraine in photos, June 2025: https://benborges.xyz/2025/07/01/operation-spiderweb-and-russias-record.html

The US Army awards Palantir a contract worth up to $10B over the next decade, creating a "comprehensive framework for the Army's future software and data needs" (Elizabeth Dwoskin/Washington Post)
https://www.washingtonpost.com/technology/2025/…

Palantir gets $10 billion contract from U.S. Army
The software company’s enterprise contract over the next decade cements its central role in warfighting for years to come. 

Turning AI Data Centers into Grid-Interactive Assets: Results from a Field Demonstration in Phoenix, Arizona
Philip Colangelo, Ayse K. Coskun, Jack Megrue, Ciaran Roberts, Shayan Sengupta, Varun Sivaram, Ethan Tiao, Aroon Vijaykar, Chris Williams, Daniel C. Wilson, Zack MacFarland, Daniel Dreiling, Nathan Morey, Anuja Ratnayake, Baskar Vairamohan
htt…

Turning AI Data Centers into Grid-Interactive Assets: Results from a Field Demonstration in Phoenix, Arizona
Artificial intelligence (AI) is fueling exponential electricity demand growth, threatening grid reliability, raising prices for communities paying for new energy infrastructure, and stunting AI innovation as data centers wait for interconnection to constrained grids. This paper presents the first field demonstration, in collaboration with major corporate partners, of a software-only approach--Emerald Conductor--that transforms AI data centers into flexible grid resources that can efficiently an…

Functionality Assessment Framework for Autonomous Driving Systems using Subjective Networks
Stefan Orf, Sven Ochs, Valentin Marotta, Oliver Conder, Marc Ren\'e Zofka, J. Marius Z\"ollner
https://arxiv.org/abs/2506.02922

Functionality Assessment Framework for Autonomous Driving Systems using Subjective Networks
In complex autonomous driving (AD) software systems, the functioning of each system part is crucial for safe operation. By measuring the current functionality or operability of individual components an isolated glimpse into the system is given. Literature provides several of these detached assessments, often in the form of safety or performance measures. But dependencies, redundancies, error propagation and conflicting functionality statements do not allow for easy combination of these measures…

IndusGCC: A Data Benchmark and Evaluation Framework for GUI-Based General Computer Control in Industrial Automation
Xiaoran Yang, Yuyang Du, Kexin Chen, Soung Chang Liew, Jiamin Lu, Ziyu Guo, Xiaoyan Liu, Qun Yang, Shiqi Xu, Xingyu Fan, Yuchen Pan, Taoyong Cui, Hongyu Deng, Boris Dudder, Jianzhang Pan, Qun Fang, Pheng Ann Heng
https://arxi…

IndusGCC: A Data Benchmark and Evaluation Framework for GUI-Based General Computer Control in Industrial Automation
As Industry 4.0 progresses, flexible manufacturing has become a cornerstone of modern industrial systems, with equipment automation playing a pivotal role. However, existing control software for industrial equipment, typically reliant on graphical user interfaces (GUIs) that require human interactions such as mouse clicks or screen touches, poses significant barriers to the adoption of code-based equipment automation. Recently, Large Language Model-based General Computer Control (LLM-GCC) has e…

The Online Safety Act, which went into effect in the U.K. on July 25, requires any website that might have adult content to conduct age-verification checks.
According to the U.K.’s Office of Communications, or Ofcom,
users must provide proof of age
in the form of photo IDs, credit cards, photos for facial recognition software, and other so-called age gates,
or else be denied access.
Though often heralded by parents as a way to keep kids from accessing sexually…

‘Anonymity Online Is Going to Die’: What Age-Verification Laws Could Look Like in the U.S.
As controversy around the U.K.’s Online Safety Act continues, experts warn about similar legislation thriving in the U.S.

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS )
Christian Gang Liu, Peter Bodorik, Dawn Jutla
https://arxiv.org/abs/2506.02727

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other research efforts, we also use Business Process Model and Notation BPMN modeling to describe application requirements for trade of goods and services and then transform automatically the BPMN model into the methods of a smart contract. In our previous research…

Git Context Controller: Manage the Context of LLM-based Agents like Git
Junde Wu
https://arxiv.org/abs/2508.00031 https://arxiv.org/pdf/2508.00031

Git Context Controller: Manage the Context of LLM-based Agents like Git
Large language model (LLM) based agents have shown impressive capabilities by interleaving internal reasoning with external tool use. However, as these agents are deployed in long-horizon workflows, such as coding for a big, long-term project, context management becomes a critical bottleneck. We introduce Git-Context-Controller (GCC), a structured context management framework inspired by software version control systems. GCC elevates context as versioned memory hierarchy like Git. It structures…