Marina Billes

TU Darmstadt
Mornewegstraße 32
64295 Darmstadt
Phone: +49-6151-1622392
E-mail: marina.billes@crisp-da.de

My research focusses on static and dynamic analysis and test generation techniques for concurrent programs as well as JavaScript.

Publications

Marina Billes, Anders Møller, Michael Pradel. Systematic Black-Box Analysis of Collaborative Web Applications, PLDI, June 2017
[pdf] [source]
Marina Billes. Race-Driven UI-Level Test Generation for JavaScript-Based Web Applications, Student Research Competition at OOPSLA, October 2015
[pdf] [DOI]
Soichiro Hidaka, Marina Billes, Quang Minh Tran and Kazutaka Matsuda. Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations, Fourth International Workshop on Bidirectional Transformations (Bx 2015), L'Aquila, Italy, July 2015
[pdf]

News and Events

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!

More news