Tootfinder

Good ideas and good research take years to incubate, grow, and realise.
You need *time*.
Time to think, to try, to talk, to throw up and out 'silly' ideas and theories - some which aren't so silly in the end - to be bored, to revisit, to connect.
"We are witnessing the dismantling of a system that once made space for pure curiosity."

Revolucion

"When I grow up I want to be a commodity," said no kindergarten student ever.

Stephen Colbert's 'Late Show' canceled by CBS, ends May 2026
https://www.yahoo.com/entertainment/articles/stephen-colbert-says-cbs-ending-235704805.html

Stephen Colbert's 'Late Show' canceled by CBS, ends May 2026
CBS is canceling “The Late Show With Stephen Colbert” next May, shuttering a decades-old TV institution in a changing media landscape and removing from air...

I continue my practice of writing back to posts on social media. Also its antidote: writing back to works of art served up at random. It’s a little like surfing, taking the waves as they come. It’s a little like dancing. It’s one way to reclaim my attention, one way to stay alive to the present.
https://

More Fresh Hells & A Few Heavens
Brief responses to social media posts (hells) and random paintings (heavens).

📉 Home, but not safe: How poor housing is harming health
#housing

Home, but not safe: How poor housing is harming health
When Israelis think about health, they may picture hospitals, doctors, or the rising cost of prescription drugs. But a new integrative study by Jordan Hannink Attal (Hebrew University and the University of Melbourne) and Prof. Yehuda Neumark (Hebrew University) suggests the most important factor may be much closer to home—literally.

#pastpuzzle 351
🟩🟥🟥🟨 (-175)
🟩🟨🟥🟩 (-310)
🟩🟩🟩🟩 (0)
▪️▪️▪️▪️
3/4 🥉
https://www.pastpuzzle.de

This is literally the worst timeline. I hope me in the other timelines as doing better. Also, fuck trump.

Detecting LLM-generated Code with Subtle Modification by Adversarial Training
Xin Yin, Xinrui Li, Chao Ni, Xiaodan Xu, Xiaohu Yang
https://arxiv.org/abs/2507.13123

Detecting LLM-generated Code with Subtle Modification by Adversarial Training
With the rapid development of Large Language Models (LLMs), their powerful code-generation capabilities have been widely applied in tasks like code completion and automated development, demonstrating the value of improving coding efficiency. However, the extensive use of LLM-generated code also raises several new challenges. On the one hand, issues such as the regulation of code provenance, copyright disputes, and code quality have become increasingly concerning. How to effectively detect LLM-g…

🔍 Game of Life
Entdeckt das faszinierende „Game of Life“! Aus einfachen Regeln entstehen komplexe Muster. Probiert die interaktive Simulation selbst aus und lasst Strukturen entstehen!
⏲ Uhrzeit: 17:00-24:00 Uhr
🗓️ Datum: 21.06.2025
🧑‍🔬 Veranstalter: Max-Planck-Institut für Dynamik und Selbstorganisation
📍 Veranstaltungsort: @…

The best artificial Total #SolarEclipse ever, delivered by ESA's #Proba3 spacecraft duo of which one carries the telescope while the other plays Moon - this allows imaging the solar #corona closer to the photosphere than any other coronagraph: https://www.esa.int/Enabling_Support/Space_Engineering_Technology/Proba-3/Proba-3_s_first_artificial_solar_eclipse

📅 Herzliche Einladung zum nächsten #Stammtisch der #Unix-Freunde Süd-Ost-Oberbayern
https://Unix-Freunde.mro.name/

What remains before opening the Eglinton Crosstown?
https://youtube.com/watch?v=_uQ8BVxr7XY&si=0V02ag05JXvMmEx8

finally sinking into @…'s newly revived LCD program guide & savoring every dang page. astonishing work by @… & co., like '90s ray gun-style overload but readable. definitely need to snag a 2nd copy so i can hang the centerfold sched…

Project 2025 Tracker
#Project2025 #dystopian

Self-Interacting Dark Matter with Mass Segregation: A Unified Explanation of Dwarf Cores and Small-Scale Lenses
Daneng Yang, Yi-Zhong Fan, Siyuan Hou, Yue-Lin Sming Tsai
https://arxiv.org/abs/2506.14898

Self-Interacting Dark Matter with Mass Segregation: A Unified Explanation of Dwarf Cores and Small-Scale Lenses
In two-component SIDM models with inter-species interactions, mass segregation arises naturally from collisional relaxation, enhancing central densities and gravothermal evolution without requiring large cross sections. We propose a model with velocity-dependent interactions, both within and between species, that connects observations across several halo mass scales while remaining consistent with cluster-scale constraints. This combination enables modest mass segregation in low-mass and typica…

Die ePetition 183111 an den Bundestag aus dem Bereich Straßenverkehrs-Ordnung mit dem Titel
Erweiterung der StVO - Besserer Schutz für Einsatzkräfte an Gefahrenstellen
kann bis zum Mittwoch 20. August 2025 01:00 UTC mitgezeichnet werden und lautet
Die Petition fordert, die StVO um einen neuen Paragrafen zu erweitern…

Sᴘʜɪɴx ᴏғ ʙʟᴀᴄᴋ ǫᴜᴀʀᴛᴢ, ᴊᴜᴅɢᴇ ᴍʏ ᴠᴏᴡ.

Inferring Attributed Grammars from Parser Implementations
Andreas Pointner, Josef Pichler, Herbert Pr\"ahofer
https://arxiv.org/abs/2507.13117 https:/…

Inferring Attributed Grammars from Parser Implementations
Software systems that process structured inputs often lack complete and up-to-date specifications, which specify the input syntax and the semantics of input processing. While grammar mining techniques have focused on recovering syntactic structures, the semantics of input processing remains largely unexplored. In this work, we introduce a novel approach for inferring attributed grammars from parser implementations. Given an input grammar, our technique dynamically analyzes the implementation of…

Rule by terrorists.
#authoritarian

Alert raised to the highest level after Indonesia's Mount Lewotobi Laki Laki volcano erupts | AP News
https://apnews.com/article/indonesia-mount-lewotobi-laki-laki-volcano-eruption-04de50256887dab865c39b79aea7e198

Hi @…,
strange I can't boost the great #Fediverse #Intro #Video

Another Mysterious Anti-Trump Statue Has Appeared on the National Mall
Like last year's "memorial" to Jan 6 rioters, this one, too, has a permit—and a Hollywood connection.
https://www.washingtonian.com/2025/06/17/a

Die ePetition 181385 an den Bundestag aus dem Bereich Soziale Netzwerke mit dem Titel
Zwingende Verifizierung der Nutzer per Personalausweis auf Online-Plattformen mit mehr als 50.000 Mitgliedern
kann bis zum Mittwoch 20. August 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition soll erreicht werden, da…

A Conceptual Framework for Requirements Engineering of Pretrained-Model-Enabled Systems
Dongming Jin, Zhi Jin, Linyu Li, Xiaohong Chen
https://arxiv.org/abs/2507.13095

A Conceptual Framework for Requirements Engineering of Pretrained-Model-Enabled Systems
Recent advances in large pretrained models have led to their widespread integration as core components in modern software systems. The trend is expected to continue in the foreseeable future. Unlike traditional software systems governed by deterministic logic, systems powered by pretrained models exhibit distinctive and emergent characteristics, such as ambiguous capability boundaries, context-dependent behavior, and continuous evolution. These properties fundamentally challenge long-standing a…

Chalk up another big win for the #Windows and #Instagram folks! Bombing innocents is the only way to be truly social!
https://www.thecanadianpressnews.ca/world/israels-spy-agency-used-ai-and-smuggled-in-drones-to-prepare-attack-on-iran/article_ce2d0fbc-ae83-5266-af3f-e1cf35feface.html
see also
https://apnews.com/article/israel-palestinians-ai-weapons-430f6f15aab420806163558732726ad9

Seems a part of what @… warns of...
SLASHDOT: Silicon Valley Execs Join the Army As Officers
https://tech.slashdot.org/story/25/06/

Silicon Valley Execs Join the Army As Officers - Slashdot
The U.S. Army Reserve has directly commissioned four top Silicon Valley executives as lieutenant colonels under a new initiative, Detachment 201, aimed at accelerating tech integration into military operations. While these part-time roles are intended to bring private-sector innovation to defense mo...

So this is how it ends, not with a bang, but with six fingers holding a bacon icecream cone and only two r's in our strawberries.
But I can hear the blaring KA-CHING! KA-CHING! now.
G7 agrees to increase use of artificial intelligence in public sector | #CanPoli | thecanadianpressnews
https://www.thecanadianpressnews.ca/politics/g7-agrees-to-increase-use-of-artificial-intelligence-in-public-sector/article_7a49ae0e-d038-5387-bc65-9c4dfc7cd666.html

iReDev: A Knowledge-Driven Multi-Agent Framework for Intelligent Requirements Development
Dongming Jin, Weisong Sun, Jiangping Huang, Peng Liang, Jifeng Xuan, Yang Liu, Zhi Jin
https://arxiv.org/abs/2507.13081

iReDev: A Knowledge-Driven Multi-Agent Framework for Intelligent Requirements Development
Requirements development is a critical phase as it is responsible for providing a clear understanding of what stakeholders need. It involves collaboration among stakeholders to extract explicit requirements and address potential conflicts, which is time-consuming and labor-intensive. Recently, multi-agent systems for software development have attracted much attention. However, existing research provides limited support for requirements development and overlooks the injection of human knowledge …

https://reason.com/2025/06/19/judge-protects-a-utah-churchs-mushrooms/
Utah Passed a Religious Freedom Law. Then Cops Went After This Psychedelic Church.
A group using psilocybin mushrooms in ceremonies "put Utah's commitment to religious freedo…

Psychedelic church puts Utah's religious freedom law to the test
A religious group using psilocybin mushrooms in ceremonies "put the State of Utah's commitment to religious freedom to the test," a federal judge wrote.

Die ePetition 179278 an den Bundestag aus dem Bereich Internet mit dem Titel
Verpflichtung von zur Daseinsvorsorge gehörenden Unternehmen zum frei zugänglichen Online-Angebot ohne Kontozwang etc. von Dritten
kann bis zum Mittwoch 20. August 2025 01:00 UTC mitgezeichnet werden und lautet
Mit der Petition wird geforde…

Scientists '3D Print' Material Deep Inside The Body Using Ultrasound
https://www.sciencealert.com/scientists-3d-print-material-deep-inside-the-body-using-ultrasound

Scientists '3D Print' Material Deep Inside The Body Using Ultrasound
Scientists in the US have created a way to 3D print materials inside the body using ultrasound.

Investigating the Performance of Small Language Models in Detecting Test Smells in Manual Test Cases
Keila Lucas, Rohit Gheyi, M\'arcio Ribeiro, Fabio Palomba, Luana Martins, Elvys Soares
https://arxiv.org/abs/2507.13035

Investigating the Performance of Small Language Models in Detecting Test Smells in Manual Test Cases
Manual testing, in which testers follow natural language instructions to validate system behavior, remains crucial for uncovering issues not easily captured by automation. However, these test cases often suffer from test smells, quality issues such as ambiguity, redundancy, or missing checks that reduce test reliability and maintainability. While detection tools exist, they typically require manual rule definition and lack scalability. This study investigates the potential of Small Language Mod…

Joe Biden diagnosed with ‘aggressive form’ of prostate cancer, his office says.
How long before Mad King Donald says something crass? (He who would arrest anyone for similar comments about him?) There should be a betting pool... 😏
https://www.theguardian.com/us-news/2025/m

Single Conversation Methodology: A Human-Centered Protocol for AI-Assisted Software Development
Salvador D. Escobedo
https://arxiv.org/abs/2507.12665 https…

#news

Brain Circuits Behind Psychedelics’ Anti-Anxiety Power Decoded - Neuroscience News
Neuroscience News provides research news for neuroscience, neurology, psychology, AI, brain science, mental health, robotics and cognitive sciences.

A Fuzzy Approach to Project Success: Measuring What Matters
Jo\~ao Granja-Correia, Remedios Hern\'andez-Linares, Luca Ferranti, Arm\'enio Rego
https://arxiv.org/abs/2507.12653

A Fuzzy Approach to Project Success: Measuring What Matters
This paper introduces a novel approach to project success evaluation by integrating fuzzy logic into an existing construct. Traditional Likert-scale measures often overlook the context-dependent and multifaceted nature of project success. The proposed hierarchical Type-1 Mamdani fuzzy system prioritizes sustained positive impact for end-users, reducing emphasis on secondary outcomes like stakeholder satisfaction and internal project success. This dynamic approach may provide a more accurate mea…

Oklahoma high schools to teach 2020 election conspiracy theories as fact;
State superintendent Ryan Walters tapped chief of Heritage Foundation, key player behind Project 2025, for curriculum
https://www.theguardian.com/us-news/2025/may/…

#BruceSpringsteen

A Three-Phase Evaluation Approach for new Information and Data Models in the Smart Grid Domain
Christine van Stiphoudt, Sergio Potenciano Menci, Gilbert Fridgen
https://arxiv.org/abs/2507.12649

A Three-Phase Evaluation Approach for new Information and Data Models in the Smart Grid Domain
The ongoing digitalisation of the smart grid is resulting in an increase in automated information exchanges across distributed energy systems. This process has led to the development of new information and data models when the existing ones fall short. To prevent potential disruptions caused by flaws in the newly designed information and data models, it is essential to evaluate them during the design process before they are implemented in operation. Currently, general explicit evaluation appr…

US lawyers set up own firms to lead legal fightback in face of Trump onslaught;
Several law firms have capitulated to Trump pressure leaving but some lawyers have left to fight government cuts
https://www.theguardian.com/us-news/2025/may/18/trump-administra…

Cuts at Ontario colleges leading to nearly 10,000 job losses, Ontario Public Service Employees Union says it's 'one of the largest mass layoffs in Ontario's history'
https://www.cbc.ca/news/canada/toronto/ontario-college-layoffs-1.7581037

QSpark: Towards Reliable Qiskit Code Generation
Kiana Kheiri, Aamna Aamir, Andriy Miranskyy, Chen Ding
https://arxiv.org/abs/2507.12642 https://

QSpark: Towards Reliable Qiskit Code Generation
Quantum circuits must be error-resilient, yet LLMs like Granite-20B-Code and StarCoder often output flawed Qiskit code. We fine-tuned a 32 B model with two RL methods, Group Relative Policy Optimization (GRPO) and Odds-Ratio Preference Optimization (ORPO), using a richly annotated synthetic dataset. On the Qiskit HumanEval benchmark, ORPO reaches 56.29\% Pass@1 ($\approx+10$ pp over Granite-8B-QK) and GRPO hits 49\%, both beating all general-purpose baselines; on the original HumanEval they sco…

ROSE: Transformer-Based Refactoring Recommendation for Architectural Smells
Samal Nursapa, Anastassiya Samuilova, Alessio Bucaioni. Phuong T. Nguyen
https://arxiv.org/abs/2507.12561

ROSE: Transformer-Based Refactoring Recommendation for Architectural Smells
Architectural smells such as God Class, Cyclic Dependency, and Hub-like Dependency degrade software quality and maintainability. Existing tools detect such smells but rarely suggest how to fix them. This paper explores the use of pre-trained transformer models--CodeBERT and CodeT5--for recommending suitable refactorings based on detected smells. We frame the task as a three-class classification problem and fine-tune both models on over 2 million refactoring instances mined from 11,149 open-sour…

I'm pretty sure this won't be news to those who'd care:
#GratefulDead : #InternetArchive
https://archive.org/details/GratefulDead?tab=collection

When Retriever Meets Generator: A Joint Model for Code Comment Generation
Tien P. T. Le, Anh M. T. Bui, Huy N. D. Pham, Alessio Bucaioni, Phuong T. Nguyen
https://arxiv.org/abs/2507.12558

When Retriever Meets Generator: A Joint Model for Code Comment Generation
Automatically generating concise, informative comments for source code can lighten documentation effort and accelerate program comprehension. Retrieval-augmented approaches first fetch code snippets with existing comments and then synthesize a new comment, yet retrieval and generation are typically optimized in isolation, allowing irrelevant neighbors topropagate noise downstream. To tackle the issue, we propose a novel approach named RAGSum with the aim of both effectiveness and efficiency in …

Get the location of the ISS using DNS – Terence Eden’s Blog
https://shkspr.mobi/blog/2025/07/get-the-location-of-the-iss-using-dns/

A Survey of Reinforcement Learning for Software Engineering
Dong Wang, Hanmo You, Lingwei Zhu, Kaiwei Lin, Zheng Chen, Chen Yang, Junji Yu, Zan Wang, Junjie Chen
https://arxiv.org/abs/2507.12483

A Survey of Reinforcement Learning for Software Engineering
Reinforcement Learning (RL) has emerged as a powerful paradigm for sequential decision-making and has attracted growing interest across various domains, particularly following the advent of Deep Reinforcement Learning (DRL) in 2015. Simultaneously, the rapid advancement of Large Language Models (LLMs) has further fueled interest in integrating RL with LLMs to enable more adaptive and intelligent systems. In the field of software engineering (SE), the increasing complexity of systems and the ris…

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale, Memory-Driven Code Understanding
Ishraq Khan, Assad Chowdary, Sharoz Haseeb, Urvish Patel
https://arxiv.org/abs/2507.12482

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale, Memory-Driven Code Understanding
Large Language Models (LLMs) have advanced code generation and software automation, but are fundamentally constrained by limited inference-time context and lack of explicit code structure reasoning. We introduce Kodezi Chronos, a next-generation architecture for autonomous code understanding, debugging, and maintenance, designed to operate across ultra-long contexts comprising entire codebases, histories, and documentation, all without fixed window limits. Kodezi Chronos leverages a multi-level…

LLM-Powered Quantum Code Transpilation
Nazanin Siavash, Armin Moin
https://arxiv.org/abs/2507.12480 https://arxiv.org/pdf/2507.12480

LLM-Powered Quantum Code Transpilation
There exist various Software Development Kits (SDKs) tailored to different quantum computing platforms. These are known as Quantum SDKs (QSDKs). Examples include but are not limited to Qiskit, Cirq, and PennyLane. However, this diversity presents significant challenges for interoperability and cross-platform development of hybrid quantum-classical software systems. Traditional rule-based transpilers for translating code between QSDKs are time-consuming to design and maintain, requiring deep exp…

A Survey of AIOps in the Era of Large Language Models
Lingzhe Zhang, Tong Jia, Mengxi Jia, Yifan Wu, Aiwei Liu, Yong Yang, Zhonghai Wu, Xuming Hu, Philip S. Yu, Ying Li
https://arxiv.org/abs/2507.12472

A Survey of AIOps in the Era of Large Language Models
As large language models (LLMs) grow increasingly sophisticated and pervasive, their application to various Artificial Intelligence for IT Operations (AIOps) tasks has garnered significant attention. However, a comprehensive understanding of the impact, potential, and limitations of LLMs in AIOps remains in its infancy. To address this gap, we conducted a detailed survey of LLM4AIOps, focusing on how LLMs can optimize processes and improve outcomes in this domain. We analyzed 183 research paper…

But I owe a duty to Ireland:
I held her honour in my hand,
This lovely land that always sent
Her writers and artists to banishment
And in a spirit of Irish fun
Betrayed her own leaders, one by one.
James Joyce, Gas From a Burner (1912)
http://www.ricorso.net/rx/library/authors/classic/Joyce_J/Poetry/Gas_Burn.htm

[2025-07-18 Fri (UTC), 15 new articles found for cs.SE Software Engineering]
toXiv_bot_toot

2025 heralds a brand new term in psychology:
Cognitive Debt
https://arxiv.org/abs/2506.08872

Replaced article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
- Machine Learning Systems: A Survey from a Data-Oriented Perspective
Christian Cabrera, Andrei Paleyes, Pierre Thodoroff, Neil D. Lawrence

Nope.

If the "conspiracy" is so huge that only a minority believe it's a "hoax" who exactly is suffering from delusion or attempting to con the gullible? If it walks like a duck, what's the harm in seeing it?

Replaced article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
Retrieval-augmented code completion for local projects using large language models

Why would my #Nextcloud homepage Events widget show times as if they were UTC whereas my Calendar app is set to America-Toronto and shows event times correctly. Is there a setting somewhere to tell the homepage widget to use the locale?

cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree
Yilin Zhang, Xinran Zhao, Zora Zhiruo Wang, Chenyang Yang, Jiayi Wei, Tongshuang Wu
https://arxiv.org/abs/2506.15655

cAST: Enhancing Code Retrieval-Augmented Generation with Structural Chunking via Abstract Syntax Tree
Retrieval-Augmented Generation (RAG) has become essential for large-scale code generation, grounding predictions in external code corpora to improve actuality. However, a critical yet underexplored aspect of RAG pipelines is chunking -- the process of dividing documents into retrievable units. Existing line-based chunking heuristics often break semantic structures, splitting functions or merging unrelated code, which can degrade generation quality. We propose chunking via Abstract Syntax Trees …

Statement from AFM International President on Trump Attacking Members Bruce Springsteen and Taylor Swift
https://www.afm.org/2025/05/afm-statement-on-trump-attacking-members-bruce-springsteen-and-taylor-swift/

Statement from AFM International President on Trump Attacking Members Bruce Springsteen and Taylor Swift
American Federation of Musicians International President Tino Gagliardi issued the following statement in response to Donald Trump’s attacks on members Bruce Springsteen, member of Local 47 (Los…

The threshold on what constitutes intelligent life just got fantastically smaller?
‘Intelligent’ proteins | Cellular and Molecular Life Sciences
#BeKindToProteinsWeek
https://link.springer.com/article/10.1007/s00018-025-05770-1

Uncovering Intention through LLM-Driven Code Snippet Description Generation
Yusuf Sulistyo Nugroho, Farah Danisha Salam, Brittany Reid, Raula Gaikovina Kula, Kazumasa Shimari, Kenichi Matsumoto
https://arxiv.org/abs/2506.15453

Uncovering Intention through LLM-Driven Code Snippet Description Generation
Documenting code snippets is essential to pinpoint key areas where both developers and users should pay attention. Examples include usage examples and other Application Programming Interfaces (APIs), which are especially important for third-party libraries. With the rise of Large Language Models (LLMs), the key goal is to investigate the kinds of description developers commonly use and evaluate how well an LLM, in this case Llama, can support description generation. We use NPM Code Snippets, co…

BREAKING: Today, the FCC approved Verizon’s $20 billion acquisition of Frontier.
“The transaction will unleash billions of dollars in new infrastructure builds in communities across the country—including rural America.” - Chairman
@BrendanCarrFCC

https://docs.fcc.gov/public/attachment

Large Language Models for Unit Testing: A Systematic Literature Review
Quanjun Zhang, Chunrong Fang, Siqi Gu, Ye Shang, Zhenyu Chen, Liang Xiao
https://arxiv.org/abs/2506.15227

Large Language Models for Unit Testing: A Systematic Literature Review
Unit testing is a fundamental practice in modern software engineering, with the aim of ensuring the correctness, maintainability, and reliability of individual software components. Very recently, with the advances in Large Language Models (LLMs), a rapidly growing body of research has leveraged LLMs to automate various unit testing tasks, demonstrating remarkable performance and significantly reducing manual effort. However, due to ongoing explorations in the LLM-based unit testing field, it is…

Adam Curtis explores Edward Bernays and his "Torches of Freedom" campaign
https://youtube.com/watch?v=IYWW6NEsNOQ&si=YXLwznqW1KRoeZu5

Advanced approach for Agile/Scrum Process: RetroAI
Maria Spichkova, Kevin Iwan, Madeleine Zwart, Hina Lee, Yuwon Yoon, Xiaohan Qin
https://arxiv.org/abs/2506.15172

Advanced approach for Agile/Scrum Process: RetroAI++
In Agile/Scrum software development, sprint planning and retrospective analysis are the key elements of project management. The aim of our work is to support software developers in these activities. In this paper, we present our prototype tool RetroAI++, based on emerging intelligent technologies. In our RetroAI++ prototype, we aim to automate and refine the practical application of Agile/Scrum processes within Sprint Planning and Retrospectives. Leveraging AI insights, our prototype aims to au…

Towards Bug-Free Distributed Go Programs
Zhengqun Koo
https://arxiv.org/abs/2506.15135 https://arxiv.org/pdf/2506.15135

Towards Bug-Free Distributed Go Programs
Programmers of distributed systems need to reason about concurrency to avoid races. However, reasoning about concurrency is difficult, and unexpected races show up as bugs. Data race detection in shared memory systems is well-studied (dynamic data race detection [13], behavioral types [15], dynamic race detection [31]). Similar to how a data race consists of reads and writes not related by happens-before at a shared memory location, a communication race consists of receives and sends not relate…

Enhancement Report Approval Prediction: A Comparative Study of Large Language Models
Haosheng Zuo, Feifei Niu, Chuanyi Li
https://arxiv.org/abs/2506.15098 …

Enhancement Report Approval Prediction: A Comparative Study of Large Language Models
Enhancement reports (ERs) serve as a critical communication channel between users and developers, capturing valuable suggestions for software improvement. However, manually processing these reports is resource-intensive, leading to delays and potential loss of valuable insights. To address this challenge, enhancement report approval prediction (ERAP) has emerged as a research focus, leveraging machine learning techniques to automate decision-making. While traditional approaches have employed fe…

Program Feature-based Fuzzing Benchmarking
Miao Miao
https://arxiv.org/abs/2506.15088 https://arxiv.org/pdf/2506.15088

Program Feature-based Fuzzing Benchmarking
Fuzzing is a powerful software testing technique renowned for its effectiveness in identifying software vulnerabilities. Traditional fuzzing evaluations typically focus on overall fuzzer performance across a set of target programs, yet few benchmarks consider how fine-grained program features influence fuzzing effectiveness. To bridge this gap, we introduce a novel benchmark designed to generate programs with configurable, fine-grained program features to enhance fuzzing evaluations. We reviewe…

An Empirical Study of Bugs in Data Visualization Libraries
Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun
https://arxiv.org/abs/2506.15084

An Empirical Study of Bugs in Data Visualization Libraries
Data visualization (DataViz) libraries play a crucial role in presentation, data analysis, and application development, underscoring the importance of their accuracy in transforming data into visual representations. Incorrect visualizations can adversely impact user experience, distort information conveyance, and influence user perception and decision-making processes. Visual bugs in these libraries can be particularly insidious as they may not cause obvious errors like crashes, but instead mis…

OS-Harm: A Benchmark for Measuring Safety of Computer Use Agents
Thomas Kuntz, Agatha Duzan, Hao Zhao, Francesco Croce, Zico Kolter, Nicolas Flammarion, Maksym Andriushchenko
https://arxiv.org/abs/2506.14866

OS-Harm: A Benchmark for Measuring Safety of Computer Use Agents
Computer use agents are LLM-based agents that can directly interact with a graphical user interface, by processing screenshots or accessibility trees. While these systems are gaining popularity, their safety has been largely overlooked, despite the fact that evaluating and understanding their potential for harmful behavior is essential for widespread adoption. To address this gap, we introduce OS-Harm, a new benchmark for measuring safety of computer use agents. OS-Harm is built on top of the O…

[2025-06-19 Thu (UTC), 9 new articles found for cs.SE Software Engineering]
toXiv_bot_toot

Replaced article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
Vul-RAG: Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG

Unified Software Engineering agent as AI Software Engineer
Leonhard Applis, Yuntong Zhang, Shanchao Liang, Nan Jiang, Lin Tan, Abhik Roychoudhury
https://arxiv.org/abs/2506.14683 …

Unified Software Engineering agent as AI Software Engineer
The growth of Large Language Model (LLM) technology has raised expectations for automated coding. However, software engineering is more than coding and is concerned with activities including maintenance and evolution of a project. In this context, the concept of LLM agents has gained traction, which utilize LLMs as reasoning engines to invoke external tools autonomously. But is an LLM agent the same as an AI software engineer? In this paper, we seek to understand this question by developing a U…

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
Yanzhen Zou, Xianlin Zhao, Xinglu Pan, Bing Xie
https://arxiv.org/abs/2506.14649

Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
Issue reports have been recognized to contain rich information for retrieval-augmented code comment generation. However, how to minimize hallucinations in the generated comments remains significant challenges. In this paper, we propose IsComment, an issue-based LLM retrieval and verification approach for generating method's design rationale, usage directives, and so on as supplementary code comments. We first identify five main types of code supplementary information that issue reports can prov…

Navigating the growing field of research on AI for software testing -- the taxonomy for AI-augmented software testing and an ontology-driven literature survey
Ina K. Schieferdecker
https://arxiv.org/abs/2506.14640

Navigating the growing field of research on AI for software testing -- the taxonomy for AI-augmented software testing and an ontology-driven literature survey
In industry, software testing is the primary method to verify and validate the functionality, performance, security, usability, and so on, of software-based systems. Test automation has gained increasing attention in industry over the last decade, following decades of intense research into test automation and model-based testing. However, designing, developing, maintaining and evolving test automation is a considerable effort. Meanwhile, AI's breakthroughs in many engineering fields are opening…

ACM Survey Draft on Formalising Software Requirements with Large Language Models
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
https://arxiv.org/abs/2506.14627

ACM Survey Draft on Formalising Software Requirements with Large Language Models
This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP) and Theory of Institutions (Section 6). Please refer to abstract of [7,8]. Key difference of this draft from our recently anticipated ones with similar titles, i.e. AACS 2025 [7] and SAIV 2025 [8] is: [7] is a two page submission to ADAPT Annual Conference, I…

Low-code to fight climate change: the Climaborough project
Aaron Conrardy, Armen Sulejmani, Cindy Guerlain, Daniele Pagani, David Hick, Matteo Satta, Jordi Cabot
https://arxiv.org/abs/2506.14623

Low-code to fight climate change: the Climaborough project
The EU-funded Climaborough project supports European cities to achieve carbon neutrality by 2030. Eleven cities in nine countries will deploy in real conditions products and services fostering climate transition in their local environment. The Climaborough City Platform is being developed to monitor the cities' overall progress towards their climate goals by aggregating historic and real-time data and displaying the results in user-friendly dashboards that will be used by non-technical experts …

Automatic Qiskit Code Refactoring Using Large Language Models
Jos\'e Manuel Su\'arez, Luis Mariano Bibb\'o, Joaquin Bogado, Alejandro Fernandez
https://arxiv.org/abs/2506.14535

Automatic Qiskit Code Refactoring Using Large Language Models
As quantum software frameworks evolve, developers face increasing challenges in maintaining compatibility with rapidly changing APIs. In this work, we present a novel methodology for refactoring Qiskit code using large language models (LLMs). We begin by extracting a taxonomy of migration scenarios from the different sources of official Qiskit documentation (such as release notes), capturing common patterns such as migration of functionality to different modules and deprecated usage. This taxon…

Defining the Game Producer: A Mapping of Key Characteristics and Differentiators of the Professional Behind Digital Game Production
Rafael C. Lopes, Danilo M. Ribeiro
https://arxiv.org/abs/2506.14409

Defining the Game Producer: A Mapping of Key Characteristics and Differentiators of the Professional Behind Digital Game Production
Introduction: As digital games grow in complexity, the role of the Game Producer becomes increasingly relevant for aligning creative, technical, and business dimensions. Objective: This study aimed to identify and map the main characteristics, skills, and competencies that define the Digital Game Producer profile. Methodology: A qualitative investigation was conducted with 11 semi-structured interviews, analyzed through Grounded Theory to build categories grounded in professional practice. Resu…

Agile and Student-Centred Teaching of Agile/Scrum Concepts
Maria Spichkova
https://arxiv.org/abs/2506.14369 https://arxiv.org/pdf/250…

Agile and Student-Centred Teaching of Agile/Scrum Concepts
In this paper, we discuss our experience in designing and teaching a course on Software Engineering Project Management, where the focus is on Agile/Scrum development and Requirement Engineering activities. The course has undergone fundamental changes since 2020 to make the teaching approach more student-centred and flexible. As many universities abandoned having face-to-face exams at the end of the semester, authentic assessments now play an even more important role than before. This makes asse…

Quality Assessment of Python Tests Generated by Large Language Models
Victor Alves, Carla Bezerra, Ivan Machado, Larissa Rocha, T\'assio Virg\'inio, Publio Silva
https://arxiv.org/abs/2506.14297

Quality Assessment of Python Tests Generated by Large Language Models
The manual generation of test scripts is a time-intensive, costly, and error-prone process, indicating the value of automated solutions. Large Language Models (LLMs) have shown great promise in this domain, leveraging their extensive knowledge to produce test code more efficiently. This study investigates the quality of Python test code generated by three LLMs: GPT-4o, Amazon Q, and LLama 3.3. We evaluate the structural reliability of test suites generated under two distinct prompt contexts: Te…

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
Daniele La Prova, Emanuele Gentili, Davide Falessi
https://arxiv.org/abs/2506.14290

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
The primary goal of bug prediction is to optimize testing efforts by focusing on software fragments, i.e., classes, methods, commits (JIT), or lines of code, most likely to be buggy. However, these predicted fragments already contain bugs. Thus, the current bug prediction approaches support fixing rather than prevention. The aim of this paper is to introduce and evaluate Ticket-Level Prediction (TLP), an approach to identify tickets that will introduce bugs once implemented. We analyze TLP at t…

Designing a Custom Chaos Engineering Framework for Enhanced System Resilience at Softtech
Ethem Utku Aktas, Burak Tuzlutas, Burak Yesiltas
https://arxiv.org/abs/2506.14281

Designing a Custom Chaos Engineering Framework for Enhanced System Resilience at Softtech
Chaos Engineering is a discipline which enhances software resilience by introducing faults to observe and improve system behavior intentionally. This paper presents a design proposal for a customized Chaos Engineering framework tailored for Softtech, a leading software development company serving the financial sector. It outlines foundational concepts and activities for introducing Chaos Engineering within Softtech, while considering financial sector regulations. Building on these principles, t…

The Tech DEI Backlash -- The Changing Landscape of Diversity, Equity, and Inclusion in Software Engineering
Sonja M. Hyrynsalmi, Mary Sanchez-Gordon, Anna Szlavi, Letizia Jaccheri
https://arxiv.org/abs/2506.14232

The Tech DEI Backlash -- The Changing Landscape of Diversity, Equity, and Inclusion in Software Engineering
Not long ago, Diversity, Equity, and Inclusion (DEI) initiatives were a top priority for leading software companies. However, in a short period, a wave of backlash has led many firms to re-assess their DEI strategies. Responding to this DEI backlash is crucial in academic research, especially because, currently, little scholarly research has been done on it. In this paper, therefore, we have set forth the following research question (RQ): "How have leading software companies changed their DEI s…

Mobile Application Review Summarization using Chain of Density Prompting
Shristi Shrestha, Anas Mahmoud
https://arxiv.org/abs/2506.14192 https://

Mobile Application Review Summarization using Chain of Density Prompting
Mobile app users commonly rely on app store ratings and reviews to find apps that suit their needs. However, the sheer volume of reviews available on app stores can lead to information overload, thus impeding users' ability to make informed app selection decisions. To address this challenge, we leverage Large Language Models (LLMs) to summarize mobile app reviews. In particular, we use the Chain of Density (CoD) prompt to guide OpenAI GPT-4 to generate abstractive, semantically dense, and easil…

A Quantum Annealing Approach for Solving Optimal Feature Selection and Next Release Problems
Shuchang Wang, Xiaopeng Qiu, Yingxing Xue, Yanfu Li, Wei Yang
https://arxiv.org/abs/2506.14129

A Quantum Annealing Approach for Solving Optimal Feature Selection and Next Release Problems
Search-based software engineering (SBSE) addresses critical optimization challenges in software engineering, including the next release problem (NRP) and feature selection problem (FSP). While traditional heuristic approaches and integer linear programming (ILP) methods have demonstrated efficacy for small to medium-scale problems, their scalability to large-scale instances remains unknown. Here, we introduce quantum annealing (QA) as a subroutine to tackling multi-objective SBSE problems, leve…

Characterising Bugs in Jupyter Platform
Yutian Tang, Hongchen Cao, Yuxi Chen, David Lo
https://arxiv.org/abs/2506.14055 https://arxiv…

Characterising Bugs in Jupyter Platform
As a representative literate programming platform, Jupyter is widely adopted by developers, data analysts, and researchers for replication, data sharing, documentation, interactive data visualization, and more. Understanding the bugs in the Jupyter platform is essential for ensuring its correctness, security, and robustness. Previous studies focused on code reuse, restoration, and repair execution environment for Jupyter notebooks. However, the bugs in Jupyter notebooks' hosting platform Jupyte…

CRITICTOOL: Evaluating Self-Critique Capabilities of Large Language Models in Tool-Calling Error Scenarios
Shiting Huang, Zhen Fang, Zehui Chen, Siyu Yuan, Junjie Ye, Yu Zeng, Lin Chen, Qi Mao, Feng Zhao
https://arxiv.org/abs/2506.13977

CRITICTOOL: Evaluating Self-Critique Capabilities of Large Language Models in Tool-Calling Error Scenarios
The ability of large language models (LLMs) to utilize external tools has enabled them to tackle an increasingly diverse range of tasks. However, as the tasks become more complex and long-horizon, the intricate tool utilization process may trigger various unexpected errors. Therefore, how to effectively handle such errors, including identifying, diagnosing, and recovering from them, has emerged as a key research direction for advancing tool learning. In this work, we first extensively analyze t…

How Does LLM Reasoning Work for Code? A Survey and a Call to Action
Ira Ceka, Saurabh Pujar, Irene Manotas, Gail Kaiser, Baishakhi Ray, Shyam Ramji
https://arxiv.org/abs/2506.13932

How Does LLM Reasoning Work for Code? A Survey and a Call to Action
The rise of large language models (LLMs) has led to dramatic improvements across a wide range of natural language tasks. These advancements have extended into the domain of code, facilitating complex tasks such as code generation, translation, summarization, and repair. However, their utility for real-world deployment in-the-wild has only recently been studied, particularly on software engineering (SWE) tasks such as GitHub issue resolution. In this study, we examine the code reasoning techniqu…

FrontendBench: A Benchmark for Evaluating LLMs on Front-End Development via Automatic Evaluation
Hongda Zhu, Yiwen Zhang, Bing Zhao, Jingzhe Ding, Siyao Liu, Tong Liu, Dandan Wang, Yanan Liu, Zhaojian Li
https://arxiv.org/abs/2506.13832

FrontendBench: A Benchmark for Evaluating LLMs on Front-End Development via Automatic Evaluation
Large Language Models (LLMs) have made significant strides in front-end code generation. However, existing benchmarks exhibit several critical limitations: many tasks are overly simplistic, test cases often lack rigor, and end-to-end validation is absent. These issues hinder the accurate assessment of model performance. To address these challenges, we present FrontendBench, a benchmark co-developed by humans and LLMs. FrontendBench categorizes tasks based on code functionality and incorporates …

MLDebugging: Towards Benchmarking Code Debugging Across Multi-Library Scenarios
Jinyang Huang, Xiachong Feng, Qiguang Chen, Hanjie Zhao, Zihui Cheng, Jiesong Bai, Jingxuan Zhou, Min Li, Libo Qin
https://arxiv.org/abs/2506.13824

MLDebugging: Towards Benchmarking Code Debugging Across Multi-Library Scenarios
Code debugging is a crucial task in software engineering, which attracts increasing attention. While remarkable success has been made in the era of large language models (LLMs), current research still focuses on the simple no-library or single-library setting, ignoring the complex multi-library scenario in real-world applications. To address this limitation, we make the first attempt to introduce MLDebugging (Multi-Library Debugging), a comprehensive benchmark designed to assess debugging chall…

Role, cost, and complexity of software in the real-world: a case for formal methods
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
https://arxiv.org/abs/2506.13821

Role, cost, and complexity of software in the real-world: a case for formal methods
In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of the major software failures that happened during the last~$40$ years. We argue that these costs justify researching, studying and applying formal software verification and in particular program analysis. This position is supported by successful industrial experiences.

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
Shraddha Surana, Ashwin Srinivasan, Michael Bain
https://arxiv.org/abs/2506.13820

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection, and iteration. This set of 600 tasks has resisted automated solutions. This paper presents a structured inductive programming approach with LLMs that successfully solves tasks across all IPARC categories. The controlled nature of IPARC reveals insights into LLM-based code generation, including the importance of prior…

Signal-First Architectures: Rethinking Front-End Reactivity
Shrinivass Arunachalam Balasubramanian
https://arxiv.org/abs/2506.13815 https://

Signal-First Architectures: Rethinking Front-End Reactivity
Modern front-end frameworks face escalating reactivity management challenges, including performance degradation from complex observable chains and unpredictable re-renders. This paper introduces Signal-First Architecture--a novel paradigm where granular, dependency-tracked signals are the atomic unit of reactivity. Unlike traditional RxJS or NgRx patterns, Signal-First enforces reactive flows from explicit signal declarations, with derived values via computed() and side effects scoped to effect…

Instruction and Solution Probabilities as Heuristics for Inductive Programming
Edward McDaid, Sarah McDaid
https://arxiv.org/abs/2506.13804 https://…

Instruction and Solution Probabilities as Heuristics for Inductive Programming
Instruction subsets (ISs) are heuristics that can shrink the size of the inductive programming (IP) search space by tens of orders of magnitude. Here, we extend the IS approach by introducing instruction and solution probabilities as additional heuristics. Instruction probability reflects the expectation of an instruction occurring in a solution, based on the frequency of instruction occurrence in a large code sample. The solution probability for a partial or complete program is simply the prod…

Replaced article(s) found for cs.SE. https://arxiv.org/list/cs.SE/new
[1/1]:
- Predicting the Understandability of Computational Notebooks through Code Metrics Analysis
Ghahfarokhi, Asadi, Asgari, Mohammadi, Heydarnoori, Rizi