Teaching - Software Lab - Department of Computer Science - University of Stuttgart

Teaching

Looking for a bachelor or master thesis?

Semester	Course	Course type
Winter 2023/24	Program Analysis	Lecture and exercise
Winter 2023/24	Machine Learning for Programming	Advanced Seminar
Summer 2023	Analyzing Software using Deep Learning	Lecture and course project
Summer 2023	Programming Paradigms	Lecture and exercise
Winter 2022/23	Machine Learning for Programming	Advanced Seminar
Summer 2022	Analyzing Software using Deep Learning	Lecture and course project
Summer 2022	Programming Paradigms	Lecture and exercise
Winter 2021/22	Program Analysis	Lecture and exercise
Winter 2021/22	Machine Learning for Programming	Advanced Seminar
Summer 2021	Analyzing Software using Deep Learning	Lecture and course project
Summer 2021	Programming Paradigms	Lecture and exercise
Winter 2020/21	Program Analysis	Lecture and exercise
Winter 2020/21	Machine Learning for Programming	Advanced Seminar
Summer 2020	Analyzing Software using Deep Learning	Lecture and course project
Summer 2020	Programming Paradigms	Lecture and exercise
Winter 2019/20	Program Analysis	Lecture and course project
Winter 2019/20	Programming Paradigms	Lecture and exercise
Winter 2019/20	Practical Program Analysis	Practical course
Winter 2019/20	Machine Learning for Programming	Advanced Seminar
Summer 2019	Machine Learning for Programming	Seminar
Winter 2018/19	Machine Learning for Programming	Seminar
Summer 2018	Analyzing Software using Deep Learning	Integrated course
Winter 2017/18	Program Testing and Analysis	Integrated course
Summer 2017	Analyzing Software using Deep Learning	Integrated course
Winter 2016/17	Program Testing and Analysis	Integrated course
Winter 2015/16	Program Testing and Analysis	Integrated course
Winter 2014/15	Program Analysis	Seminar

News and Events

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.

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!