Doctoral SymposiumECOOP and ISSTA 2023
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
Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change
08:00 - 08:30 | |||
08:00 30mCoffee break | Break ECOOP and ISSTA Catering |
08:30 - 10:00 | |||
08:30 5mKeynote | Introduction and welcome to the Doctoral Symposium ECOOP and ISSTA Doctoral Symposium | ||
08:35 60mKeynote | How to get your Ph.D. DONE! ECOOP and ISSTA Doctoral Symposium |
10:00 - 10:30 | |||
10:00 30mCoffee break | Break ECOOP and ISSTA Catering |
10:30 - 12:00 | |||
10:30 8mTalk | 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 5mTalk | 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 8mTalk | 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 5mTalk | 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 90mLunch | Lunch ECOOP and ISSTA Catering |
13:30 - 15:00 | |||
13:30 8mTalk | 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 8mTalk | 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 5mTalk | 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 10mTalk | General advice for your PhD career ECOOP and ISSTA Doctoral Symposium | ||
14:01 25mTalk | Planning your dissertation topic ECOOP and ISSTA Doctoral Symposium |
15:00 - 15:30 | |||
15:00 30mCoffee break | Break ECOOP and ISSTA Catering |
15:30 - 17:00 | |||
15:30 5mTalk | 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 5mTalk | 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 8mTalk | 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 25mTalk | How to conduct impactful research ECOOP and ISSTA Doctoral Symposium |
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:
-
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.
-
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.