Summer SchoolECOOP and ISSTA 2018
In 2018, ECOOP and ISSTA will have a joint Summer School that aims at encouraging graduate students and senior undergraduate students to pursue careers in research on topics related to both conferences. The School brings together leading researchers in programming languages, object-orientation, software testing, analysis, and teaching from academia and industry to provide technical sessions on important research and mentoring sessions on how to prepare for a research career. The School aims to engage students in a process of imagining how they might contribute to our research community. We especially encourage women and under-represented minority students to attend. The Summer School lectures are restricted to registered students.
Program
Summer School Students will be able to attend the Doctoral Symposium, as well as a special introductory session to research in the field, and the Summer School lectures that will be spread throughout the week. Each lecture is free to all registered participants. The lectures run concurrently to the technical sessions. Students will get preferential seating. Each student will be assigned a senior mentor, another student who is already active in research, the mentor will help students navigate the conference. The summer school will also include morning mentoring breakfasts where students meet with renowned researchers in small groups and discuss career options. Attendance certificates will be issued on demand.
Lectures
Title | |
---|---|
35 years of fun with functional programming ECOOP and ISSTA Summer School | |
Artificial Intelligence for Automated Software Testing ECOOP and ISSTA Summer School | |
Compiler Verification for a Multi-Language World ECOOP and ISSTA Summer School S: Amal Ahmed | |
Software Testing and Debugging: State of the Art and Open Issues ECOOP and ISSTA Summer School | |
Static Program Analysis ECOOP and ISSTA Summer School | |
Symbolic Execution and Probabilistic Reasoning ECOOP and ISSTA Summer School | |
Writing Virtual Machines for fun and profit ECOOP and ISSTA Summer School |
Call for Participation
Participation to the ESS is limited to registered attendees. The school is designed for undergraduates and early graduate students. Applications will be accepted as long as there is space.
The organizers have secured limited funding to help students attend the event. Please register as soon as the application is available online, and include a budget that describes how much you would need to be able to come. We encourage all the students applying to the summer school to also register for Student Volunteer positions.
Sun 15 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
17:00 - 20:00 | Welcome: Peyton JonesECOOP and ISSTA Summer School at Zurich I Chair(s): Jan Vitek Northeastern University | ||
17:00 3hTalk | 35 years of fun with functional programming ECOOP and ISSTA Summer School |
Mon 16 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 17:00 | Lecture: PasareanuECOOP and ISSTA Summer School at Zurich I Chair(s): Andreas Zeller Saarland University | ||
14:30 2h30mTalk | Symbolic Execution and Probabilistic Reasoning ECOOP and ISSTA Summer School |
Tue 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 17:30 | Lecture: AhmedECOOP and ISSTA Summer School at Zurich I Chair(s): Andreas Zeller Saarland University | ||
14:00 3h30mTalk | Compiler Verification for a Multi-Language World ECOOP and ISSTA Summer School |
Wed 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 17:30 | Lecture: MøllerECOOP and ISSTA Summer School at Zurich I Chair(s): Jan Vitek Northeastern University | ||
14:00 3h30mTalk | Static Program Analysis ECOOP and ISSTA Summer School Anders Møller Aarhus University |
Thu 19 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 13:00 | |||
11:00 2hTalk | Software Testing and Debugging: State of the Art and Open Issues ECOOP and ISSTA Summer School Alex Orso Georgia Institute of Technology |
14:30 - 17:00 | |||
14:30 2h30mTalk | Writing Virtual Machines for fun and profit ECOOP and ISSTA Summer School Cliff Click Self |
Fri 20 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 17:00 | Lecture: BriandECOOP and ISSTA Summer School at Zurich I Chair(s): Andreas Zeller Saarland University | ||
14:30 2h30mTalk | Artificial Intelligence for Automated Software Testing ECOOP and ISSTA Summer School Lionel Briand SnT Centre/University of Luxembourg |