| 2025 | ICSE | RepairAgent: An Autonomous, LLM-Based Agent for Program Repair. | Islem Bouzenia, Premkumar T. Devanbu, Michael Pradel |
| 2025 | ICSE | Treefix: Enabling Execution with a Tree of Prefixes. | Beatriz Souza, Michael Pradel |
| 2025 | ICSE | Calibration and Correctness of Language Models for Code. | Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed |
| 2025 | MSR | Can LLMs Replace Manual Annotation of Software Engineering Artifacts? | Toufique Ahmed, Premkumar T. Devanbu, Christoph Treude, Michael Pradel |
| 2024 | ICSE | Resource Usage and Optimization Opportunities in Workflows of GitHub Actions. | Islem Bouzenia, Michael Pradel |
| 2024 | ICSE | PyTy: Repairing Static Type Errors in Python. | Yiu Wai Chow, Luca Di Grazia, Michael Pradel |
| 2024 | ICSE | Fuzz4All: Universal Fuzzing with Large Language Models. | Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang |
| 2023 | ICSE | SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript. | Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu |
| 2023 | ICSE | When to Say What: Learning to Find Condition-Message Inconsistencies. | Islem Bouzenia, Michael Pradel |
| 2023 | ICSE | VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning. | Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai |
| 2023 | ICSE | MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. | Matteo Paltenghi, Michael Pradel |
| 2023 | ISSTA | That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. | Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel |
| 2023 | ISSTA | Beware of the Unexpected: Bimodal Taint Analysis. | Yiu Wai Chow, Max Schfer, Michael Pradel |
| 2022 | ICSE | Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks. | Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip |
| 2022 | ICSE | CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code. | Aryaz Eghbali, Michael Pradel |
| 2022 | ICSE | Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks. | Jibesh Patra, Michael Pradel |
| 2022 | PLDI | Finding the dwarf: recovering precise types from WebAssembly binaries. | Daniel Lehmann, Michael Pradel |
| 2022 | SP | Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly. | Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang |
| 2021 | CCS | Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction. | Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, Andr DeHon, Michael Pradel |
| 2021 | ICSE | IdBench: Evaluating Semantic Representations of Identifier Names in Source Code. | Yaza Wainakh, Moiz Rauf, Michael Pradel |
| 2021 | ISSTA | Finding data compatibility bugs with JSON subschema checking. | Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel |
| 2021 | ISSTA | Continuous test suite failure prediction. | Cong Pan, Michael Pradel |
| 2021 | PLDI | Learning to make compiler optimizations more effective. | Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel |
| 2021 | WWW | An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases. | Aaron Hilbig, Daniel Lehmann, Michael Pradel |
| 2020 | ICSE | Extracting taint specifications for JavaScript libraries. | Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schfer, Anders Mller, Michael Pradel |
| 2020 | ISSTA | Scaffle: bug localization on millions of files. | Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra |
| 2019 | ASPLOS | Wasabi: A Framework for Dynamically Analyzing WebAssembly. | Daniel Lehmann, Michael Pradel |
| 2019 | CCS | An Empirical Study of Information Flows in Real-World JavaScript. | Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld |
| 2019 | ICSE | NL2Type: inferring JavaScript function types from natural language information. | Rabee Sohail Malik, Jibesh Patra, Michael Pradel |
| 2019 | ISSTA | Interactive metamorphic testing of debuggers. | Sandro Tolksdorf, Daniel Lehmann, Michael Pradel |
| 2019 | WWW | Anything to Hide? Studying Minified and Obfuscated Code in the Web. | Philippe Skolka, Cristian-Alexandru Staicu, Michael Pradel |
| 2018 | CGO | Synthesizing programs that expose performance bottlenecks. | Luca Della Toffola, Michael Pradel, Thomas R. Gross |
| 2018 | ICSE | ConflictJS: finding and understanding conflicts between JavaScript libraries. | Jibesh Patra, Pooja N. Dixit, Michael Pradel |
| 2018 | NDSS | SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS. | Cristian-Alexandru Staicu, Michael Pradel, Benjamin Livshits |
| 2017 | ICSE | Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. | Ankit Choudhary, Shan Lu, Michael Pradel |
| 2017 | ICSE | Making malory behave maliciously: targeted fuzzing of android execution environments. | Siegfried Rasthofer, Steven Arzt, Stefan Triller, Michael Pradel |
| 2017 | ISSTA | An actionable performance profiler for optimizing the order of evaluations. | Marija Selakovic, Thomas Glaser, Michael Pradel |
| 2017 | PLDI | Systematic black-box analysis of collaborative web applications. | Marina Billes, Anders Mller, Michael Pradel |
| 2016 | ICSE | Nomen est omen: exploring and exploiting similarities between argument and parameter names. | Hui Liu, Qiurong Liu, Cristian-Alexandru Staicu, Michael Pradel, Yue Luo |
| 2016 | ICSE | Performance issues and optimizations in JavaScript: an empirical study. | Marija Selakovic, Michael Pradel |
| 2016 | ISSTA | Monkey see, monkey do: effective generation of GUI tests with inferred macro events. | Markus Ermuth, Michael Pradel |
| 2016 | ISSTA | SyncProf: detecting, localizing, and optimizing synchronization bottlenecks. | Tingting Yu, Michael Pradel |
| 2015 | ECOOP | The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. | Michael Pradel, Koushik Sen |
| 2015 | ICSE | TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. | Michael Pradel, Parker Schuh, Koushik Sen |
| 2015 | ICSE | Poster: Automatically Fixing Real-World JavaScript Performance Bugs. | Marija Selakovic, Michael Pradel |
| 2015 | ISSTA | DLint: dynamically checking bad coding practices in JavaScript. | Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen |
| 2015 | OOPSLA | Performance problems you can fix: a dynamic analysis of memoization opportunities. | Luca Della Toffola, Michael Pradel, Thomas R. Gross |
| 2014 | ISSTA | Performance regression testing of concurrent classes. | Michael Pradel, Markus Huggler, Thomas R. Gross |
| 2014 | OOPSLA | EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. | Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen |
| 2013 | ICSE | Automatic testing of sequential and concurrent substitutability. | Michael Pradel, Thomas R. Gross |
| 2012 | ICSE | Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. | Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov |
| 2012 | ICSE | Leveraging test generation and specification mining for automated bug detection without false positives. | Michael Pradel, Thomas R. Gross |
| 2012 | ICSE | Statically checking API protocol conformance with mined multi-object specifications. | Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross |
| 2012 | ISSTA | Static detection of brittle parameter typing. | Michael Pradel, Severin Heiniger, Thomas R. Gross |
| 2012 | PLDI | Fully automatic and precise detection of thread safety violations. | Michael Pradel, Thomas R. Gross |
| 2011 | ISSTA | Detecting anomalies in the order of equally-typed method arguments. | Michael Pradel, Thomas R. Gross |
| 2009 | OOPSLA | Dynamically inferring, refining, and checking API usage protocols. | Michael Pradel |
| 2008 | ICSoft | Scala Roles - A Lightweight Approach Towards Reusable Collaborations. | Michael Pradel, Martin Odersky |
| 2008 | ICSoft | Scala Roles: Reusable Object Collaborations in a Library. | Michael Pradel, Martin Odersky |