School Introduction http://research.microsoft.com/enus/um/redmond/events/sssev2011/ Ben Livshits Organizers Sponsors Partners More Partners • Technical co-sponsor • In participation with…
Download ReportTranscript School Introduction http://research.microsoft.com/enus/um/redmond/events/sssev2011/ Ben Livshits Organizers Sponsors Partners More Partners • Technical co-sponsor • In participation with…
School Introduction http://research.microsoft.com/enus/um/redmond/events/sssev2011/ Ben Livshits Organizers Sponsors Partners More Partners • Technical co-sponsor • In participation with… School Focus • Many summer schools in – US (Oregon summer school) – Western Europe • Eastern Europe and Scandinavia – not so much Selection Committee Sergey Avdoshin Higher School of Economics Svetlana Chumachenko Kharkov National University of Radioelectronics Ukraine Vladimir Hahanov Kharkov National University of Radioelectronics Ukraine Vladimir Itsykson St. Petersburg State Technical University Russia Ilya Klyuchnikov M.V.Keldysh Institute of Applied Mathematics RAS Russia Boris Konev University of Liverpool Victor Kuliamin Institute for System Programming RAS Russia Fedor Murzin Ershov Institute of Informatics Systems RAS Russia Alexander Petrenko Institute for System Programming RAS Russia Andrei Sabelfeld Chalmers University Vladimir Safonov St. Petersburg State University Natasha Sharygina University of Lugano Nikolai Shilov Novosibirsk State University Russia Alexander Smal St Petersburg Academic University Russia Jennifer Trelewicz Microsoft Russia Russia UK Sweden Russia Switzerland Distribution by Country Belarus, 1 70 students accepted 12 countries represente d Finland, 1 Germany, 1 Italy, 1 Norway, 1 Czech Republic, 2 Denmark, 2 Iran, 2 Russia: 44 or 63% Ukraine, 5 Sweden, 7 Turkey, 3 Students from Russia Chelyabinsk, 1 Unknown, 1 Tyumen, 1 Yaroslavl, 2 Togliatti, 1 Dnepropetrovsk, 1 Ekaterinburg, 2 Izhevsk, 1 Krasnoyarsk, 2 St. Petersburg, 8 Novosibirsk, 1 Nizhny Novgorod, 3 Moscow, 21 Our Lecturers Sir Tony Hoare: • Microsoft Research, Cambridge, UK • Foundations of Program Verification Dr. Natasha Sharygina: • University of Lugano • Abstractions and Decision Procedures for Effective Software Model Checking Dr. Patrice Godefroid • Microsoft Research, Redmond • Software Model Checking and Automatic Test Case Generation More Lecturers Dr. Yannis Smaragdakis: • University of Athens • Static Analysis and Bug Detection Dr. Stephan Tobies: • Microsoft, Germany • Verification of Concurrent C Programs and Operating Systems Dr. Benjamin Livshits • Microsoft Research, Redmond • Program Analysis and its Applications Guest Lecturers Local Organizers Dr. Jennifer Trelewicz: • Microsoft, Russia • Core local organizer Dr. Sergey Avdoshin: • Higher School of Economics, Moscow (Высшая школа экономки) • Head of Software engineering department Mr. Pavel Kobir • Higher School of Economics • Student of Software engineering department Ms. Elena Sivenkova • Microsoft, Russia • Local event organizer Philosophy • Give students real research • Philosophy: • School length experience – Typical school: 5 days – Many schools • Do teaminprojects computer science areanrun • Come up with original – Our school: almost 10 days each • summer “Pitch” their ideas to the professors • Demonstrate feasibility • Typical focus: – Lectures – Homeworks – Computer projects project lectures 1 2 3 4 5 6 7 8 9 Schedule You are expected to… • Lectures – Participate in all mandatory lectures – Participate in some guest lectures that you like • Homework – Do you homework and turn it in on time • Project – Group up and do a project – Participate in project presentations SSSEV2011 @ Social Networks Photograph s twitter? Questions?