Michael Pradel

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 112

Top Venues

Publications

Islem Bouzenia, Michael Pradel
Resource Usage and Optimization Opportunities in Workflows of GitHub Actions. ICSE (2024)
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
PyTy: Repairing Static Type Errors in Python. ICSE (2024)
Islem Bouzenia, Premkumar T. Devanbu, Michael Pradel
RepairAgent: An Autonomous, LLM-Based Agent for Program Repair. CoRR (2024)
Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
DyPyBench: A Benchmark of Executable Python Software. CoRR (2024)
Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Susmit Jha, Prem Devanbu, Toufique Ahmed
Quality and Trust in LLM-generated Code. CoRR (2024)
Matteo Paltenghi, Michael Pradel
Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yiu Wai Chow, Luca Di Grazia, Michael Pradel
PyTy: Repairing Static Type Errors in Python. CoRR (2024)
Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
DyPyBench: A Benchmark of Executable Python Software. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Aryaz Eghbali, Michael Pradel
De-Hallucinator: Iterative Grounding for LLM-Based Code Completion. CoRR (2024)
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Fuzz4All: Universal Fuzzing with Large Language Models. ICSE (2024)
Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning. ICSE (2023)
Islem Bouzenia, Michael Pradel
When to Say What: Learning to Find Condition-Message Inconsistencies. ICSE (2023)
Matteo Paltenghi, Michael Pradel
LintQ: A Static Analysis Framework for Qiskit Quantum Programs. CoRR (2023)
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
Universal Fuzzing via Large Language Models. CoRR (2023)
Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. ISSTA (2023)
Yiu Wai Chow, Max Schäfer, Michael Pradel
Beware of the Unexpected: Bimodal Taint Analysis. ISSTA (2023)
Beatriz Souza, Michael Pradel
LExecutor: Learning-Guided Execution. CoRR (2023)
Islem Bouzenia, Yangruibo Ding, Kexin Pei, Baishakhi Ray, Michael Pradel
TraceFixer: Execution Trace-Driven Program Repair. CoRR (2023)
Matteo Paltenghi, Michael Pradel
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. ICSE (2023)
Dominik Huber, Matteo Paltenghi, Michael Pradel
Where to Look When Repairing Code? Comparing the Attention of Neural Models and Developers. CoRR (2023)
Beatriz Souza, Michael Pradel
LExecutor: Learning-Guided Execution. ESEC/SIGSOFT FSE (2023)
Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav
Programming Language Processing (Dagstuhl Seminar 23062). Dagstuhl Reports 13 (2) (2023)
Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu
SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript. ICSE (2023)
Yiu Wai Chow, Max Schäfer, Michael Pradel
Beware of the Unexpected: Bimodal Taint Analysis. CoRR (2023)
Luca Di Grazia, Michael Pradel
Code Search: A Survey of Techniques for Finding Code. ACM Comput. Surv. 55 (11) (2023)
Luca Di Grazia, Paul Bredl, Michael Pradel
DiffSearch: A Scalable and Precise Search Engine for Code Changes. IEEE Trans. Software Eng. 49 (4) (2023)
Aryaz Eghbali, Michael Pradel
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code. ICSE-Companion (2022)
Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks. ICSE (2022)
Luca Di Grazia, Michael Pradel
Code Search: A Survey of Techniques for Finding Code. CoRR (2022)
Matteo Paltenghi, Michael Pradel
Bugs in Quantum computing platforms: an empirical study. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Aryaz Eghbali, Michael Pradel
DynaPyt: a dynamic analysis framework for Python. ESEC/SIGSOFT FSE (2022)
Luca Di Grazia, Paul Bredl, Michael Pradel
DiffSearch: A Scalable and Precise Search Engine for Code Changes. CoRR (2022)
Jibesh Patra, Michael Pradel
Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks. ICSE (2022)
Moiz Rauf, Sebastian Padó, Michael Pradel
Meta Learning for Code Summarization. CoRR (2022)
Aryaz Eghbali, Michael Pradel
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code. ASE (2022)
Matteo Paltenghi, Michael Pradel
MorphQ: Metamorphic Testing of Quantum Computing Platforms. CoRR (2022)
Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code. CoRR (2022)
Daniel Lehmann, Michael Pradel
Finding the dwarf: recovering precise types from WebAssembly binaries. PLDI (2022)
Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang
Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly. IEEE Symposium on Security and Privacy (2022)
Luca Di Grazia, Michael Pradel
The evolution of type annotations in python: an empirical study. ESEC/SIGSOFT FSE (2022)
Michael Pradel, Satish Chandra
Neural software analysis. Commun. ACM 65 (1) (2022)
Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
Generating realistic vulnerabilities via neural code editing: an empirical study. ESEC/SIGSOFT FSE (2022)
Matteo Paltenghi, Michael Pradel
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code. ASE (2021)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
Automatic Program Repair. IEEE Softw. 38 (4) (2021)
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Finding data compatibility bugs with JSON subschema checking. ISSTA (2021)
Cong Pan, Michael Pradel
Continuous test suite failure prediction. ISSTA (2021)
Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction. CCS (2021)
Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
Learning to Make Compiler Optimizations More Effective. CoRR (2021)
Jibesh Patra, Michael Pradel
Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks. CoRR (2021)
Daniel Lehmann, Martin Toldam Torp, Michael Pradel
Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly. CoRR (2021)
Aaron Hilbig, Daniel Lehmann, Michael Pradel
An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases. WWW (2021)
Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
Learning to make compiler optimizations more effective. MAPS@PLDI (2021)
Yaza Wainakh, Moiz Rauf, Michael Pradel
IdBench: Evaluating Semantic Representations of Identifier Names in Source Code. ICSE (2021)
Xue Han, Tingting Yu, Michael Pradel
ConfProf: White-Box Performance Profiling of Configuration Options. ICPE (2021)
Jhonny Mertz, Ingrid Nunes, Luca Della Toffola, Marija Selakovic, Michael Pradel
Satisfying Increasing Performance Requirements With Caching at the Application Level. IEEE Softw. 38 (3) (2021)
Jibesh Patra, Michael Pradel
Semantic bug seeding: a learning-based approach for creating realistic bugs. ESEC/SIGSOFT FSE (2021)
Matteo Paltenghi, Michael Pradel
Bugs in Quantum Computing Platforms: An Empirical Study. CoRR (2021)
Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang
A Survey of Compiler Testing. ACM Comput. Surv. 53 (1) (2020)
Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
TypeWriter: neural type prediction with search-based validation. ESEC/SIGSOFT FSE (2020)
Jhonny Mertz, Ingrid Nunes, Luca Della Toffola, Marija Selakovic, Michael Pradel
Satisfying Increasing Performance Requirements with Caching at the Application Level. CoRR (2020)
Aryaz Eghbali, Michael Pradel
No Strings Attached: An Empirical Study of String-related Software Bugs. ASE (2020)
Nikos Vasilakis, Cristian-Alexandru Staicu, Greg Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript. CoRR (2020)
Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
Extracting taint specifications for JavaScript libraries. ICSE (2020)
Michael Pradel, Satish Chandra
Neural Software Analysis. CoRR (2020)
Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
Scaffle: bug localization on millions of files. ISSTA (2020)
Daniel Lehmann, Johannes Kinder, Michael Pradel
Everything Old is New Again: Binary Security of WebAssembly. USENIX Security Symposium (2020)
Markus Zimmermann, Cristian-Alexandru Staicu, Cam Tenny, Michael Pradel
Small World with High Risks: A Study of Security Threats in the npm Ecosystem. USENIX Security Symposium (2019)
Claire Le Goues, Michael Pradel, Abhik Roychoudhury
Automated program repair. Commun. ACM 62 (12) (2019)
Rabee Sohail Malik, Jibesh Patra, Michael Pradel
NL2Type: inferring JavaScript function types from natural language information. ICSE (2019)
Saeed Ehteshamifar, Antonio Barresi, Thomas R. Gross, Michael Pradel
Easy to Fool? Testing the Anti-evasion Capabilities of PDF Malware Scanners. CoRR (2019)
Andrew Habib, Michael Pradel
Neural Bug Finding: A Study of Opportunities and Challenges. CoRR (2019)
Markus Zimmermann, Cristian-Alexandru Staicu, Cam Tenny, Michael Pradel
Small World with High Risks: A Study of Security Threats in the npm Ecosystem. CoRR (2019)
Philippe Skolka, Cristian-Alexandru Staicu, Michael Pradel
Anything to Hide? Studying Minified and Obfuscated Code in the Web. WWW (2019)
Cristian-Alexandru Staicu, Michael Pradel
Leaky Images: Targeted Privacy Attacks in the Web. USENIX Security Symposium (2019)
Yaza Wainakh, Moiz Rauf, Michael Pradel
Evaluating Semantic Representations of Source Code. CoRR (2019)
Daniel Lehmann, Michael Pradel
Wasabi: A Framework for Dynamically Analyzing WebAssembly. ASPLOS (2019)
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Type Safety with JSON Subschema. CoRR (2019)
Sandro Tolksdorf, Daniel Lehmann, Michael Pradel
Interactive metamorphic testing of debuggers. ISSTA (2019)
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
An Empirical Study of Information Flows in Real-World JavaScript. CoRR (2019)
Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra
Getafix: learning to fix bugs automatically. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
An Empirical Study of Information Flows in Real-World JavaScript. PLAS@CCS (2019)
Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
TypeWriter: Neural Type Prediction with Search-based Validation. CoRR (2019)
Andrew Habib, Michael Pradel
Is this class thread-safe? inferring documentation using graph-based learning. ASE (2018)
Jibesh Patra, Pooja N. Dixit, Michael Pradel
ConflictJS: finding and understanding conflicts between JavaScript libraries. ICSE (2018)
Daniel Lehmann, Michael Pradel
Wasabi: A Framework for Dynamically Analyzing WebAssembly. CoRR (2018)
Rohan Bavishi, Michael Pradel, Koushik Sen
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts. CoRR (2018)
Cristian-Alexandru Staicu, Michael Pradel
Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers. USENIX Security Symposium (2018)
Michael Pradel, Koushik Sen
DeepBugs: A Learning Approach to Name-based Bug Detection. CoRR (2018)
Andrew Habib, Michael Pradel
How many of all bugs do we find? a study of static bug detectors. ASE (2018)
Daniel Lehmann, Michael Pradel
Feedback-directed differential testing of interactive debuggers. ESEC/SIGSOFT FSE (2018)
Michael Pradel, Koushik Sen
DeepBugs: a learning approach to name-based bug detection. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Cristian-Alexandru Staicu, Michael Pradel, Benjamin Livshits
SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS. NDSS (2018)
Tingting Yu, Michael Pradel
Pinpointing and repairing performance bottlenecks in concurrent programs. Empir. Softw. Eng. 23 (5) (2018)
Luca Della Toffola, Michael Pradel, Thomas R. Gross
Synthesizing programs that expose performance bottlenecks. CGO (2018)
Marija Selakovic, Michael Pradel, Rezwana Karim, Frank Tip
Test generation for higher-order functions in dynamic languages. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Dileep Ramachandrarao Krishna Murthy, Michael Pradel
Change-Aware Dynamic Program Analysis for JavaScript. ICSME (2018)
Philipp Haller, Michael Pradel, Tijs van der Storm
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 3 (2) (2017)
Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, Yulissa Arroyo-Paredes
Detecting argument selection defects. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Satia Herfert, Jibesh Patra, Michael Pradel
Automatically reducing tree-structured test inputs. ASE (2017)
Siegfried Rasthofer, Steven Arzt, Stefan Triller, Michael Pradel
Making malory behave maliciously: targeted fuzzing of android execution environments. ICSE (2017)

Michael Pradel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Pradel