Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Amir Shaikhha"'
Autor:
Jingwen Pan, Amir Shaikhha
Publikováno v:
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction.
Autor:
Hesam Shahrokhi, Amir Shaikhha
Publikováno v:
Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction.
Publikováno v:
Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization.
Autor:
Amir Shaikhha
Publikováno v:
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences.
Publikováno v:
Proc. VLDB Endow.
IFAQ is an intermediate representation and compilation framework for hybrid database and machine learning workloads expressible using iterative programs with functional aggregate queries. We demonstrate IFAQ for several OLAP queries, linear algebra e
Publikováno v:
ACM Transactions on Database Systems. 45:1-44
This article targets the Incremental View Maintenance (IVM) of sophisticated analytics (such as statistical models, machine learning programs, and graph algorithms) expressed as linear algebra programs. We present LAGO, a unified framework for linear
Publikováno v:
Proceedings of the ACM on Programming Languages. 3:1-30
We present a system for the automatic differentiation (AD) of a higher-order functional array-processing language. The core functional language underlying this system simultaneously supports both source-to-source forward-mode AD and global optimisati
Publikováno v:
Proc. ACM Program. Lang.
This paper introduces semi-ring dictionaries, a powerful class of compositional and purely functional collections that subsume other collection types such as sets, multisets, arrays, vectors, and matrices. We developed SDQL, a statically typed langua
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50e0d88b65e8e1c1abeb2fe047f2819d
Autor:
Amir Shaikhha, Lionel Parreaux
Publikováno v:
GPCE
Multi-stage programming (MSP) holds great promise, allowing the reliable generation of specialized, partially-evaluated code with static type- and scope-safety guarantees. Yet, we argue that MSP has not reached its full potential yet, as it has been
Publikováno v:
GPCE
Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from