В Санкт-Петербурге завершился 2-ой семинар "Program Semantics, Specifiation and Verification" (PSSV-2011)

С 12 по 13 июня 2011 года в Санкт-Петербурге при CSR-2011 проходил второй семинар "Program Semantics, Specifiation and Verification" (PSSV-2011). Наша лаборатория представляла 4 доклада:

  • V. Itsykson, A. Zozulya, M. Glukhikh. Automated Program Reengineering When Porting Software to a New Environment Described by Partial Specifications
  • M. Glukhikh, V. Itsykson, V. Tsesko. Using Dependencies to Improve Precision of Program Analysis
  • M. Moiseev, A. Zakharov. Static Data Race Detection in SystemC Parallel Programs. Proceedings of 6th International Computer Science Symposium in Russia
  • M. Belyaev, V. Tsesko. Development of LLVM-based static analysis tool using type and effect systems