ECOOP Doctoral Symposium
The Doctoral Symposium is designed to provide a forum for PhD students at any stage in their research to present their topic and get detailed feedback and advice. The main objectives of this event are:
- to allow PhD students to practise writing clearly and to communicate and present their research effectively
- to receive constructive feedback from other researchers and peers
- to offer opportunities to form research collaborations
- to contribute to the conference goals through interaction with other researchers at the main conference
Event Format
The Doctoral Symposium takes the form of a full-day event of interactive presentations. The day will start with a series of lightning talks where each PhD student will give an “elevator pitch” of their research. This will be followed by formal presentations from each PhD student, with time allocated for both the presentation as well as questions and discussions.
Besides the formal presentations and discussions in sessions, there will be plenty of opportunities for informal interactions during breaks, lunch and (possibly) dinner. It is also planned that members of the research community will give talks on a variety of topics related to PhD studies and exploring possibilities beyond your PhD.
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 10mTalk | Introduction ECOOP Doctoral Symposium | ||
09:10 20mTalk | Lightning talks ECOOP Doctoral Symposium | ||
09:30 30mTalk | Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software ECOOP Doctoral Symposium Daniel Welch Clemson University | ||
10:00 30mTalk | Enabling Modular Verification of Concurrent Programs ECOOP Doctoral Symposium |
11:00 - 12:30 | |||
11:00 30mTalk | Invited Talk: The Story of WALA at Watson and Beyond ECOOP Doctoral Symposium Julian Dolby IBM Thomas J. Watson Research Center | ||
11:30 30mTalk | Analysis and Verification of Rich Typestate Properties for Complex Programs ECOOP Doctoral Symposium | ||
12:00 30mTalk | Efficient Run-Times for Sound Gradual Typing ECOOP Doctoral Symposium |
13:30 - 15:00 | |||
13:30 30mTalk | Invited Talk: What Lies Beyond a PhD ECOOP Doctoral Symposium Sarah Nadi University of Alberta | ||
14:00 30mTalk | Verifiable, reusable, yet useful conditioning ECOOP Doctoral Symposium Praveen Narayanan Indiana University, USA | ||
14:30 30mTalk | Improving Warmup in Meta-Traced Virtual Machines ECOOP Doctoral Symposium Jasper Schulz King's College London |
15:30 - 17:50 | |||
15:30 30mTalk | Compilation of Stream Programs for Heterogeneous Architectures ECOOP Doctoral Symposium | ||
16:00 30mTalk | Introspective Intrusion Detection for Popular Software Platforms ECOOP Doctoral Symposium | ||
16:30 30mTalk | Privacy-aware operator placement ECOOP Doctoral Symposium | ||
17:00 40mTalk | How to get your Ph.D. DONE ECOOP Doctoral Symposium Eric Jul University of Oslo | ||
17:40 10mTalk | Round up by the academic panel ECOOP Doctoral Symposium |
Accepted Papers
Title | |
---|---|
Analysis and Verification of Rich Typestate Properties for Complex Programs ECOOP Doctoral Symposium | |
Compilation of Stream Programs for Heterogeneous Architectures ECOOP Doctoral Symposium | |
Efficient Run-Times for Sound Gradual Typing ECOOP Doctoral Symposium | |
Enabling Modular Verification of Concurrent Programs ECOOP Doctoral Symposium | |
Improving Warmup in Meta-Traced Virtual Machines ECOOP Doctoral Symposium | |
Introspective Intrusion Detection for Popular Software Platforms ECOOP Doctoral Symposium | |
Privacy-aware operator placement ECOOP Doctoral Symposium | |
Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software ECOOP Doctoral Symposium | |
Verifiable, reusable, yet useful conditioning ECOOP Doctoral Symposium |
Call for Papers
We have two distinct submission categories: junior and senior submissions. Junior students may not yet have developed a thesis topic, they will present their research ideas and any progress to date. Senior students are expected to give an outline of their thesis topic and will feedback towards the successful completion of their thesis and defence.
Submissions are done through https://easychair.org/conferences/?conf=ecoop17ds and are due on April 21, AOE (deadline extended to April 27, AOE).
Junior PhD Students
Submit a 4–8 page research proposal in the Dagstuhl LIPIcs format with:
- a problem description
- a detailed sketch of a proposed approach
- related work
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.
The research proposal should include the name and email of your PhD advisor.
Senior PhD Students
The experience for senior Students is meant to mimic a “mini-defense” interview. Aside from the actual feedback, this helps the student gain familiarity with the style and mechanics of such an interview (advisors of student presenters will not be allowed in).
The students should be able to present:
- the importance of the problem
- a clear research proposal
- some preliminary work
- an evaluation plan
Please submit a 4–8 page abstract in the Dagstuhl LIPIcs format 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?
This isn’t a technical paper, don’t focus on technical details, but rather on the research method.
The paper should include the name and email of your PhD advisor.
Participation
Accepted students will give two presentations:
- A two-minute presentation stating key issues of the research (the “elevator pitch”).
- A 15 minute presentation followed by 15” of questions, feedback and discussions.
- An email from the student’s advisor (to ecoop17ds@easychair.org) to confirm the advisor attended at least one presentation rehearsal.
Prior to the symposium, each student will be assigned submissions of two other students. For each submission the student will prepare a short summary, feedback and 2-3 questions for discussion on the submission. The student will also be expected to take active part in all discussions.
Funding and Other Events
The organizers encourage students to apply for funding through the ECOOP student volunteer program, https://2017.ecoop.org/track/ecoop-2017-Student-Volunteers.
Consider applying to the ECOOP Summer School, great speakers with an emphasis towards teaching useful skills for young researchers, https://2017.ecoop.org/track/ecoop-2017-Summer-School