Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming
We present a novel programming language design that attempts to combine the clarity and
safety of high-level functional languages with the efficiency and parallelism of low-level …
safety of high-level functional languages with the efficiency and parallelism of low-level …
How to architect a query compiler
This paper studies architecting query compilers. The state of the art in query compiler
construction is lagging behind that in the compilers field. We attempt to remedy this by …
construction is lagging behind that in the compilers field. We attempt to remedy this by …
Handling iterations in distributed dataflow systems
Over the past decade, distributed dataflow systems (DDS) have become a standard
technology. In these systems, users write programs in restricted dataflow programming …
technology. In these systems, users write programs in restricted dataflow programming …
An intermediate representation for optimizing machine learning pipelines
Machine learning (ML) pipelines for model training and validation typically include
preprocessing, such as data cleaning and feature engineering, prior to training an ML …
preprocessing, such as data cleaning and feature engineering, prior to training an ML …
Unifying analytic and statically-typed quasiquotes
Metaprograms are programs that manipulate (generate, analyze and evaluate) other
programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and …
programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and …
[PDF][PDF] Go meta! A case for generative programming and dsls in performance critical systems
Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems
Page 1 ETH Library Go Meta! A Case for Generative Programming and DSLs in Performance …
Page 1 ETH Library Go Meta! A Case for Generative Programming and DSLs in Performance …
Static interpretation of higher-order modules in Futhark: Functional GPU programming in the large
We present a higher-order module system for the purely functional data-parallel array
language Futhark. The module language has the property that it is completely eliminated at …
language Futhark. The module language has the property that it is completely eliminated at …
Compiled, Extensible, Multi-language DSLs (Functional Pearl)
M Ballantyne, M Gamburg, J Hemann - Proceedings of the ACM on …, 2024 - dl.acm.org
Implementations of domain-specific languages should offer both extensibility and
performance optimizations. With the new syntax-spec metalanguage in Racket …
performance optimizations. With the new syntax-spec metalanguage in Racket …
Quoted staged rewriting: a practical approach to library-defined optimizations
Staging has proved a successful technique for programmatically removing code
abstractions, thereby allowing for faster program execution while retaining a high-level …
abstractions, thereby allowing for faster program execution while retaining a high-level …
Representations and optimizations for embedded parallel dataflow languages
Parallel dataflow engines such as Apache Hadoop, Apache Spark, and Apache Flink are an
established alternative to relational databases for modern data analysis applications. A …
established alternative to relational databases for modern data analysis applications. A …