Session #1. Ruslan Smelyansky - Programs behavior analysis (in Russian)
It was held on November, 6th, 2009.
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.
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.
Session #4. Denis Ivanov - Technologies and tools for safety-critical software (in Russian)
It was held on February, 18th, 2010.
Session #5. Aleksei Latsis - Software development for FPGA (in Russian)
It was held on March, 18th, 2010.
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.
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.
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.
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.
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).
Session #11. Aleksandr Matrosov - Stuxnet: how, what, and why? (in Russian)
It was held on October, 21st, 2010.
Seminar #12. Andrey Gulin - Technologies at Yandex. Machine learning algorithm `MatrixNet’ (in Russian)
It was held on December, 16th, 2010.
Session #13. Alexey Khoroshilov, Vadim Mutilin - Static Linux driver verification. Project `LDV’ (in Russian)
It was held on Januaru, 20th, 2011.
Session #14. Eugene Shatokhin - Dynamic Linux driver analysis and verification. Project `KEDR’ (in Russian)
It was held on February, 17th, 2011.
Session #15. Irina Shoshmina, Yurii Glebov - Towards practical using of model checking (in Russian)
It was held on March, 17th, 2011.
Session #16. Eugene Rodin, Mikhail Podourets - Building environment for computer-aided avionics software engineering (in Russian)
It was held on April, 21st, 2011.
Session #17. Amir Sharourov - Component-based programming and building data types in run-time (in Russian)
It was held on May, 19th, 2011.
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.
Session #19. Iosif Itkin - Theory of High Frequency Trading systems testing
It was held on October, 20th, 2011.
Session #20. Vitaly Semenov - Object-oriented constraint programming – new application in software engineering
It was held on November, 17th, 2011.
Session #21. Dmitry Volkanov - An approach to balanced choosing of avionics modules according to reliability requirements
It was held on December, 15th, 2011.
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
It was held on January, 19th, 2012.
Session #23. Alexander Zhdanov – Adaptive control as universal law of the nature. Its structure and algorithm, useful applications.
It was held on February, 16th, 2012.
Session #24. Vasily Balashov – Life-cycle support technology and tools for avionics.
It was held on March, 15th, 2012.
Session #25. Alexandr Alexandrov — Software engineering - Process-engagement risks of testing
It was held on April, 19th, 2012.
Session #26. Oleksandr Letichevskyy (jr.) — Symbolic verification and deductive software testing
It was held on November, 22nd, 2012.
Session #27. Alexandr Kamkin — Runtime verification of HDL descriptions based on executable models
It was held on December, 20th, 2012.
Session #28. Alexander Gotmanov — Modelling and formal verification of hardware microarchitectural models
It was held on January, 17th, 2013.
Session #29. February, 21th — SEMAT: towards theory of software engineering. State-of-the-art and future directions.
It was held on February, 21th, 2013.
Семинар №30. March, 21st. Process mining: processes elicitation, analysis, and evolution based on events log.
It was held on March, 21st, 2013.
Irina Lomazova - Prof., Ph.D., Doctor of Sciences, The Higher School of Economics.
Session #31. 18 апреля — Microsoft Research projects on software verification.
It was held on April, 18th, 2013.
Elena Pavlova - Ph.D., Programs Coordinator at Microsoft.
Я снимал видео ещё первого семинара (с докладом Смелянского).
Видео-файл (в формате mpg) передавал одному из организаторов семинара
Березину Сергею Борисовичу (ему диск передал мой сын Михаил).
Не понимаю, почему это видео вы до сих пор не выложили на свой сайт.
У меня есть видео-файл и 2-го доклада (Волкова-Маркова), только я не знаю, кому его передать, чтобы он попал на ваш сайт.
С уважением, Бурцев А.А., с.н.с. отдела ОГК НИИСИ РАН
28 ноября 2011 г. 12:56.