A look into the importance of verifying CCF for secure cloud applications.
― 8 min read
Computer Science - Software Engineering
RSSResearch identifies hidden API changes that affect app performance across Android versions.
― 6 min read
Study uncovers how static analysis warnings relate to architectural design flaws.
― 7 min read
AI tools are transforming how developers work, improving efficiency and productivity.
― 6 min read
Automated tool for verifying the correctness of quantum programs written in Silq.
― 7 min read
This article assesses the effectiveness of large language models in creating hardware assertions.
― 7 min read
APIGen generates diverse, high-quality datasets for function-calling agents.
― 5 min read
Exploring how design smells affect software development and maintenance roles.
― 6 min read
New software simplifies analysis of complexity measures in time series data.
― 6 min read
A new app helps farmers share feedback easily while working.
― 6 min read
This article explores how users improve architecture-related questions on Stack Overflow.
― 6 min read
Integrating sustainability into computing education is essential for future engineers.
― 7 min read
A system to prevent attacks on Java applications by using a class allowlist.
― 5 min read
This study assesses the effectiveness of LLMs in creating unit tests.
― 7 min read
A new tool improves identification of software authors through code analysis.
― 6 min read
A new approach to improve testing in configurable systems by prioritizing critical features.
― 6 min read
A review of machine learning's role in improving continuous integration processes.
― 7 min read
Microgrid simulations help optimize renewable energy integration and system performance.
― 6 min read
A new framework simplifies the creation of machine learning pipelines for digital twins.
― 5 min read
A tool to verify the safety of deep learning models.
― 5 min read
LASSI helps translate computer programs for efficient scientific computing.
― 5 min read
An overview of package manager challenges and their impact on developers.
― 5 min read
Cedar offers a clear way to develop authorization policies for applications.
― 5 min read
Simplified methods outperform complex agents in software problem-solving.
― 7 min read
Examining methods to enhance code generation for specialized programming languages using LLMs.
― 6 min read
New platform and dataset aim to enhance bug-fixing models for the Linux kernel.
― 7 min read
ResearchBot aids developers by connecting them with academic research insights.
― 5 min read
This study assesses how well GPT-3.5 and GPT-4 detect code clones.
― 5 min read
A study on improving code security generated by AI models.
― 6 min read
Learn about drift in ML and how to address it effectively.
― 5 min read
A new framework enhances process mining by using reference models for best practice violations.
― 6 min read
A formal approach to verify the correctness of DAG-based consensus protocols.
― 10 min read
A two-stage framework improves Python's type inference, enhancing code quality and efficiency.
― 6 min read
Exploring machine learning models and new datasets for improved security.
― 7 min read
Advanced language models enhance automated testing of mobile apps, detecting crucial bugs.
― 7 min read
A new tool enhances Git merging by analyzing code dependencies.
― 5 min read
A new framework tackles fairness in deep neural networks during model pruning.
― 7 min read
A detailed look at how code LLMs manage transformations in code.
― 6 min read
ESBMC-Python helps verify Python code correctness using type annotations and bounded model checking.
― 5 min read
A study on how LLMs manage coding rules and constraints.
― 4 min read