ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria

The ECOOP/ISSTA 2024 Doctoral Symposium will bring together doctoral students working in the area of software testing and analysis and give them the opportunity to present and discuss their research goals, methods, and preliminary results in a constructive and international atmosphere.

The goals of the Doctoral Symposium are to:

  • provide the participants with independent and constructive feedback on their current research and future research directions;
  • develop a supportive community of scholars and a spirit of collaborative research;
  • provide an opportunity for student participants to interact with established researchers and practitioners in the software engineering community.

Participating students will have the unique opportunity to describe their research ideas and receive comments and suggestions from experienced researchers in the software testing and analysis community.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00
08:45 - 09:00
Welcome to the Doctoral SymposiumDoctoral Symposium at EI 2 Pichelmayer
Chair(s): Alessandra Gorla IMDEA Software Institute, Burcu Kulahcioglu Ozkan Delft University of Technology
09:00 - 10:00
09:00
60m
Keynote
The Devil's Guide to Doing your PhD – 10 tips for despair, dismay, and disappointment
Doctoral Symposium
Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication
10:00 - 10:30
10:30 - 12:00
Student Presentations - IDoctoral Symposium at EI 2 Pichelmayer
10:30
15m
Talk
Soft Verification for Actor Contract Systems
Doctoral Symposium
S: Bram Vandenbogaerde Vrije Universiteit Brussel, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
10:45
10m
Talk
Integrating Mutation Techniques to Keep Specification and Source Code in Sync
Doctoral Symposium
S: Kerstin Jacob University of Bamberg, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
10:55
10m
Talk
Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs
Doctoral Symposium
S: Alix Decrop University of Namur, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:05
15m
Talk
From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Doctoral Symposium
S: Drishti Yadav Technische Universität Wien, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:20
15m
Talk
Robustness against the C/C++11 memory model
Doctoral Symposium
S: Roy Margalit Tel Aviv University, Israel, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:35
10m
Talk
Automated Testing of Networked Systems Reliability
Doctoral Symposium
S: Michal Rozsíval Faculty of Information Technology, Brno University of Technology, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Stefan Brunthaler μCSRL, CODE Research Institute, University of the Bundeswehr Munich
11:45
10m
Talk
Search-Based Translations for Tensor Operations
Doctoral Symposium
S: Jie Qiu Duolingo
Link to publication
12:00 - 13:30
13:30 - 15:00
Student Presentations - IIDoctoral Symposium at EI 2 Pichelmayer
13:30
15m
Talk
Shaping Test Inputs in Grammar-Based Fuzzing
Doctoral Symposium
S: José Antonio Zamudio Amaya CISPA Helmholtz Center for Information Security, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
13:45
10m
Talk
Graph Learning for Extract Class Refactoring
Doctoral Symposium
S: Luqiao Wang Xidian University, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
13:55
10m
Talk
With Biabduction towards Memory Safety across the Rust-C-FFI
Doctoral Symposium
S: Florian Sextl TU Wien, Austria, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:05
10m
Talk
Decentralized Near-Synchronous Local-First Programming Collaboration
Doctoral Symposium
S: Leon Freudenthaler FH Campus Wien, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:15
10m
Talk
Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins
Doctoral Symposium
S: Nimantha Kariyakarawana DistriNet-KU Leuven, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:25
10m
Talk
Collaboration to Repository-Level Vulnerability Detection
Doctoral Symposium
S: Xin-Cheng Wen Harbin Institute of Technology, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
14:35
15m
Talk
Learning the Effects of Software Changes
Doctoral Symposium
S: Laura Plein CISPA Helmholtz Center for Information Security, P: Elisa Gonzalez Boix Vrije Universiteit Brussel, P: Marcelo d'Amorim North Carolina State University, P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
15:00 - 15:30
15:30 - 17:00
15:30
90m
Keynote
How to get your Ph.D. DONE!
Doctoral Symposium
Eric Jul University of Oslo
18:00 - 20:00

Accepted Papers

Title
Automated Testing of Networked Systems Reliability
Doctoral Symposium
Collaboration to Repository-Level Vulnerability Detection
Doctoral Symposium
Decentralized Near-Synchronous Local-First Programming Collaboration
Doctoral Symposium
From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Doctoral Symposium
Graph Learning for Extract Class Refactoring
Doctoral Symposium
Integrating Mutation Techniques to Keep Specification and Source Code in Sync
Doctoral Symposium
Learning the Effects of Software Changes
Doctoral Symposium
Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs
Doctoral Symposium
Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins
Doctoral Symposium
Robustness against the C/C++11 memory model
Doctoral Symposium
Search-Based Translations for Tensor Operations
Doctoral Symposium
Link to publication
Shaping Test Inputs in Grammar-Based Fuzzing
Doctoral Symposium
Soft Verification for Actor Contract Systems
Doctoral Symposium
With Biabduction towards Memory Safety across the Rust-C-FFI
Doctoral Symposium

Call for papers

The ISSTA/ECOOP Doctoral Symposium provides a forum for PhD students at any stage in their research to get detailed feedback and advice. The objectives of this event are to:

  • Allow students to practice writing clearly and present their research effectively.
  • Receive constructive feedback from experienced researchers and peers.
  • Offer opportunities to form research collaborations.
  • Interact with other researchers at ISSTA and ECOOP.

Submission Categories

There are three distinct submission categories: early Ph.D., late Ph.D, and job talks. The early Ph.D. submissions are for students who have not yet developed their dissertation topic and are seeking feedback on research progress to date. The late Ph.D. submissions are for students who have developed a thesis and are seeking feedback toward the successful completion of their thesis and defense. The job talk submissions are for students who plan to be on the job market in the upcoming academic year and are seeking feedback on their presentation and early exposure to the community.

Submissions for early PhD students:

  • Please submit a two-page research proposal with:

    • A problem description
    • A sketch of a proposed approach.
    • Summary of relevant related work.
  • Notes:

    • It is not necessary to present concrete results. Instead, try to inform the reader that you have a (well-motivated) problem and present a possible solution. Attempt to provide a clear road map detailing future research efforts.

Submissions for late PhD Students:

The goal for participants in this category is to mimic a mini thesis defense. The students should be able to present:

  • The importance of the problem.
  • A clear research outline.
  • Some preliminary work and initial results.
  • An evaluation plan.

Please submit a four-page research statement with the following:

  • Problem Description

    • What is the problem?
    • What is the significance of this problem?
    • Why can the current state of the art not solve this problem?
  • Goal Statement

    • What is the goal of your research?
    • What artifacts (tools, theories, methods) will be produced?
    • How do they address the stated problem?
  • Method

    • What experiments, prototypes, or studies need to be produced/executed?
    • What is the validation strategy? How will it show the goal was reached?
  • Preliminary work

    • Which research questions are investigated?
    • What are your initial results and findings?

Notes:

  • This isn’t a technical paper, so don’t focus on technical details but rather on the research method.

Submissions for job talks:

Please submit a document with the following:

  1. Biography: a brief (less than 500 words) biography of yourself. This should be written in the third person and be similar to the short bios used on academic websites or for speaker announcements.
  2. Abstract: a brief (less than 500 words) summary of the job talk. This should be written in a style appropriate for a general computer science audience.

Paper Formatting

All authors should use the official “ACM Master article template”, which can be obtained from the ACM Proceedings Template page (https://www.acm.org/publications/proceedings-template). Latex users should use the “sigconf” option, as well as the “review” option (to produce line numbers for easy reference by the reviewers) option. As supplemental material, please submit a signed short statement by your thesis advisor stating that they are aware of your submission and that they will attend at least one rehearsal of your presentation prior to the symposium.

Student Participation

Authors of submissions selected for participation will present their work during the Doctoral Symposium. Authors of early Ph.D. or late Ph.D. submissions may choose to publish their submission in a companion volume to the ISSTA and ECOOP 2024 Conference Proceedings.

The Doctoral Symposium will follow the general requirements and expectations for in-person participation as the main ISSTA and ECOOP technical tracks. This policy will be updated as more details are made available.

Questions? Use the ISSTA/ECOOP Doctoral Symposium contact form.