Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Exocompilation for productive programming of hardware accelerators
High-performance kernel libraries are critical to exploiting accelerators and specialized
instructions in many applications. Because compilers are difficult to extend to support …
instructions in many applications. Because compilers are difficult to extend to support …
babble: Learning better abstractions with e-graphs and anti-unification
Library learning compresses a given corpus of programs by extracting common structure
from the corpus into reusable library functions. Prior work on library learning suffers from two …
from the corpus into reusable library functions. Prior work on library learning suffers from two …
Better together: Unifying datalog and equality saturation
We present egglog, a fixpoint reasoning system that unifies Datalog and equality saturation
(EqSat). Like Datalog, egglog supports efficient incremental execution, cooperating …
(EqSat). Like Datalog, egglog supports efficient incremental execution, cooperating …
Coyote: A compiler for vectorizing encrypted arithmetic circuits
Fully Homomorphic Encryption (FHE) is a scheme that allows a computational circuit to
operate on encrypted data and produce a result that, when decrypted, yields the result of the …
operate on encrypted data and produce a result that, when decrypted, yields the result of the …
A tensor compiler with automatic data packing for simple and efficient fully homomorphic encryption
Fully Homomorphic Encryption (FHE) enables computing on encrypted data, letting clients
securely offload computation to untrusted servers. While enticing, FHE has two key …
securely offload computation to untrusted servers. While enticing, FHE has two key …
Rewrite rule inference using equality saturation
Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify
expressions or prove equivalences. Develo** rewrite rules can be difficult: rules may be …
expressions or prove equivalences. Develo** rewrite rules can be difficult: rules may be …
Pure tensor program rewriting via access patterns (representation pearl)
Tensor kernels in machine learning (ML) often correspond to pure mathematical
expressions, making term rewriting an attractive strategy for optimization and map** to …
expressions, making term rewriting an attractive strategy for optimization and map** to …
Equality saturation theory exploration á la carte
Rewrite rules are critical in equality saturation, an increasingly popular technique in
optimizing compilers, synthesizers, and verifiers. Unfortunately, develo** high-quality …
optimizing compilers, synthesizers, and verifiers. Unfortunately, develo** high-quality …
Impress: Large integer multiplication expression rewriting for fpga hls
Large integer multiplication is becoming a major challenge for FPGA-based acceleration of
many cryptographic applications. Existing techniques for decomposing and optimizing large …
many cryptographic applications. Existing techniques for decomposing and optimizing large …
Automatic generation of vectorizing compilers for customizable digital signal processors
Embedded applications extract the best power-performance trade-off from digital signal
processors (DSPs) by making extensive use of vectorized execution. Rather than …
processors (DSPs) by making extensive use of vectorized execution. Rather than …