C2TACO: Lifting Tensor Code to TACO-Reference-Cited by-同舟云学术

C2TACO: Lifting Tensor Code to TACO

Published:2023-10-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
language:
Short-container-title:

Author:

Magalhães José Wesley de Souza¹,Woodruff Jackson¹,Polgreen Elizabeth¹,O'Boyle Michael F. P.¹

Affiliation:

1. University of Edinburgh, Edinburgh, UK

Publisher

ACM

Reference73 articles.

1. [n. d.]. Mathfu. https://github.com/google/mathfu [n. d.]. Mathfu. https://github.com/google/mathfu

2. [n. d.]. Texas Instrument Digital Signal Processing ( DSP) Library for MSP 430 Microcontrollers. https://www.ti.com/tool/MSP-DSPLIB [n. d.]. Texas Instrument Digital Signal Processing (DSP) Library for MSP430 Microcontrollers. https://www.ti.com/tool/MSP-DSPLIB

3. Alessandro Abate , Cristina David , Pascal Kesseli , Daniel Kroening , and Elizabeth Polgreen . 2018. Counterexample Guided Inductive Synthesis Modulo Theories . In CAV (1) (Lecture Notes in Computer Science , Vol. 10981). Springer, 270– 288 . Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen. 2018. Counterexample Guided Inductive Synthesis Modulo Theories. In CAV (1) (Lecture Notes in Computer Science, Vol. 10981). Springer, 270–288.

4. Maaz Bin Safeer Ahmad and Alvin Cheung. 2016. Leveraging parallel data processing frameworks with verified lifting. arXiv preprint arXiv:1611.07623. Maaz Bin Safeer Ahmad and Alvin Cheung. 2016. Leveraging parallel data processing frameworks with verified lifting. arXiv preprint arXiv:1611.07623.

5. Optimizing Data-Intensive Applications Automatically By Leveraging Parallel Data Processing Frameworks