Synthesizing an instruction selection rule library from semantic specifications-Reference-Cited by-同舟云学术

Synthesizing an instruction selection rule library from semantic specifications

Published:2018-02-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 International Symposium on Code Generation and Optimization
language:
Short-container-title:

Author:

Buchwald Sebastian¹,Fried Andreas¹,Hack Sebastian²

Affiliation:

1. KIT, Germany

2. Saarland University, Germany

Funder

Deutsche Forschungsgemeinschaft

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3168821

Reference32 articles.

1. R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design. 1-s8. R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design . 1-s8.

2. Automatic generation of peephole superoptimizers

3. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). (2016). http://www.smt-lib.org Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). (2016). http://www.smt-lib.org

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Boost Linear Algebra Computation Performance via Efficient VNNI Utilization;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27

2. Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27

3. Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17

4. Equality Saturation Theory Exploration à la Carte;Proceedings of the ACM on Programming Languages;2023-10-16

5. Fast Instruction Selection for Fast Digital Signal Processing;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 4;2023-03-25