Announcement

The seminar is devoted to modern problems of software engineering, development tools and methods, program analysis and verification. Topics discussed in the seminar include

  • Requirements engineering, analysis and modeling
  • Paradigms for computers modeling
  • System engineering
  • Software architecture
  • Static and dynamic program analysis
  • Dynamic verification and monitoring
  • Automatic test case generation
  • Verification completeness analysis
  • Performance modeling, measuring and testing
  • Security and safety analysis
  • Integration of verification methods
  • Problems of propagation of new technologies to software engineering practices
  • Problems of teaching software development and analysis

The seminar is intended to students, researchers, engineers, industrial experts. The companies participating in the seminar include Intel, Microsoft, Яндекс.

The seminar takes place in Moscow, Russia, each third Thursday every month. Start time is 5p.m. Auditorium “110″ of the Institute for System Programming of Russian Academy of Sciences (see map on the right).

To take part in the seminar as a speaker please send email to Alexander K. Petrenko.

 
Leave a comment

April, 27th: Fault-tolerance testing of distributed trading system by faults emulation

Vadim Zherder

Vadim Zherder

Sergey Kostanbaev and Vadim Zherder work at MOEX (Moscow Exchange).

Sergey Kostanbaev

Sergey Kostanbaev

The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on April, 27th.

Leave a comment

March, 16th: Proving properties of functional programs by equality saturation

Sergei Grechanik

Sergei Grechanik

Sergei Grechanik works at Keldysh Institute of Applied Mathematics (Russian Academy of Sciences). He is graduated from Lomonosov Moscow State University in 2011.

The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on March, 16th.

Leave a comment

February, 16th: Methods and tools for cache-coherence protocols verification

Vladimir Burenkov

Vladimir Burenkov

Vladimir Burenkov — researcher at JSC «MCST». He is graduated from Bauman Moscow State Technical University in 2012.

The seminar will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on February, 16th.

Leave a comment

January, 19th: Cybersecurity and avionics operating systems

Abramov Aleksandr

Abramov Aleksandr

Abramov Aleksandr — CEO at Scientific and Technical Center “AMDEF”. The center develops new security RTOS CUBE and provides services of security analysis for information systems.

Fisoun Ilya

Fisoun Ilya

Fisoun Ilya — software engineer at Bauman Moscow State Technical University.

The event will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on January, 19th.

Leave a comment

November, 17th: Project Angara: F# for computational experiments

Sergey Berezin

Sergey Berezin

Sergey Berezin — Ph.D., associate professor at Lomonosov Moscow State University, head of r&d group «Information Technologies in Science».

Dmitry Voytsekhovskyй

Dmitry Voytsekhovsky

Dmitry Voytsekhovsky — graduated from Lomonosov Moscow State University, trained in Microsoft Research Cambridge, now he is RSDE at r&d group «Information Technologies in Science».

Speakers will share their experience of creating software for efficient composition and evaluation of computational experiments. They will describe their approach and set of F# components codenamed Angara. Project Angara accumulates results of their long term collaboration with Computational Sciences group in Microsoft Research Cambridge. Angara helps researchers to build reproducible computational experiments that can be performed multiple times from scratch with identical results. Full provenance information is available for every result artefact allowing to trace its origins and understand how exactly it was computed. Angara supports efficient incremental construction of computational experiment. Processing steps can be added or altering with re-computing only affected parts of the experiments. This saves significant amount of time because many computational experiments are long-running and require significant computing resources. A scientist can observe intermediate results as soon as they are produced so he can understand that something goes wrong on early iterations and doesn’t wait until computation complete.

The event will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on November, 17th.

Leave a comment

October, 20th: Software and tools for verification by DO-178B/C

Vladimir Kozyrev

Vladimir Kozyrev

Vladimir Kozyrev — Ph.D., docent, affiliated with National Research Nuclear University MEPhI (Department 22 “Cybernetics”), expert of DC BARS.

The event will be at Institute for System Programming of Russian Academy of Sciences at 5p.m. on October, 20th.

2 Comments

September, 15th: Dynamical construction of software components

Leave a comment

April, 21st: Deanonimization of Tor users

Sergey Avdoshin

Sergey Avdoshin

Sergey Avdoshin — Prof. at the Higher School of Economics. Alexander Lazarenko is a student at the Higher School of Economics.

Alexander Lazarenko

Alexander Lazarenko

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment

March, 24th: Geographic information systems (GIS) software

Dmitry Baryshnikov

Dmitry Baryshnikov

Dmitry Baryshnikov — developer at NextGIS, commiter for GDAL, member of GIS-Lab community.

Leave a comment

February, 18th: Development of module support packages for real-time OS Baget

Yury Lazutin

Yury Lazutin — Dr., head of Department (Scientific Research Institute of System Analysis of Russian Academy of Sciences). His talk is devoted to problems and achievements in developing of Module Support Packages for real-time operating systems.

Please feel free to email your questions to sdat@ispras.ru or by twitter @sdat_seminar.

Leave a comment