Image de couverture de livre

Partial Evaluation, Whole-Program Compilation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fallin, Chris, Bernstein, Maxwell
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The CoCompiler: DSL Lifting via Relational Compilation
par: Spargo, Naomi, et autres
Publié: (2025)

Dr Wenowdis: Specializing dynamic language C extensions using type information
par: Bernstein, Maxwell, et autres
Publié: (2024)

Compilation Semantics for a Programming Language with Versions
par: Tanabe, Yudai, et autres
Publié: (2023)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
par: Arbore, Russel, et autres
Publié: (2025)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
par: Szabo, Violet, et autres
Publié: (2024)

MLIR-Smith: A Novel Random Program Generator for Evaluating Compiler Pipelines
par: Ates, Berke, et autres
Publié: (2026)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
par: Ma, Haoyang, et autres
Publié: (2025)

Program Synthesis from Partial Traces
par: Ferreira, Margarida, et autres
Publié: (2025)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
par: Zheng, Size, et autres
Publié: (2026)

Towards Verified Compilation of Floating-point Optimization in Scientific Computing Programs
par: Tekriwal, Mohit, et autres
Publié: (2025)

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
par: Conoly, Owen, et autres
Publié: (2025)

Meta Large Language Model Compiler: Foundation Models of Compiler Optimization
par: Cummins, Chris, et autres
Publié: (2024)

Partial Cross-Compilation and Mixed Execution for Accelerating Dynamic Binary Translation
par: Gu, Yuhao, et autres
Publié: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
par: Wu, Jinhua, et autres
Publié: (2025)

Compiler generated feedback for Large Language Models
par: Grubisic, Dejan, et autres
Publié: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
par: Thibault, Jérémy, et autres
Publié: (2024)

Evaluating Compiler Optimization Impacts on zkVM Performance
par: Gassmann, Thomas, et autres
Publié: (2025)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
par: Rossi, Roberto, et autres
Publié: (2026)

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline
par: Hu, Lifan
Publié: (2025)

Compiling with Arrays
par: Richter, David, et autres
Publié: (2024)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
par: Xu, Shuyuan, et autres
Publié: (2024)

Finding Missed Code Size Optimizations in Compilers using LLMs
par: Italiano, Davide, et autres
Publié: (2024)

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
par: Rinard, Martin
Publié: (2026)

PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
par: Bondhugula, Uday, et autres
Publié: (2026)

Verifying Peephole Rewriting In SSA Compiler IRs
par: Bhat, Siddharth, et autres
Publié: (2024)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
par: Rinard, Martin
Publié: (2026)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
par: Adams, Austin J., et autres
Publié: (2025)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
par: Pirkelbauer, Peter, et autres
Publié: (2025)

Compilation as Multi-Language Semantics
par: Bowman, William J.
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
par: Seidel, Raphael, et autres
Publié: (2024)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
par: Li, Minda, et autres
Publié: (2026)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
par: Lee, Jay
Publié: (2025)

Compilation of Modular and General Sparse Workspaces
par: Zhang, Genghan, et autres
Publié: (2024)

Denotation-based Compositional Compiler Verification
par: Cheng, Zhang, et autres
Publié: (2024)

An Optimizing Just-In-Time Compiler for Rotor
par: Trindade, João H., et autres
Publié: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
par: Jamner, Dustin, et autres
Publié: (2025)

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
par: Khusainov, Emil, et autres
Publié: (2026)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
par: Izawa, Yusuke, et autres
Publié: (2025)

Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs
par: Zhang, Xiao, et autres
Publié: (2025)