Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP 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
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.

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 JonesECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan Vitek Northeastern University
17:00
3h
Talk
35 years of fun with functional programming
ECOOP and ISSTA 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: PasareanuECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:30
2h30m
Talk
Symbolic Execution and Probabilistic Reasoning
ECOOP and ISSTA 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: AhmedECOOP and ISSTA Summer School at Zurich I
Chair(s): Andreas Zeller Saarland University
14:00
3h30m
Talk
Compiler Verification for a Multi-Language World
ECOOP and ISSTA 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øllerECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:00
3h30m
Talk
Static Program Analysis
ECOOP and ISSTA 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: OrsoECOOP and ISSTA Summer 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
ECOOP and ISSTA Summer School
Alex Orso Georgia Institute of Technology
14:30 - 17:00
Lecture: ClickECOOP and ISSTA Summer School at Zurich I
Chair(s): Jan Vitek Northeastern University
14:30
2h30m
Talk
Writing Virtual Machines for fun and profit
ECOOP and ISSTA Summer School

Fri 20 Jul

Displayed 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
2h30m
Talk
Artificial Intelligence for Automated Software Testing
ECOOP and ISSTA Summer School
Lionel Briand SnT Centre/University of Luxembourg