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

3 Comments

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

Leave a comment

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

Leave a comment

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

Leave a comment

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

Leave a comment

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

Leave a comment

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

4 Comments

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

2 Comments

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

Leave a comment

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

Leave a comment