Corpus ID: 2213906

User-Guided Device Driver Synthesis

  title={User-Guided Device Driver Synthesis},
  author={L. Ryzhyk and Adam Walker and J. Keys and A. Legg and A. Raghunath and M. Stumm and Mona Vij},
  • L. Ryzhyk, Adam Walker, +4 authors Mona Vij
  • Published in OSDI 2014
  • Computer Science
  • 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. We 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… CONTINUE READING
    42 Citations

    Figures, Tables, and Topics from this paper

    Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
    • 6
    • PDF
    Refutation-based synthesis in SMT
    • 14
    • PDF
    Automatic kernel code synthesis and verification
    ectiveness of Driver Isolation and Testing in User Space
    • PDF
    Toward compositional verification of interruptible OS kernels and device drivers
    • 25
    • PDF
    Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
    • 22
    • PDF
    Message-Oriented Devices on FPGAs
    User-Guided Synthesis of Interactive Diagrams
    • 2
    • PDF
    Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
    • 93
    • PDF


    Automatic device driver synthesis with termite
    • 102
    • PDF
    Automatic verification of active device drivers
    • 7
    • PDF
    Thorough static analysis of device drivers
    • 408
    • PDF
    Decaf: Moving Device Drivers to a Modern Language
    • 32
    • PDF
    User-Level Device Drivers: Achieved Performance
    • 133
    • PDF