24-Oct-2011: Linux Verification Center at the LinuxCon Europe 2011

LinuxCon Europe 2011 and Embedded Linux Conference Europe 2011 will take place October 26-28, 2011 in Prague, Czech Republic.

Members of the Linux Verification Center team Alexey Khoroshilov and Eugene Shatokhin will provide talks presenting our ongoing projects aimed to improve quality of Linux kernel space modules.

  • 26 October. Eugene Shatokhin. "Using Dynamic Analysis To Hunt Down Problems in Kernel Modules".
  • 27 October. Alexey Khoroshilov. "Linux Device Driver Verification Program".