First-Class Verification Dialects for MLIR
| Title: | First-Class Verification Dialects for MLIR |
|---|---|
| Authors: | Fehr, Mathieu; Fan, Yuyou; Pompougnac, Hugo; Regehr, John; Grosser, Tobias |
| Source: | Proceedings of the ACM on Programming Languages. 9(PLDI):1466-1490 |
| Availability: | http://dl.acm.org/doi/10.1145/3729309 |
| Database: | ACM Full-Text Collection |