There currently are no open positions for post-docs or PhD students.
We are always looking for students who want to gather some research experience as a student research assistant ("HiWi"). These positions are open for students currently enrolled at University of Stuttgart. If you are interested, please checkout our research, some of our publications, and send your application to Michael Pradel.
3/2026: Our papers on PoCGen, Documentary, and CodeCureAgent will be presented at FSE'26.
p>2/2026: Michael gives his inaugural lecture at CISPA: slides, video.
1/2026: Our survey on bug datasets will appear in ACM CSUR.
12/2025: Our work on ChaCo, a novel technique for PR-based test augmentation, will be presented at ICSE'26.
11/2025: Our ASE'25 paper on understanding software engineering agents has received an ACM SIGSOFT Distinguished Award.
11/2025: Welcome to Pascal Joos, who is joining the group as a PhD student.
10/2025: Our papers on mapping code regions across commits and on generating issue-reproducing tests have been accepted to ICSE'26.
10/2025: Welcome to Geraldine (aka Widni), who is joining the group as a PhD student.
9/2025: Our article on Agentic AI Software Engineers will appear in the Communications of the ACM (CACM).
8/2025: Our papers on understanding agent trajectories and program reduction for WebAssembly will be presented at ASE'25.
7/2025: Checkout NoCode-bench (paper, leaderboard), our new benchmark for evaluating LLMs on NL-driven feature addition tasks.
6/2025: Three papers accepted at ICSE'26.
5/2025: Matteo has successfully defended his PhD thesis on "Testing and Analysis of Quantum Software". Congrats!
5/2025: Group retreat in Maulbronn.
5/2025: Our MSR'25 paper on using LLMs for annotating software engineering artifacts has received an ACM SIGSOFT Distinguished Paper Award.
4/2025: Big news: Starting from September, the Software Lab will join CISPA, where Michael will be a faculty member while remaining a professor at the University of Stuttgart.
4/2025: Our work on DyLin, a dynamic linter for Python, will be presented at FSE'25.
4/2025: Our paper on ExecutionAgent has been accepted at ISSTA'25.
3/2025: Welcome to Cristian Cadar, who is joining the lab as a visiting professor supported by a Humboldt Research Award (picture).
3/2025: Don't like regressions? Checkout Testora, which detects regressions by leveraging the natural language information provided in pull requests.
3/2025: Michael will serve as PC co-chair of FSE 2027.
3/2025: Doehyun is joining the group as a PhD student. Welcome!
2/2025: Opinion article on agentic-AI-based software engineering.
1/2025: Our work on Treefix, an LLM-based approach toward learning-guided execution, will be presented at ICSE'25.
1/2025: Two papers accepted at FSE'25: (i) validating code changes via learning-guided execution and (ii) a study of suppressed static analysis warnings.
1/2025: Our paper on using LLMs instead of manual annotation of software engineering artifacts will be presented at MSR'25.
12/2024: Need to build and test a project? Check out ExecutionAgent, our new technique for automatically installing, configuring, and testing arbitrary software projects.
11/2024: Welcome to Jialun Cao, who is joining the lab as a visiting professor.
11/2024: Our work on RepairAgent, an autonomous LLM agent for program repair, will be presented at ICSE'25.
10/2024: Welcome to Zhongxin Liu, who is joining the lab as a visiting professor.
7/2024: We have an opening for a(nother) full professor in Software Engineering at the University of Stuttgart.
7/2024: Our work on calibration and correctness of LLMs for code will appear at ICSE'25.
7/2024: Michael is joining UCLA for part two of his sabbatical.
6/2024: Wasm-R3, the first record-and-replay technique for WebAssembly, will be presented at OOPSLA'24. Congrats to everyone involved in this CMU-Google-KAIST-Stuttgart collaboration.
4/2024: LintQ, our static analysis framework for checking quantum programs, will be presented at FSE'24.
3/2024: Introducing RepairAgent, the first autonomous, LLM-based agent for automated program repair.
2/2024: Michael is joining UC Berkeley for a sabbatical.
2/2024: Luca has successfully defended his PhD thesis on "Supporting Software Evolution via Search and Prediction" and is starting a post-doc at USI Lugano.
1/2024: DyPyBench, a novel benchmark of executable Python code, will be presented at FSE'24.
12/2023: Our paper on repairing static type errors in Python will be presented at ICSE'24.
12/2023: ACM SIGSOFT Distinguished Paper Award for our work on LExecutor.
10/2023: Our work on universal fuzzing with large language models will be presented at ICSE'24.
9/2023: Daniel receives the infos award for the best PhD thesis of the year 2022 in our Computer Science Department. Congrats!
8/2023: Our empirical study of workflows of GitHub Actions will be presented at ICSE'24.
8/2023: Group retreat at Obermarchtal.
7/2023: Our work on LExecutor will be presented at FSE'23. Congrats to Beatriz on the first top-tier paper during her PhD!
7/2023: Two awards at ISSTA'23: An ACM SIGSOFT Distinguished Paper Award for bimodal taint analysis and an ACM SIGSOFT Distinguished Artifact Award for our work on WebAssembly call graphs.
7/2023: Co-organizing two Dagstuhl seminars in 2024: Code Search (April) and Automated Programming and Program Repair (October).
6/2023: Thanks to Prem Devanbu for the amazing time we had during his five-month visit of our lab.
5/2023: Interested in call graphs and/or WebAssembly? Check out our new ISSTA'23 paper.
5/2023: Luca is heading out for an internship at Uber. Have fun!
4/2023: Beatriz is joining the group as a PhD student.
2/2023: Prem Devanbu is joining the lab for five months with a Humboldt Research Award. Welcome!
2/2023: Fun and inspiring Dagstuhl seminar on Programming Language Processing.
1/2023: Our paper on bimodal taint analysis will be presented at ISSTA'23.
12/2022: Four papers accepted at ICSE'23. Congrats to everyone involved!
12/2022: Michael gets recognized as an ACM Distinguished Member.
11/2022: Our work on DiffSearch (paper, tool) will appear in IEEE TSE.
10/2022: Islem wins the ACM Student Research Competition at ASE'22 for his work on detecting inconsistencies in if-condition-raise statements.
10/2022: Our ASE'22 paper on CrystalBLEU has been selected for an ACM SIGSOFT Distinguished Paper Award.
10/2022: Our survey of code search techniques will appear in ACM CSUR.
10/2022: Huimin Hu is joining the group as a PhD student. Welcome!
9/2022: Our paper on type annotations in Python is receiving an ACM SIGSOFT Distinguished Paper Award at FSE'22.
9/2022: Michael will serve as PC Chair of ISSTA 2024.
7/2022: Our work on CrystalBLEU, a novel metric for measuring the similarity of code, will be presented at ASE'22. Congrats to Aryaz!
7/2022: Daniel successfully (with summa cum laude) defends his PhD on program analysis for WebAssembly. Congrats!
6/2022: Three papers accepted at FSE'22, on Python type annotations, on the first dynamic analysis framework for Python, and on neural code editing to generate vulnerabilities.
5/2022: Luca wins the 2nd prize in the ACM Student Research Competition at ICSE'22 for his work on DiffSearch. Congrats!
5/2022: Looking for particular kinds of code changes, e.g., to build a dataset? Check out DiffSearch, our scalable and precise search engine for code changes.
5/2022: Group retreat at Schloss Hornberg.
3/2022: Our paper on recovering precise types in WebAssembly binaries will appear at PLDI'22.
3/2022: Our paper on bugs in quantum computing platforms will appear at OOPSLA'22.
2/2022: Interview with Deutschlandfunk (one of three German national radio stations) on neural software analysis.
