The ECOOP/ISSTA 2023 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 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.

Keynotes

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

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

08:30 - 10:00
08:30
5m
Keynote
Introduction and welcome to the Doctoral Symposium
ECOOP and ISSTA Doctoral Symposium
K: William G.J. Halfond University of Southern California
08:35
60m
Keynote
How to get your Ph.D. DONE!
ECOOP and ISSTA Doctoral Symposium
K: Eric Jul University of Oslo
10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

10:30 - 12:00
10:30
8m
Talk
Automatic Testing and Benchmarking for Configurable Static Analysis Tools
ECOOP and ISSTA Doctoral Symposium
S: Austin Mordahl University of Texas at Dallas, P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
10:38
5m
Talk
Optimizing Continuous Development and Predicting Test Information in Software Development
ECOOP and ISSTA Doctoral Symposium
talank baral , P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
10:43
8m
Talk
Sparse Symbolic Execution
ECOOP and ISSTA Doctoral Symposium
S: Frank Busse Imperial College London, P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
10:51
5m
Talk
Understanding and Improving the Adoption of Large Language Models
ECOOP and ISSTA Doctoral Symposium
S: Suzzana Rafi , P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
12:00 - 13:30
12:00
90m
Lunch
Lunch
ECOOP and ISSTA Catering

13:30 - 15:00
13:30
8m
Talk
Quantitative Robustness Analysis of Neural Networks
ECOOP and ISSTA Doctoral Symposium
S: Mara Downing University of California, Santa Barbara, P: Wing Lam George Mason University, P: Xusheng Xiao Case Western Reserve University, P: Jonathan Aldrich Carnegie Mellon University
13:38
8m
Talk
Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
ECOOP and ISSTA Doctoral Symposium
S: Sohil Lal Shrestha The University of Texas at Arlington, P: Wing Lam University of Illinois at Urbana-Champaign, P: Xusheng Xiao Arizona State University, P: Jonathan Aldrich Carnegie Mellon University
Link to publication DOI
13:46
5m
Talk
Fairness Testing For Recommender Systems
ECOOP and ISSTA Doctoral Symposium
S: Huizhong Xiao , P: Wing Lam George Mason University, P: Xusheng Xiao Case Western Reserve University, P: Jonathan Aldrich Carnegie Mellon University
13:51
10m
Talk
General advice for your PhD career
ECOOP and ISSTA Doctoral Symposium
S: Xusheng Xiao Arizona State University
14:01
25m
Talk
Planning your dissertation topic
ECOOP and ISSTA Doctoral Symposium
S: Jonathan Aldrich Carnegie Mellon University
15:00 - 15:30
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

15:30 - 17:00
15:30
5m
Talk
Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
ECOOP and ISSTA Doctoral Symposium
S: Pingshi Yu Imperial College London, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Case Western Reserve University, P: Emery Berger
15:35
5m
Talk
Quantitative Symbolic Similarity Analysis
ECOOP and ISSTA Doctoral Symposium
S: Laboni Sarker University of California at Santa Barbara, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Arizona State University, P: Emery Berger
15:40
8m
Talk
Type Automata
ECOOP and ISSTA Doctoral Symposium
S: Ori Roth Technion, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Case Western Reserve University, P: Emery D. Berger University of Massachusetts Amherst
15:48
25m
Talk
How to conduct impactful research
ECOOP and ISSTA Doctoral Symposium

Not scheduled yet

Not scheduled yet
Keynote
Keynote
ECOOP and ISSTA Doctoral Symposium
A: Eric Jul University of Oslo

Call for Papers

The ECOOP/ISSTA 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 ECOOP and ISSTA.

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 towards 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 up to one additional page for only references) 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 up to one additional page for only references) 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 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 ECOOP and ISSTA 2023 Conference Proceedings, which will appear in the IEEE Xplore Digital Library.

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

AUTHORS TAKE NOTE:

The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.