no code implementations • 25 Mar 2024 • Islem Bouzenia, Premkumar Devanbu, Michael Pradel
Unlike existing deep learning-based approaches, which prompt a model with a fixed prompt or in a fixed feedback loop, our work treats the LLM as an agent capable of autonomously planning and executing actions to fix bugs by invoking suitable tools.
no code implementations • 3 Feb 2024 • Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
Our contributions will lead to better-calibrated decision-making in the current use of code generated by language models, and offers a framework for future research to further improve calibration methods for generative models in Software Engineering.
1 code implementation • 9 Aug 2023 • Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Moreover, the inputs generated by existing fuzzers are often limited to specific features of the input language, and thus can hardly reveal bugs related to other or new features.
1 code implementation • 5 Feb 2023 • Beatriz Souza, Michael Pradel
The key idea is to let a neural model predict missing values that otherwise would cause the program to get stuck, and to inject these values into the execution.
no code implementations • 2 Jun 2022 • Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel
For example, we find that providing a small natural language description of the code generation task is an easy way to improve predictions.
no code implementations • 20 Jan 2022 • Moiz Rauf, Sebastian Padó, Michael Pradel
Source code summarization is the task of generating a high-level natural language description for a segment of programming language code.
no code implementations • 24 Feb 2021 • Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
Applying the transformations that our model deems most favorable prior to compilation yields an average speedup of 1. 14x.
2 code implementations • 16 Nov 2020 • Michael Pradel, Satish Chandra
The resulting tools complement and outperform traditional program analyses, and are used in industrial practice.
1 code implementation • 8 Dec 2019 • Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
Unfortunately, static type inference for dynamic languages is inherently limited, while probabilistic approaches suffer from imprecision.
Software Engineering
1 code implementation • ICLR 2020 • Yaza Wainakh, Moiz Rauf, Michael Pradel
Our results show that the effectiveness of semantic representations varies significantly and that the best available embeddings successfully represent semantic relatedness.
no code implementations • 1 Jun 2019 • Andrew Habib, Michael Pradel
Static analysis is one of the most widely adopted techniques to find software bugs before code is put in production.
1 code implementation • 25 Feb 2019 • Markus Zimmermann, Cristian-Alexandru Staicu, Cam Tenny, Michael Pradel
Studying the potential for running vulnerable or malicious code due to third-party dependencies, we find that individual packages could impact large parts of the entire ecosystem.
Cryptography and Security
no code implementations • 31 Aug 2018 • Rohan Bavishi, Michael Pradel, Koushik Sen
Most of the JavaScript code deployed in the wild has been minified, a process in which identifier names are replaced with short, arbitrary and meaningless names.
2 code implementations • 30 Apr 2018 • Michael Pradel, Koushik Sen
We formulate bug detection as a binary classification problem and train a classifier that distinguishes correct from incorrect code.
Software Engineering Programming Languages