31-Oct-2011: Slides of our talks at LinuxCon Europe 2011 available
Submitted by admin on Mon, 23/01/2012 - 08:26
Members of the Linux Verification Center team Alexey Khoroshilov and Eugene Shatokhin has provided talks presenting our ongoing projects aimed to improve quality of Linux kernel space modules at LinuxCon Europe 2011 that took place October 26-28, 2011 in Prague, Czech Republic.
After the talks we have many interesting questions and discussions. Many thanks to all for the active interest to our projects.
The slides are available from the Publications page:
- Eugene Shatokhin. "Using Dynamic Analysis To Hunt Down Problems in Kernel Modules" .
- Alexey Khoroshilov. "Linux Device Driver Verification Program" .