Blogs (61) >>

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
Summer School
Artificial Intelligence for Automated Software Testing
Summer School
Compiler Verification for a Multi-Language World
Summer School
Software Testing and Debugging: State of the Art and Open Issues
Summer School
Static Program Analysis
Summer School
Symbolic Execution and Probabilistic Reasoning
Summer School
Writing Virtual Machines for fun and profit
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.

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

Sun 15 Jul

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

17:00 - 20:00
Welcome: Peyton JonesSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
17:00
3h
Talk
35 years of fun with functional programming
Summer School
S: Simon Peyton Jones Microsoft Research

Mon 16 Jul

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

14:30 - 17:00
Lecture: PasareanuSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Symbolic Execution and Probabilistic Reasoning
Summer School
S: Corina S. Păsăreanu NASA Ames Research Center

Tue 17 Jul

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

14:00 - 17:30
Lecture: AhmedSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:00
3h30m
Talk
Compiler Verification for a Multi-Language World
Summer School
S: Amal Ahmed Northeastern University

Wed 18 Jul

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

14:00 - 17:30
Lecture: MøllerSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:00
3h30m
Talk
Static Program Analysis
Summer School
Anders Møller Aarhus University

Thu 19 Jul

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

11:00 - 13:00
Lecture: OrsoSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
11:00
2h
Talk
Software Testing and Debugging: State of the Art and Open Issues
Summer School
Alex Orso Georgia Institute of Technology
14:30 - 17:00
Lecture: ClickSummer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:30
2h30m
Talk
Writing Virtual Machines for fun and profit
Summer School

Fri 20 Jul

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

14:30 - 17:00
Lecture: BriandSummer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Artificial Intelligence for Automated Software Testing
Summer School
Lionel Briand SnT Centre/University of Luxembourg