Tech talk: Automatic Device Driver Synthesis

  • Date Tuesday, September 23, 2014  Time 11:00 AM
  • Speaker Leonid Ryzhyk
  • Location 11th floor conference room of the Commonwealth Building, 421 SW 6th Ave., Portland, OR, USA
  • Galois is pleased to host the following tech talk.
    These talks are open to the interested public--please join us!
    (There is no need to pre-register for the talk.)

abstract: Automatic device driver synthesis is a radical approach to
creating drivers faster and with fewer defects by generating them automatically
based on hardware device specifications. I will present the design and
implementation of a new driver synthesis toolkit, called Termite-2. Termite-2
is the first tool to combine the power of automation with the flexibility of
conventional development. It is also the first practical synthesis tool based
on abstraction refinement. Finally, it is the first synthesis tool to support
automated debugging of input specifications. I will explain the main principles
behind the tool and give a brief demo of its capabilities.

bio: Leonid Ryzhyk is a postdoctoral fellow at the University of
Toronto and a researcher at NICTA. He received his PhD from the University of
New South Wales in 2010.