• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

An Automated Verification Framework for HalideIR-Based Compiler Transformations.

Yanzhao WangFei XieZhenkun YangJeremy CasasPasquale CocchiniJin Yang
Published in: DATE (2023)
Keyphrases
  • theoretical framework
  • automated verification
  • main contribution
  • software systems
  • knowledge representation
  • software engineering
  • graphical models
  • model checking
  • temporal logic
  • theorem proving