Latest Articles for Software Development

Introducing artificial bugs can boost engagement in bug bounty programs.

AI is transforming the way we write and prove code correctness.

A look at the compactness lemma and its role in recursive programming functions.

Exploring how Large Language Models are transforming software bug fixing.

Core QUIC offers a flexible solution for evolving Internet protocols like QUIC.

A new method enhances graph querying by focusing on relevant parts.

CityJSONSeq streamlines the handling of large city datasets efficiently.

Examining the challenges and future roles in automatic programming with LLMs.

A new automated method simplifies integrating deep learning kernels into models.

Exploring new methods for verifying SQL queries using table and relation theories.

SCRABLE offers automated solutions for effective app review management.

A clear guide on software architecture and its impact on design choices.

Study assesses energy efficiency of code from Code Llama versus human-written solutions.

Explore the concept of representing functions through processes in computer science.

HELIX creates synthetic datasets for better program similarity analysis.

SWE-agent improves LM agents' performance in software engineering tasks with a specialized interface.

This article explores learned indexes that improve database search speed using machine learning.

Examining how emotions, communication, and teamwork impact software creation.

MICROSIM software simplifies materials science simulations for researchers and engineers.

Examining how Kotlin and Java work together and the challenges developers face.

This article explores modern methods for detecting malware using deep learning and innovative technologies.

Granite models enhance coding tasks, improving efficiency for developers.

Unikernels offer efficient solutions for Internet measurement, requiring fewer resources and quicker deployment.

Research highlights the evolving role of software engineering in the upcoming 6G technology.

A fresh method for creating efficient gaming strategies through program behaviors.

Researchers enhance database query plans using machine learning techniques.

A method to automate and optimize instruction selection for various computer architectures.

Pymablock revolutionizes how researchers analyze complex quantum systems efficiently.

Exploring user interaction and control in LLM-powered data analysis tools.

CrashJS provides a dataset to help combat JavaScript crashes in Node.js applications.

BitVMX enables program execution and verification on the Bitcoin network efficiently.

Using LLMs to improve adaptation in MLOps.

This study assesses how well LLMs can identify and classify technical debt.

A comprehensive approach to analyze programs regardless of programming language.

CodeCompass helps developers access documentation directly in their IDE for better code comprehension.

A fresh model that combines functional and object-oriented programming principles for better application design.

PeakPerformance simplifies chromatographic data analysis for better research outcomes.

This study examines methods to enhance plugin security in software development.

Learn how to build a tree that handles aggregate queries efficiently in concurrent environments.

New software version improves analysis of Drosophila melanogaster eye genetics.