Synthesizing Legacy String Code for FPGAs Using Bounded Automata Learning

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 01, 2022
Source ID
10.1109/mm.2022.3178037

Entities

People

  • Jean-Baptiste Jeannin
  • Kevin Angstadt
  • Kevin Skadron
  • Tommy Tracy II
  • Westley Weimer

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • Jefferson Scholars Foundation
  • National Science Foundation
  • Semiconductor Research Corporation
  • St. Lawrence University
  • University of Michigan
  • University of Virginia