Modeling black-box components with probabilistic synthesis-Reference-Cited by-同舟云学术

Modeling black-box components with probabilistic synthesis

Published:2020-11-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
language:
Short-container-title:

Author:

Collie Bruce¹^ORCID,Woodruff Jackson¹,O'Boyle Michael F. P.¹^ORCID

Affiliation:

1. University of Edinburgh, UK

Funder

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

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

Reference56 articles.

1. [n. d.]. C674x DSPLIB-Texas Instruments Wiki. htp://processors. wiki.ti.com/index.php/C674x_DSPLIB. [n. d.]. C674x DSPLIB-Texas Instruments Wiki. htp://processors. wiki.ti.com/index.php/C674x_DSPLIB.

2. [n. d.]. Intel® Math Kernel Library (MKL). htps://software.intel.com/ mkl. [n. d.]. Intel® Math Kernel Library (MKL). htps://software.intel.com/ mkl.

3. [n. d.]. Mathfu. htps://github.com/google/mathfu. [n. d.]. Mathfu. htps://github.com/google/mathfu.

4. [n. d.]. Null-terminated byte strings. htps://en.cppreference.com/w/ c/string/byte. [n. d.]. Null-terminated byte strings. htps://en.cppreference.com/w/ c/string/byte.

5. [n. d.]. NVIDIA cuBLAS. htps://developer.nvidia.com/cublas. [n. d.]. NVIDIA cuBLAS. htps://developer.nvidia.com/cublas.

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

1. SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02

2. C2TACO: Lifting Tensor Code to TACO;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22

3. mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21

4. ExeBench: an ML-scale dataset of executable C functions;Proceedings of the 6th ACM SIGPLAN International Symposium on Machine Programming;2022-06-13

5. Bind the gap: compiling real software to hardware FFT accelerators;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09