Язык / Language
Organizers
Location
The seminar takes place in Moscow, Russia. Address: ulitsa Aleksandra Solzhenitsyna, 25 (Institute for System Programming of Russian Academy of Sciences). Beginning at 5p.m.Recent sessions
- December 17: On smart-contracts reliability increasing using symbolic model checking
- October 31: Predicate and automata programming technology
- June 13: Relational invariants as solutions of non-linear constrained Hoare clauses systems
- March 21st: Management of information which is duplicated in software artifacts
- February 21st: Methods and means of implementing software-controlled software development process of critical information systems
Archive
Go to this page to get slides and materials of all past sessions.Seminar’s Google group
sdat-seminar.
Stay connected!Recent comments
- Eugene Kornykhin on October, 20th: Software and tools for verification by DO-178B/C
- Михаил Сабуров on October, 20th: Software and tools for verification by DO-178B/C
- Саша on January, 22nd: NPS — an alternative approach to computer networks simulation
- Ян on December, 18th: “React OS” operating system
- Видеозапись выступления координатора проекта ReactOS | AllUNIX.ru — Всероссийский портал о UNIX-системах on December, 18th: “React OS” operating system
Author Archives: Eugene Kornykhin
December, 18th: “React OS” operating system
Aleksey Bragin is a president of the “ReactOS” foundation. He was graduated from Bauman MSTU (he got master degree from IU7 department, and finished post-graduate studying). ReactOS® is an effort to create a Free and Open Source replacement for the … Continue reading
November, 20th: Phantom OS
Dmitry Zavalishin is co-founder and head of “Digital Zone”. He created network magazine “dz-online”. Since 2002 Dmitry worked at Yandex (projects «Яндекс-гуру», «Яндекс-маркет»). In august 2005 Dmitry Zavalishin founded Digital Zone company, http://dz.ru/. Now Digital Zone is developing Phantom OS. … Continue reading
October, 16th: State-of-the-art and perspectives of supercomputer technologies, actual problems.
Download slides (in Russian) Leonid Eisymont is affiliated with FSUE “NII KVANT” now. He is graduated from the Moscow Engineering Physics Institute (1973). In 1983 he has received a Ph.D. in computer science from the Institute of Applied Mathematics of … Continue reading
May, 22nd: Code generation as mathematical programming problem
Sergey V. Samborskiy, Nadezhda I. Viukova, Vladimir A. Galatenko — Scientific Research Institute for System Analysis, Russian Academy of Sciences, Division of Compiler Technologies. Science interests are programming systems, algorithms complexity, mathematical programming and optimization problems. Please feel free to … Continue reading
April, 17th: Extendable programs
Mikhail Gorbunov-Possadov — head of department, doctor of science, USSR Council of Ministers Prize Laureate (1986). Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar. Tweet This Post Send Gmail
March, 20th: Schedule generation for strong periodical real-time systems
Zelenov Sergey is seniour researcher of Institute for System Programming (Russian Academy of Sciences, Moscow). He is graduated from Lomonosov Moscow State University, Ph.D. His research topics are software engineering, software design, integrated modular avionics (IMA). Please feel free to … Continue reading
February, 20th: Interactive algorithm of test case generation
Fedor Strok is a postgraduate student at Department of Data Analysis and Artificial Intelligence (Higher School of Economics). He works at Yandex. His science interests are intellectual data analysis, machine learning, software testing. Please feel free to email your questions … Continue reading
December, 19th: Verification of Concurrent Programs under Relaxed Memory Models (in English)
Roland Meyer - Juniorprofessor of Theoretical Computer Science, Head of the Concurrency Theory Group (University of Kaiserslautern). Previously, he was a CNRS postdoc in LIAFA, University Paris 7, from March 2009 to June 2010. He worked in the Transregional Research … Continue reading
November, 21st: Software defined networks: current works and problems.
Alexander Shalimov — Senior Programmer-Developer at Applied Research Center for Computer Networks, Russia, and a Researcher at Lomonosov Moscow State University, Russia. He received Ph.D. in computer science. Summer 2010, he was an intern at Microsoft Research, Redmond, USA. From … Continue reading
October, 17th: Research microkernel OS. Achievements, features, challenges.
Seminar “Software Development and Analysis Technologies” continues in 2013. Vasily Sartakov - Ph.D. student at MEPhI (department of cybernetics). The main topics of interests are embedding and high-performance system development, operating systems. Head of R&D department of ksys labs since … Continue reading