This page has moved. Follow dlehmann.eu to get to the new page, in case you are not redirected automatically.
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.
12/2021: Our papers on learning name-value inconsistencies from runtime behavior and on test generation for asynchronous JavaScript APIs will appear at ICSE'22.
11/2021: Our paper on obfuscating JavaScript by opportunistically translating it to WebAssembly has been accepted at S&P'22.
11/2021: Stuttgart is forming a new ELLIS unit, with Michael as one of its fellows.
10/2021: Two new papers on bugs in quantum computing platforms and fuzzing WebAssembly
9/2021: Islem is joining the group as a PhD student. Welcome!
7/2021: Distinguished Artifact Award for our ISSTA'21 paper on finding JSON schema-related bugs.
7/2021: Our paper on comparing neural models of code and developers has been accepted at ASE'21.
7/2021: Our SemSeed paper is receiving an ACM SIGSOFT Distinguished Paper Award at FSE'21.
6/2021: Our work on learning to make compiler optimizations more effective will be presented at MAPS'21.
5/2021: Our paper on semantic bug seeding will appear at FSE'21.
5/2021: Jibesh has successfully defended his PhD thesis on Analyzing Code Corpora to Improve the Correctness and Reliability of Programs.
5/2021: Our work on Mir, an RWX permission model for Node.js packages, has been accepted to CCS'21.
4/2021: Our papers on finding JSON schema-related bugs and on continuous test suite failure prediction have been accepted at ISSTA'21.
4/2021: Our article on neural software analysis is going to appear in the Communications of the ACM.
1/2021: Our work on WasmBench, a study and benchmark involving thousands of WebAssembly binaries, will be presented at The Web Conference (WWW) 2021.
12/2020: Organizing a Dagstuhl seminar on learning-based program analysis (together with Baishakhi, Eran, and Charles), to be held in January 2022.
12/2020: Our paper on IdBench, a benchmark for semantic representations of identifiers, will be presented at ICSE'21.
12/2020: Andrew successfully defends his PhD thesis on "Learning to Find Bugs in Programs and their Documentation"
12/2020: Matteo Paltenghi is joining the group as as PhD student. Welcome!
11/2020: New review article that gives an overview of neural software analysis.
11/2020: Check out our work on an RWX permission model for Node.js packages.
10/2020: New paper on application-level caching to appear in IEEE Software.
10/2020: Aryaz Eghbali is joining the group as a PhD student. Welcome!
9/2020: Martin Torp is joining as a visiting PhD student from Aarhus University. Welcome!
7/2020: Our study of string-related software bugs will appear at ASE 2020.
6/2020: Our work on WebAssembly (in)security will be presented at USENIX Security 2020.
5/2020: Our paper on TypeWriter will appear at FSE'20.
4/2020: Our paper on bug localization on millions of files will appear at ISSTA'20.
4/2020: From PhD to faculty: Cristian has accepted a tenure-track faculty position at CISPA. Congrats!
3/2020: Cristian has successfully defended his PhD thesis on JavaScript security and privacy. Congrats!
3/2020: JetBrains ships IDE plugins that implement DeepBugs for JavaScript and Python. Great to see our ideas used in the wild!
