Past sessions

Session #1. Ruslan Smelyansky - Programs behavior analysis (in Russian)

It was held on November, 6th, 2009.

Download slides.

The talk and discussion:

Videorecording is made and kindly provided by Alexey Burtsev.


Session #2. Aleksandr Volkov, Sergei Markov - Using static analysis to searching for software defects (in Russian)

It was held on December, 17th, 2009.

Download slides.

The talk:

The discussion:

Video recording is made and kindly provided by Alexey Burtsev.


Session #3. Victor Kuliamin - Formalization of interface standards in practice (in Russian)

It was held on January, 20th, 2010.

Download slides.


Session #4. Denis Ivanov - Technologies and tools for safety-critical software (in Russian)

It was held on February, 18th, 2010.

Download slides.


Session #5. Aleksei Latsis - Software development for FPGA (in Russian)

It was held on March, 18th, 2010.

Download slides.

The talk:

The discussion:

Video recording is made and kindly provided by Alexey Burtsev.


Session #6. Pavel Yakovenko - Virtualization: software protection in case of unauthorized actions of OS (in Russian)

It was held on April, 15th, 2010.

Download slides.


Session #7. Gleb Raiko, Sergey Rogozhkin, Anton Pavlov - ARINC 653 based real-time OS : architecture and resources management (in Russian)

It was held on May, 20th, 2010.

Download slides.


Session #8. Aleksey Savateyev - Building cloud applications for the real world (in Russian)

It was held on June, 3d, 2010.

Aleksey Savateyev is Senior Architect in Microsoft.

Download slides.


Session #9. Konstantin Serebryany - ThreadSanitizer, or how we are looking for races (in Russian)

It was held on September, 16th, 2010.

Konstantin Serebryany is software engineer at Google Moscow office.

Download slides.


Session #10. Ben Livshits - Web Browsers: performance and safety (in Russian)

It was held on October, 7th, 2010.

Ben Livshits works at Microsoft Research (Redmond).

Download slides.


Session #11. Aleksandr Matrosov - Stuxnet: how, what, and why? (in Russian)

It was held on October, 21st, 2010.

Download slides.


Seminar #12. Andrey Gulin - Technologies at Yandex. Machine learning algorithm `MatrixNet’ (in Russian)

It was held on December, 16th, 2010.

Download slides.


Session #13. Alexey Khoroshilov, Vadim Mutilin - Static Linux driver verification. Project `LDV’ (in Russian)

It was held on Januaru, 20th, 2011.

Download slides.

Project web-site.


Session #14. Eugene Shatokhin - Dynamic Linux driver analysis and verification. Project `KEDR’ (in Russian)

It was held on February, 17th, 2011.

Download slides.

Project web-site.


Session #15. Irina Shoshmina, Yurii Glebov - Towards practical using of model checking (in Russian)

It was held on March, 17th, 2011.

Download slides.


Session #16. Eugene Rodin, Mikhail Podourets - Building environment for computer-aided avionics software engineering (in Russian)

It was held on April, 21st, 2011.

Download slides.


Session #17. Amir Sharourov - Component-based programming and building data types in run-time (in Russian)

It was held on May, 19th, 2011.

Download slides.


Session #18. Alexander Ilushin - Solution of development problems for concurrent software by using of “space” and “time” terms (in Russian)

It was held on September, 15th, 2011.

Download slides.


Session #19. Iosif Itkin - Theory of High Frequency Trading systems testing

Abstract of the talk

It was held on October, 20th, 2011.

Download slides.


Session #20. Vitaly Semenov - Object-oriented constraint programming – new application in software engineering

Abstract of the talk

It was held on November, 17th, 2011.

Download slides.


Session #21. Dmitry Volkanov - An approach to balanced choosing of avionics modules according to reliability requirements

Abstract of the talk

It was held on December, 15th, 2011.

Download slides.


Session #22. Dea href=”http://sdat.ispras.ru/en/2011/09/20-%d0%be%d0%ba%d1%82%d1%8f%d0%b1%d1%80%d1%8f-%d0%bc%d0%be%d0%b4%d0%b5%d0%bb%d0%b8-%d1%82%d0%b5%d1%81%d1%82%d0%b8%d1%80%d0%be%d0%b2%d0%b0%d0%bd%d0%b8%d1%8f-%d1%81%d0%b8%d1%81%d1%82%d0%b5%d0%bc/”nis Sidorov - Avalanche – dynamic software analysis tool for defects detection

Abstract of the talk

It was held on January, 19th, 2012.

Download slides.


Session #23. Alexander Zhdanov – Adaptive control as universal law of the nature. Its structure and algorithm, useful applications.

Abstract of the talk

It was held on February, 16th, 2012.

Download slides.


Session #24. Vasily Balashov – Life-cycle support technology and tools for avionics.

Abstract of the talk

It was held on March, 15th, 2012.

Download slides.


Session #25. Alexandr Alexandrov — Software engineering - Process-engagement risks of testing

Abstract of the talk

It was held on April, 19th, 2012.

Download slides.


Session #26. Oleksandr Letichevskyy (jr.) — Symbolic verification and deductive software testing

Abstract of the talk

It was held on November, 22nd, 2012.

Download slides.


Session #27. Alexandr Kamkin — Runtime verification of HDL descriptions based on executable models

Abstract of the talk

It was held on December, 20th, 2012.

Download slides.


Session #28. Alexander Gotmanov — Modelling and formal verification of hardware microarchitectural models

Abstract of the talk

It was held on January, 17th, 2013.

Download slides.


Session #29. February, 21th — SEMAT: towards theory of software engineering. State-of-the-art and future directions.

Abstract of the talk.

It was held on February, 21th, 2013.

Download slides.


Семинар №30. March, 21st. Process mining: processes elicitation, analysis, and evolution based on events log.

Abstract of the talk.

It was held on March, 21st, 2013.

Irina Lomazova - Prof., Ph.D., Doctor of Sciences, The Higher School of Economics.

Download slides.


Session #31. 18 апреля — Microsoft Research projects on software verification.

Abstract of the talk.

It was held on April, 18th, 2013.

Elena Pavlova - Ph.D., Programs Coordinator at Microsoft.

Скачать слайды доклада.

One Response to Past sessions

  1. Бурцев Алексей Анатольевич says:

    Я снимал видео ещё первого семинара (с докладом Смелянского).
    Видео-файл (в формате mpg) передавал одному из организаторов семинара
    Березину Сергею Борисовичу (ему диск передал мой сын Михаил).
    Не понимаю, почему это видео вы до сих пор не выложили на свой сайт.
    У меня есть видео-файл и 2-го доклада (Волкова-Маркова), только я не знаю, кому его передать, чтобы он попал на ваш сайт.
    С уважением, Бурцев А.А., с.н.с. отдела ОГК НИИСИ РАН
    28 ноября 2011 г. 12:56.

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>