Fixing hardware security bugs with large language models

B Ahmad, S Thakur, B Tan, R Karri… - ar** enables developers to annotate types of their own choosing, offering a
flexible middle ground between no type annotations and a fully statically typed language. As …

Core: Resolving code quality issues using llms

N Wadhwa, J Pradhan, A Sonwane, SP Sahu… - Proceedings of the …, 2024 - dl.acm.org
As software projects progress, quality of code assumes paramount importance as it affects
reliability, maintainability and security of software. For this reason, static analysis tools are …

Frustrated with code quality issues? llms can help!

N Wadhwa, J Pradhan, A Sonwane, SP Sahu… - arxiv preprint arxiv …, 2023 - arxiv.org
As software projects progress, quality of code assumes paramount importance as it affects
reliability, maintainability and security of software. For this reason, static analysis tools are …

Propr: property-based automatic program repair

MP Gissurarson, L Applis, A Panichella… - Proceedings of the 44th …, 2022 - dl.acm.org
Automatic program repair (APR) regularly faces the challenge of overfitting patches---
patches that pass the test suite, but do not actually address the problems when evaluated …

Methodology for code synthesis evaluation of LLMs presented by a case study of ChatGPT and copilot

Z Ságodi, I Siket, R Ferenc - Ieee Access, 2024 - ieeexplore.ieee.org
Large Language Models (LLMs) have grown in popularity in recent years and are now
employed in a variety of software engineering domains thanks to their Natural Language …