成为VIP会员查看完整内容
VIP会员码认证
首页
主题
会员
服务
注册
·
登录
编译器
关注
10
编译器(Compiler),是一种计算机程序,它会将用某种编程语言写成的源代码(原始语言),转换成另一种编程语言(目标语言)。
综合
百科
VIP
热门
动态
论文
精华
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
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会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top