Latest Articles for Software Development

A new system speeds up and simplifies the 3D modeling process.

AnalogCoder makes analog circuit design easier and more accessible for everyone.

PV-Tuning improves fine-tuning and compression for large language models.

This article discusses enhancing code completion tools by predicting developer needs for suggestions.

This framework automates the generation of tests to improve exception handling in software.

POETRY enhances theorem proving efficiency through its recursive approach.

Qwerty makes quantum programming more accessible and efficient for developers.

This system provides a scalable environment to test autonomous agents across real-world Android applications.

A new framework enhances the efficiency of automated penetration testing using reinforcement learning.

This study examines how teams create code clones in software projects.

Exploring the role of AI in fixing software vulnerabilities.

This article examines techniques for differentiating between human and AI-generated code.

Innopolis University leads research on handling identifiers in programming languages.

A new system improves memory management for AI using GPUs.

This article highlights the importance of updating code comments for clarity.

A new algorithm improves code refinement using LLMs more efficiently.

A tool that leverages AI to generate helper assertions for Dafny code verification.

Explore how parametricity and cohesion shape reliable type systems.

A look into large language models for coding and their ecosystem.

A practical approach to analyzing costs in data structures over time.

AbstractBeam enhances program synthesis, leveraging efficient code generation through Library Learning.

Explore how computer programs can be automatically generated to meet specific requirements.

An analysis of how companies contribute to and benefit from open source software.

This article examines how data arrangement impacts program speed and efficiency.

A new technique improves text generation in natural language processing.

Learn how machine learning concepts help define testing boundaries for software.

CELL framework improves feature interaction selection for personalized recommendations.

Enhancing LLMs' ability to refine their code through self-debugging techniques.

Examining the dangers of quantized language models and their potential misuse.

A look at improving safety in aerospace software with Rust.

Learn how game semantics clarifies program functions through interactive models.

A new method enhances language models by generating multiple tokens simultaneously.

New methods improve understanding of binary code through innovative approaches.

A new model concept shows how to test AI capabilities effectively.

A new model that enhances code generation using multi-source data.

Learn how LLMs enhance telecom efficiency and knowledge accessibility.

A study on the effectiveness of libraries parsing X.509 certificates.

Analyzing teamwork's role in software projects and its effects on outcomes.

Learn how quantum technology protects private communication.

A look at how different self-adjusting trees perform with various access patterns.