Michael Pradel

179 papers A* 48A 20B 1C 2Journal 86Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AgentStepper: Interactive Debugging of Software Development Agents. CoRR Robert Hutter, Michael Pradel
2026	J	`jnl`	Artisan: Agentic Artifact Evaluation. CoRR Doehyun Baek, Michael Pradel
2026	J	`jnl`	Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation. CoRR Zitong Zhou, Matteo Paltenghi, Miryung Kim, Michael Pradel
2026	J	`jnl`	PatchGuru: Patch Oracle Inference from Natural Language Artifacts with Large Language Models. CoRR Thanh Le-Cong, Bach Le, Toby Murray, Michael Pradel, Cristian Cadar
2026	J	`jnl`	RippleGUItester: Change-Aware Exploratory Testing. CoRR Yanqi Su, Michael Pradel, Chunyang Chen
2025	J	`jnl`	AI Software Engineer: Programming with Trust. CoRR Abhik Roychoudhury, Corina S. Pasareanu, Michael Pradel, Baishakhi Ray
2025	J	`jnl`	An Empirical Study of Suppressed Static Analysis Warnings. Proc. ACM Softw. Eng. Huimin Hu, Yingying Wang, Julia Rubin, Michael Pradel
2025	J	`jnl`	Are "Solved Issues" in SWE-bench Really Solved Correctly? An Empirical Study. CoRR You Wang, Michael Pradel, Zhongxin Liu
2025	A*	`conf`	Calibration and Correctness of Language Models for Code. ICSE Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
2025	A	`conf`	Can LLMs Replace Manual Annotation of Software Engineering Artifacts? MSR Toufique Ahmed, Premkumar T. Devanbu, Christoph Treude, Michael Pradel
2025	J	`jnl`	ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution. Proc. ACM Softw. Eng. Lars Gröninger, Beatriz Souza, Michael Pradel
2025	J	`jnl`	CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings. CoRR Pascal Joos, Islem Bouzenia, Michael Pradel
2025	J	`jnl`	CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across Commits. CoRR Huimin Hu, Michael Pradel
2025	J	`jnl`	DyLin: A Dynamic Linter for Python. Proc. ACM Softw. Eng. Aryaz Eghbali, Felix Burk, Michael Pradel
2025	A*	`conf`	Execution-Aware Program Reduction for WebAssembly via Record and Replay. ASE Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
2025	J	`jnl`	Execution-Aware Program Reduction for WebAssembly via Record and Replay. CoRR Doehyun Baek, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
2025	J	`jnl`	From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets. CoRR Hao-Nan Zhu, Robert M. Furth, Michael Pradel, Cindy Rubio-González
2025	J	`jnl`	Issue2Test: Generating Reproducing Test Cases from Issue Reports. CoRR Noor Nashid, Islem Bouzenia, Michael Pradel, Ali Mesbah
2025	J	`jnl`	LLM-Based Repair of Static Nullability Errors. CoRR Nima Karimipour, Michael Pradel, Martin Kellogg, Manu Sridharan
2025	J	`jnl`	NoCode-bench: A Benchmark for Evaluating Natural Language-Driven Feature Addition. CoRR Le Deng, Zhonghao Jiang, Jialun Cao, Michael Pradel, Zhongxin Liu
2025	J	`jnl`	PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages. CoRR Deniz Simsek, Aryaz Eghbali, Michael Pradel
2025	J	`jnl`	QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms. CoRR Matteo Paltenghi, Michael Pradel
2025	J	`jnl`	Regression Testing with a Natural Language Oracle. CoRR Michael Pradel
2025	A*	`conf`	RepairAgent: An Autonomous, LLM-Based Agent for Program Repair. ICSE Islem Bouzenia, Premkumar T. Devanbu, Michael Pradel
2025	A*	`conf`	Treefix: Enabling Execution with a Tree of Prefixes. ICSE Beatriz Souza, Michael Pradel
2025	J	`jnl`	Treefix: Enabling Execution with a Tree of Prefixes. CoRR Beatriz Souza, Michael Pradel
2025	A*	`conf`	Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories. ASE Islem Bouzenia, Michael Pradel
2025	J	`jnl`	Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories. CoRR Islem Bouzenia, Michael Pradel
2025	J	`jnl`	You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects. Proc. ACM Softw. Eng. Islem Bouzenia, Michael Pradel
2024	J	`jnl`	A Survey on Testing and Analysis of Quantum Software. CoRR Matteo Paltenghi, Michael Pradel
2024	J	`jnl`	Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit. Proc. ACM Softw. Eng. Matteo Paltenghi, Michael Pradel
2024	J	`jnl`	Automated Programming and Program Repair (Dagstuhl Seminar 24431). Dagstuhl Reports Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Shin Hwei Tan
2024	J	`jnl`	Calibration and Correctness of Language Models for Code. CoRR Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed
2024	J	`jnl`	Can LLMs Replace Manual Annotation of Software Engineering Artifacts? CoRR Toufique Ahmed, Premkumar T. Devanbu, Christoph Treude, Michael Pradel
2024	J	`jnl`	ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution. CoRR Lars Gröninger, Beatriz Souza, Michael Pradel
2024	J	`jnl`	Code Search (Dagstuhl Seminar 24172). Dagstuhl Reports Satish Chandra, Michael Pradel, Kathryn T. Stolee
2024	J	`jnl`	De-Hallucinator: Iterative Grounding for LLM-Based Code Completion. CoRR Aryaz Eghbali, Michael Pradel
2024	J	`jnl`	DyPyBench: A Benchmark of Executable Python Software. CoRR Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
2024	J	`jnl`	DyPyBench: A Benchmark of Executable Python Software. Proc. ACM Softw. Eng. Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel
2024	A*	`conf`	Fuzz4All: Universal Fuzzing with Large Language Models. ICSE Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
2024	A	`ed.`	Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024 ISSTA Maria Christakis, Michael Pradel
2024	A*	`conf`	PyTy: Repairing Static Type Errors in Python. ICSE Yiu Wai Chow, Luca Di Grazia, Michael Pradel
2024	J	`jnl`	PyTy: Repairing Static Type Errors in Python. CoRR Yiu Wai Chow, Luca Di Grazia, Michael Pradel
2024	J	`jnl`	RepairAgent: An Autonomous, LLM-Based Agent for Program Repair. CoRR Islem Bouzenia, Premkumar T. Devanbu, Michael Pradel
2024	A*	`conf`	Resource Usage and Optimization Opportunities in Workflows of GitHub Actions. ICSE Islem Bouzenia, Michael Pradel
2024	J	`jnl`	Scoping Software Engineering for AI: The TSE Perspective. IEEE Trans. Software Eng. Sebastián Uchitel, Marsha Chechik, Massimiliano Di Penta, Bram Adams, Nazareno Aguirre, Gabriele Bavota, Domenico Bianculli, Kelly Blincoe, Ana Cavalcanti, Yvonne Dittrich, Filomena Ferrucci, Rashina Hoda, Liguo Huang, David Lo, Michael R. Lyu, Lei Ma, Jonathan I. Maletic, Leonardo Mariani, Collin McMillan, Tim Menzies, Martin Monperrus, Ana Moreno, Nachiappan Nagappan, Liliana Pasquale, Patrizio Pelliccione, Michael Pradel, Rahul Purandare, Sukyoung Ryu, Mehrdad Sabetzadeh, Alexander Serebrenik, Jun Sun, Chakkrit Kla Tantithamthavorn, Christoph Treude, Manuel Wimmer, Yingfei Xiong, Tao Yue, Andy Zaidman, Tao Zhang, Hao Zhong
2024	J	`jnl`	Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. CoRR Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
2024	J	`jnl`	Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks. Proc. ACM Program. Lang. Doehyun Baek, Jakob Getz, Yusung Sim, Daniel Lehmann, Ben L. Titzer, Sukyoung Ryu, Michael Pradel
2024	J	`jnl`	You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects. CoRR Islem Bouzenia, Michael Pradel
2023	A	`conf`	Beware of the Unexpected: Bimodal Taint Analysis. ISSTA Yiu Wai Chow, Max Schäfer, Michael Pradel
2023	J	`jnl`	Beware of the Unexpected: Bimodal Taint Analysis. CoRR Yiu Wai Chow, Max Schäfer, Michael Pradel
2023	J	`jnl`	Code Search: A Survey of Techniques for Finding Code. ACM Comput. Surv. Luca Di Grazia, Michael Pradel
2023	J	`jnl`	DiffSearch: A Scalable and Precise Search Engine for Code Changes. IEEE Trans. Software Eng. Luca Di Grazia, Paul Bredl, Michael Pradel
2023	—	`conf`	LExecutor: Learning-Guided Execution. ESEC/SIGSOFT FSE Beatriz Souza, Michael Pradel
2023	J	`jnl`	LExecutor: Learning-Guided Execution. CoRR Beatriz Souza, Michael Pradel
2023	J	`jnl`	LintQ: A Static Analysis Framework for Qiskit Quantum Programs. CoRR Matteo Paltenghi, Michael Pradel
2023	A*	`conf`	MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform. ICSE Matteo Paltenghi, Michael Pradel
2023	J	`jnl`	Programming Language Processing (Dagstuhl Seminar 23062). Dagstuhl Reports Michael Pradel, Baishakhi Ray, Charles Sutton, Eran Yahav
2023	A*	`conf`	SecBench.js: An Executable Security Benchmark Suite for Server-Side JavaScript. ICSE Masudul Hasan Masud Bhuiyan, Adithya Srinivas Parthasarathy, Nikos Vasilakis, Michael Pradel, Cristian-Alexandru Staicu
2023	A	`conf`	That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. ISSTA Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel
2023	J	`jnl`	TraceFixer: Execution Trace-Driven Program Repair. CoRR Islem Bouzenia, Yangruibo Ding, Kexin Pei, Baishakhi Ray, Michael Pradel
2023	J	`jnl`	Universal Fuzzing via Large Language Models. CoRR Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang
2023	A*	`conf`	VULGEN: Realistic Vulnerability Generation Via Pattern Mining and Deep Learning. ICSE Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
2023	A*	`conf`	When to Say What: Learning to Find Condition-Message Inconsistencies. ICSE Islem Bouzenia, Michael Pradel
2023	J	`jnl`	Where to Look When Repairing Code? Comparing the Attention of Neural Models and Developers. CoRR Dominik Huber, Matteo Paltenghi, Michael Pradel
2022	J	`jnl`	Bugs in Quantum computing platforms: an empirical study. Proc. ACM Program. Lang. Matteo Paltenghi, Michael Pradel
2022	J	`jnl`	Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code. CoRR Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim, Michael Pradel
2022	J	`jnl`	Code Search: A Survey of Techniques for Finding Code. CoRR Luca Di Grazia, Michael Pradel
2022	—	`conf`	CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code. ICSE-Companion Aryaz Eghbali, Michael Pradel
2022	A*	`conf`	CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code. ASE Aryaz Eghbali, Michael Pradel
2022	J	`jnl`	DiffSearch: A Scalable and Precise Search Engine for Code Changes. CoRR Luca Di Grazia, Paul Bredl, Michael Pradel
2022	—	`conf`	DynaPyt: a dynamic analysis framework for Python. ESEC/SIGSOFT FSE Aryaz Eghbali, Michael Pradel
2022	A*	`conf`	Finding the dwarf: recovering precise types from WebAssembly binaries. PLDI Daniel Lehmann, Michael Pradel
2022	—	`conf`	Generating realistic vulnerabilities via neural code editing: an empirical study. ESEC/SIGSOFT FSE Yu Nong, Yuzhe Ou, Michael Pradel, Feng Chen, Haipeng Cai
2022	J	`jnl`	Meta Learning for Code Summarization. CoRR Moiz Rauf, Sebastian Padó, Michael Pradel
2022	J	`jnl`	MorphQ: Metamorphic Testing of Quantum Computing Platforms. CoRR Matteo Paltenghi, Michael Pradel
2022	A*	`conf`	Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks. ICSE Jibesh Patra, Michael Pradel
2022	A*	`conf`	Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks. ICSE Ellen Arteca, Sebastian Harner, Michael Pradel, Frank Tip
2022	J	`jnl`	Neural software analysis. Commun. ACM Michael Pradel, Satish Chandra
2022	—	`conf`	The evolution of type annotations in python: an empirical study. ESEC/SIGSOFT FSE Luca Di Grazia, Michael Pradel
2022	A*	`conf`	Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly. SP Alan Romano, Daniel Lehmann, Michael Pradel, Weihang Wang
2021	J	`jnl`	A Survey of Compiler Testing. ACM Comput. Surv. Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang
2021	A*	`conf`	An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases. WWW Aaron Hilbig, Daniel Lehmann, Michael Pradel
2021	J	`jnl`	Automatic Program Repair. IEEE Softw. Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
2021	J	`jnl`	Bugs in Quantum Computing Platforms: An Empirical Study. CoRR Matteo Paltenghi, Michael Pradel
2021	B	`conf`	ConfProf: White-Box Performance Profiling of Configuration Options. ICPE Xue Han, Tingting Yu, Michael Pradel
2021	A	`conf`	Continuous test suite failure prediction. ISSTA Cong Pan, Michael Pradel
2021	A	`conf`	Finding data compatibility bugs with JSON subschema checking. ISSTA Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
2021	J	`jnl`	Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly. CoRR Daniel Lehmann, Martin Toldam Torp, Michael Pradel
2021	A*	`conf`	IdBench: Evaluating Semantic Representations of Identifier Names in Source Code. ICSE Yaza Wainakh, Moiz Rauf, Michael Pradel
2021	J	`jnl`	Learning to Make Compiler Optimizations More Effective. CoRR Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
2021	—	`conf`	Learning to make compiler optimizations more effective. MAPS@PLDI Rahim Mammadli, Marija Selakovic, Felix Wolf, Michael Pradel
2021	J	`jnl`	Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks. CoRR Jibesh Patra, Michael Pradel
2021	A*	`conf`	Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege Reduction. CCS Nikos Vasilakis, Cristian-Alexandru Staicu, Grigoris Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
2021	J	`jnl`	Satisfying Increasing Performance Requirements With Caching at the Application Level. IEEE Softw. Jhonny Mertz, Ingrid Nunes, Luca Della Toffola, Marija Selakovic, Michael Pradel
2021	—	`conf`	Semantic bug seeding: a learning-based approach for creating realistic bugs. ESEC/SIGSOFT FSE Jibesh Patra, Michael Pradel
2021	A*	`conf`	Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code. ASE Matteo Paltenghi, Michael Pradel
2020	A*	`conf`	Everything Old is New Again: Binary Security of WebAssembly. USENIX Security Symposium Daniel Lehmann, Johannes Kinder, Michael Pradel
2020	A*	`conf`	Extracting taint specifications for JavaScript libraries. ICSE Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel
2020	J	`jnl`	Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript. CoRR Nikos Vasilakis, Cristian-Alexandru Staicu, Greg Ntousakis, Konstantinos Kallas, Ben Karel, André DeHon, Michael Pradel
2020	J	`jnl`	Neural Software Analysis. CoRR Michael Pradel, Satish Chandra
2020	A*	`conf`	No Strings Attached: An Empirical Study of String-related Software Bugs. ASE Aryaz Eghbali, Michael Pradel
2020	J	`jnl`	Satisfying Increasing Performance Requirements with Caching at the Application Level. CoRR Jhonny Mertz, Ingrid Nunes, Luca Della Toffola, Marija Selakovic, Michael Pradel
2020	A	`conf`	Scaffle: bug localization on millions of files. ISSTA Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra
2020	—	`conf`	TypeWriter: neural type prediction with search-based validation. ESEC/SIGSOFT FSE Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
2019	—	`conf`	An Empirical Study of Information Flows in Real-World JavaScript. PLAS@CCS Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
2019	J	`jnl`	An Empirical Study of Information Flows in Real-World JavaScript. CoRR Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel, Andrei Sabelfeld
2019	A*	`conf`	Anything to Hide? Studying Minified and Obfuscated Code in the Web. WWW Philippe Skolka, Cristian-Alexandru Staicu, Michael Pradel
2019	J	`jnl`	Automated program repair. Commun. ACM Claire Le Goues, Michael Pradel, Abhik Roychoudhury
2019	J	`jnl`	Easy to Fool? Testing the Anti-evasion Capabilities of PDF Malware Scanners. CoRR Saeed Ehteshamifar, Antonio Barresi, Thomas R. Gross, Michael Pradel
2019	J	`jnl`	Evaluating Semantic Representations of Source Code. CoRR Yaza Wainakh, Moiz Rauf, Michael Pradel
2019	J	`jnl`	Getafix: learning to fix bugs automatically. Proc. ACM Program. Lang. Johannes Bader, Andrew Scott, Michael Pradel, Satish Chandra
2019	A	`conf`	Interactive metamorphic testing of debuggers. ISSTA Sandro Tolksdorf, Daniel Lehmann, Michael Pradel
2019	A*	`conf`	Leaky Images: Targeted Privacy Attacks in the Web. USENIX Security Symposium Cristian-Alexandru Staicu, Michael Pradel
2019	A*	`conf`	NL2Type: inferring JavaScript function types from natural language information. ICSE Rabee Sohail Malik, Jibesh Patra, Michael Pradel
2019	J	`jnl`	Neural Bug Finding: A Study of Opportunities and Challenges. CoRR Andrew Habib, Michael Pradel
2019	A*	`conf`	Small World with High Risks: A Study of Security Threats in the npm Ecosystem. USENIX Security Symposium Markus Zimmermann, Cristian-Alexandru Staicu, Cam Tenny, Michael Pradel
2019	J	`jnl`	Small World with High Risks: A Study of Security Threats in the npm Ecosystem. CoRR Markus Zimmermann, Cristian-Alexandru Staicu, Cam Tenny, Michael Pradel
2019	J	`jnl`	Type Safety with JSON Subschema. CoRR Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
2019	J	`jnl`	TypeWriter: Neural Type Prediction with Search-based Validation. CoRR Michael Pradel, Georgios Gousios, Jason Liu, Satish Chandra
2019	A*	`conf`	Wasabi: A Framework for Dynamically Analyzing WebAssembly. ASPLOS Daniel Lehmann, Michael Pradel
2018	A	`conf`	Change-Aware Dynamic Program Analysis for JavaScript. ICSME Dileep Ramachandrarao Krishna Murthy, Michael Pradel
2018	A*	`conf`	ConflictJS: finding and understanding conflicts between JavaScript libraries. ICSE Jibesh Patra, Pooja N. Dixit, Michael Pradel
2018	J	`jnl`	Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts. CoRR Rohan Bavishi, Michael Pradel, Koushik Sen
2018	J	`jnl`	DeepBugs: A Learning Approach to Name-based Bug Detection. CoRR Michael Pradel, Koushik Sen
2018	J	`jnl`	DeepBugs: a learning approach to name-based bug detection. Proc. ACM Program. Lang. Michael Pradel, Koushik Sen
2018	—	`conf`	Feedback-directed differential testing of interactive debuggers. ESEC/SIGSOFT FSE Daniel Lehmann, Michael Pradel
2018	A*	`conf`	Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers. USENIX Security Symposium Cristian-Alexandru Staicu, Michael Pradel
2018	A*	`conf`	How many of all bugs do we find? a study of static bug detectors. ASE Andrew Habib, Michael Pradel
2018	A*	`conf`	Is this class thread-safe? inferring documentation using graph-based learning. ASE Andrew Habib, Michael Pradel
2018	J	`jnl`	Pinpointing and repairing performance bottlenecks in concurrent programs. Empir. Softw. Eng. Tingting Yu, Michael Pradel
2018	A*	`conf`	SYNODE: Understanding and Automatically Preventing Injection Attacks on NODE.JS. NDSS Cristian-Alexandru Staicu, Michael Pradel, Benjamin Livshits
2018	A	`conf`	Synthesizing programs that expose performance bottlenecks. CGO Luca Della Toffola, Michael Pradel, Thomas R. Gross
2018	J	`jnl`	Test generation for higher-order functions in dynamic languages. Proc. ACM Program. Lang. Marija Selakovic, Michael Pradel, Rezwana Karim, Frank Tip
2018	J	`jnl`	Wasabi: A Framework for Dynamically Analyzing WebAssembly. CoRR Daniel Lehmann, Michael Pradel
2017	J	`jnl`	A Survey of Dynamic Analysis and Test Generation for JavaScript. ACM Comput. Surv. Esben Andreasen, Liang Gong, Anders Møller, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
2017	A	`conf`	An actionable performance profiler for optimizing the order of evaluations. ISSTA Marija Selakovic, Thomas Glaser, Michael Pradel
2017	J	`jnl`	Automated Program Repair (Dagstuhl Seminar 17022). Dagstuhl Reports Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury
2017	A*	`conf`	Automatically reducing tree-structured test inputs. ASE Satia Herfert, Jibesh Patra, Michael Pradel
2017	J	`jnl`	Detecting argument selection defects. Proc. ACM Program. Lang. Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, Yulissa Arroyo-Paredes
2017	A*	`conf`	Efficient detection of thread safety violations via coverage-guided generation of concurrent tests. ICSE Ankit Choudhary, Shan Lu, Michael Pradel
2017	J	`jnl`	Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Philipp Haller, Michael Pradel, Tijs van der Storm
2017	A*	`conf`	Making malory behave maliciously: targeted fuzzing of android execution environments. ICSE Siegfried Rasthofer, Steven Arzt, Stefan Triller, Michael Pradel
2017	C	`conf`	Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events. Software Engineering Markus Ermuth, Michael Pradel
2017	C	`conf`	Performance Issues and Optimizations in JavaScript: An Empirical Study. Software Engineering Marija Selakovic, Michael Pradel
2017	A*	`conf`	Saying 'hi!' is not enough: mining inputs for effective test generation. ASE Luca Della Toffola, Cristian-Alexandru Staicu, Michael Pradel
2017	A*	`conf`	Systematic black-box analysis of collaborative web applications. PLDI Marina Billes, Anders Møller, Michael Pradel
2016	A	`conf`	Monkey see, monkey do: effective generation of GUI tests with inferred macro events. ISSTA Markus Ermuth, Michael Pradel
2016	A*	`conf`	Nomen est omen: exploring and exploiting similarities between argument and parameter names. ICSE Hui Liu, Qiurong Liu, Cristian-Alexandru Staicu, Michael Pradel, Yue Luo
2016	A*	`conf`	Performance issues and optimizations in JavaScript: an empirical study. ICSE Marija Selakovic, Michael Pradel
2016	A	`conf`	SyncProf: detecting, localizing, and optimizing synchronization bottlenecks. ISSTA Tingting Yu, Michael Pradel
2015	A	`conf`	DLint: dynamically checking bad coding practices in JavaScript. ISSTA Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen
2015	—	`conf`	EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation. Software Engineering & Management Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen
2015	—	`conf`	JITProf: pinpointing JIT-unfriendly JavaScript code. ESEC/SIGSOFT FSE Liang Gong, Michael Pradel, Koushik Sen
2015	—	`conf`	Performance Regression Testing of Concurrent Classes. Software Engineering & Management Michael Pradel, Markus Huggler, Thomas R. Gross
2015	A	`conf`	Performance problems you can fix: a dynamic analysis of memoization opportunities. OOPSLA Luca Della Toffola, Michael Pradel, Thomas R. Gross
2015	—	`conf`	Poster: Automatically Fixing Real-World JavaScript Performance Bugs. ICSE (2) Marija Selakovic, Michael Pradel
2015	A	`conf`	The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. ECOOP Michael Pradel, Koushik Sen
2015	—	`conf`	TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. ICSE (1) Michael Pradel, Parker Schuh, Koushik Sen
2014	A	`conf`	EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. OOPSLA Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen
2014	A	`conf`	Performance regression testing of concurrent classes. ISSTA Michael Pradel, Markus Huggler, Thomas R. Gross
2013	A*	`conf`	Automatic testing of sequential and concurrent substitutability. ICSE Michael Pradel, Thomas R. Gross
2013	A*	`conf`	Bita: Coverage-guided, automatic testing of actor programs. ASE Samira Tasharofi, Michael Pradel, Yu Lin, Ralph E. Johnson
2013	J	`jnl`	Name-Based Analysis of Equally Typed Method Arguments. IEEE Trans. Software Eng. Michael Pradel, Thomas R. Gross
2012	A*	`conf`	Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. ICSE Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov
2012	A*	`conf`	Fully automatic and precise detection of thread safety violations. PLDI Michael Pradel, Thomas R. Gross
2012	A*	`conf`	Leveraging test generation and specification mining for automated bug detection without false positives. ICSE Michael Pradel, Thomas R. Gross
2012	—	`—`	Program analyses for automatic and precise error detection. Michael Pradel
2012	A	`conf`	Static detection of brittle parameter typing. ISSTA Michael Pradel, Severin Heiniger, Thomas R. Gross
2012	A*	`conf`	Statically checking API protocol conformance with mined multi-object specifications. ICSE Michael Pradel, Ciera Jaspan, Jonathan Aldrich, Thomas R. Gross
2011	A	`conf`	Detecting anomalies in the order of equally-typed method arguments. ISSTA Michael Pradel, Thomas R. Gross
2010	J	`jnl`	A Good Role Model for Ontologies: Collaborations. Int. J. Enterp. Inf. Syst. Michael Pradel, Jakob Henriksson, Uwe Aßmann
2010	—	`conf`	A framework for the evaluation of specification miners based on finite state machines. ICSM Michael Pradel, Philipp Bichsel, Thomas R. Gross
2009	A*	`conf`	Automatic Generation of Object Usage Specifications from Large Method Traces. ASE Michael Pradel, Thomas R. Gross
2009	—	`conf`	Dynamically inferring, refining, and checking API usage protocols. OOPSLA Companion Michael Pradel
2008	—	`conf`	Ontology Composition using a Role Modeling Approach. Informatiktage Michael Pradel
2008	—	`conf`	Ontology Design and Reuse with Conceptual Roles. RR Jakob Henriksson, Michael Pradel, Steffen Zschaler, Jeff Z. Pan
2008	—	`conf`	Scala Roles - A Lightweight Approach Towards Reusable Collaborations. ICSOFT (PL/DPS/KE) Michael Pradel, Martin Odersky
2008	—	`conf`	Scala Roles: Reusable Object Collaborations in a Library. ICSOFT (Selected Papers) Michael Pradel, Martin Odersky