Latest Articles for Software Development

CLAA improves API review categorization for better developer insights.

Investigating the use of ChatGPT to grade open-ended questions in software training.

A look into univalent reference types and their implications for programming languages.

Addressing rising cyber threats to software supply chains through collaborative efforts and best practices.

A new method enhances accuracy in identifying software vulnerabilities.

E-graphs simplify verification processes for datapath circuits, enhancing efficiency and accuracy.

MetaGPT enhances collaboration among agents for more effective task-solving.

A new method focuses on binary code behaviors for better similarity detection.

Learn about program termination and its significance in concurrent programming.

A system to balance workloads among actors for better data processing.

Learn about gradual sensitivity typing and its role in enhancing programming security.

A new Python package simplifies downsampling large time series datasets for better visualization.

A study on the vulnerabilities of LLM-integrated applications against SQL injection attacks.

URET offers a flexible solution against adversarial attacks in various data types.

Leaven streamlines surface and volume sampling for 3D shapes in simulations.

ScalOTA improves OTA updates for vehicles using update stations for faster and secure downloads.

Data poisoning in AI can lead to vulnerable code generation, posing security threats.

SoftFlow helps identify security issues in electronic device design, protecting sensitive data.

TIPICAL enhances type inference, addressing challenges in programming with improved accuracy.

Video tracking technology aids researchers in observing animal behavior non-invasively.

MASC provides a new approach to test crypto-API misuse detectors effectively.

Introducing a program logic to enhance reasoning for higher-order, stateful software.

A novel approach to accurately assess binary code similarities.

This article discusses memory safety challenges and a new solution: Data-Pointer Tagging.

LibPreemptible improves scheduling in cloud applications, reducing delays and enhancing performance.

Investigating the practice of developer focus in open-source microservices.

Feather helps developers share machine learning models easily through user-friendly interfaces.

Examining the unpredictable nature of code generation with ChatGPT.

Examining limitations of LLMs in translating code and techniques for improvement.

A new framework improves WebAssembly binary protection against reverse engineering.

A new architecture aims to improve resource management across cloud and edge devices.

LARCH simplifies readme generation using code representation and language models.

This work presents a method to improve code understanding in LLMs using symmetry.

A new method improves color accuracy in photography under varying light conditions.

New method improves accuracy in turning piano audio into sheet music.

New methods improve understanding of language models used for coding tasks.

New methods for monitoring complex systems using prefix transducers improve real-time verification.

A new method for lowering expenses in machine learning language services.

A study on the current state of open-source ML product development.

Jade improves video quality through user feedback and adaptive streaming techniques.