会员服务
编译器（Compiler），是一种计算机程序，它会将用某种编程语言写成的源代码（原始语言），转换成另一种编程语言（目标语言）。
Implementation of tangent linear and adjoint models for neural networks based on a compiler library tool
Arxiv
0+阅读 · 3月17日
Vectorization of Verilog Designs and its Effects on Verification and Synthesis
Vectorization of Verilog Designs and its Effects on Verification and Synthesis
Arxiv
0+阅读 · 3月17日
LPO: Discovering Missed Peephole Optimizations with Large Language Models
Arxiv
0+阅读 · 3月16日
NormCode Canvas: Making LLM Agentic Workflows Development Sustainable via Case-Based Reasoning
Arxiv
0+阅读 · 3月13日
Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
Arxiv
0+阅读 · 2月23日
Capstone: Power-Capped Pipelining for Coarse-Grained Reconfigurable Array Compilers
Arxiv
0+阅读 · 3月1日
Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
Arxiv
0+阅读 · 3月10日
Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
Arxiv
0+阅读 · 2月23日
PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
Arxiv
0+阅读 · 3月6日
PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
Arxiv
0+阅读 · 3月10日
Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
Arxiv
0+阅读 · 2月19日
Two Constraint Compilation Methods for Lifted Planning
Arxiv
0+阅读 · 2月20日
Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler
Arxiv
0+阅读 · 2月22日
On Best-Possible One-Time Programs
Arxiv
0+阅读 · 2月28日
Online Algorithms with Unreliable Guidance
Arxiv
0+阅读 · 2月24日
参考链接
微信扫码咨询专知VIP会员
Top