27-Sep-2018: CPA&LDV Workshop took place in Moscow

user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 312 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.38/modules/taxonomy/taxonomy.module on line 640.
Submitted by Vadim Mutilin on Thu, 27/09/2018 - 13:44

CPA&LDV Workshop was held in Moscow, Russia on September 25-26.

The presentations at the workshop discussed various aspects of static verification, including cooperation of analyses, testing, program slicing, thread modular analysis and scaling of the analysis on multiple cores. During the workshop many important topics were raised and further action items were identified.

The talks were given by team of Linux Verification Center, ISPRAS (Russia), LMU Munich, TU Darmstadt, University of Paderborn. The program of the workshop, talk abstracts and presentations are available here.