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

People

Scientific Staff

Michael Pradel
Head of group

Daniel Lehmann
PhD student

Luca Di Grazia
PhD student

Moiz Rauf
PhD student

Aryaz Eghbali
PhD student

Matteo Paltenghi
PhD student

Islem Bouzenia
PhD student

Yiu Wai Chow
Master student

Felix Burk
Master student

Beatriz Souza
Research intern

Ece Karasu
Research intern

Support

Katharina Plett
Administrative assistant

Carola Jenke
Staff programmer

Former members

Maximilian Reichel. Master thesis
Dominik Huber. Master thesis
Koushik Ragavendran. Master thesis
Emy Maria. Student research assistant
Ya-Jen Hsu. Master thesis. First job: Bosch
Patrick Bareiß. Bachelor thesis and student research assistant.
Paul Bredl. Bachelor thesis and student research assistant.
Klemens Krause. IT administrator
Dr. Jibesh Patra. PhD student. First job: SAP
Sabine Zach. Staff programmer
Martin Torp. Visiting PhD student from Aarhus University
Dr. Andrew Habib. PhD student. First job: Post-doc at University of Luxembourg
Sebastian Harner. Master thesis
Lars Gröninger. Bachelor thesis
Aaron Hilbig. Bachelor thesis
Cong Pan. Visiting PhD student from Beihang University
Fahad Ghouri. Master thesis. First job: Meanwave
Dr. Cristian-Alexandru Staicu. PhD student. First job: Tenure-track faculty at CISPA.
Dr. Marija Selakovic. PhD student. First job: Huawei Research Center, Dresden
Andrea Püchner, Administrative assistant
Yaza Wainakh. Master thesis. First job: Patagona
Markus Zimmermann. Master thesis and student research assistant. First job: cosee
Sandro Tolksdorf. Master thesis. First job: usd AG
Tim Schmidt. Student research assistant.
Giacomo Iadarola, Master thesis. First job: Research assistant at CNR-IIT, Pisa
Rabee Sohail, Master thesis and student research assistant. First job: 360T Trading Networks
Marina Billes, Research assistant
Talal Ahmed, Master thesis. First job: Ericsson
Philippe Skolka, Master thesis. First job: Applers
Prabhjot Singh, Master thesis. First job: SAP
Saeed Ehteshamifar, Master thesis and student research assistant
Anna-Katharina Wickert, Student research assistant. First job: Research assistant in STG group.
Satia Herfert, Master thesis. First job: Neo Technology
Sebastian Ruhleder, Master thesis. First job: nterra
Patrick Mell, Bachelor thesis and student research assistant
Dileep R. K. Murthy, Master thesis. First job: Fraunhofer IAIS
Pooja N. Dixit, Master thesis. First job: acarda
Abhijit Singh, Student research assistant
Markus Ermuth, Master thesis and student research assistant. First job: cosee
Ankit Choudhary, Master thesis and student research assistant. First job: CGI
Thomas Glaser, Bachelor thesis
Hosam Nima, Student research assistant

News and Events

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!