Search Results for author: Michael Pradel

Found 14 papers, 7 papers with code

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair

no code implementations25 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.

Language Modelling Large Language Model +1

Calibration and Correctness of Language Models for Code

no code implementations3 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.

Fuzz4All: Universal Fuzzing with Large Language Models

1 code implementation9 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.

LExecutor: Learning-Guided Execution

1 code implementation5 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.

Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code

no code implementations2 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.

Code Generation Few-Shot Learning +1

Meta Learning for Code Summarization

no code implementations20 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.

Code Summarization Meta-Learning +1

Learning to Make Compiler Optimizations More Effective

no code implementations24 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.

Neural Software Analysis

2 code implementations16 Nov 2020 Michael Pradel, Satish Chandra

The resulting tools complement and outperform traditional program analyses, and are used in industrial practice.

Code Completion Logical Reasoning +1

TypeWriter: Neural Type Prediction with Search-based Validation

1 code implementation8 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

IdBench: Evaluating Semantic Representations of Identifier Names in Source Code

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.

Word Embeddings

Neural Bug Finding: A Study of Opportunities and Challenges

no code implementations1 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.

Small World with High Risks: A Study of Security Threats in the npm Ecosystem

1 code implementation25 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

Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts

no code implementations31 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.

DeepBugs: A Learning Approach to Name-based Bug Detection

2 code implementations30 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

Cannot find the paper you are looking for? You can Submit a new open access paper.