Compiler.next: A Search-Based Compiler to Power the AI-Native Future of Software Engineering
Fuente:
arXiv
Saved in:
| Main Authors: | Cogo, Filipe R., Oliva, Gustavo A., Hassan, Ahmed E. |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Towards AI-Native Software Engineering (SE 3.0): A Vision and a Challenge Roadmap
by: Hassan, Ahmed E., et al.
Published: (2024)
by: Hassan, Ahmed E., et al.
Published: (2024)
Leveraging the Crowd for Dependency Management: An Empirical Study on the Dependabot Compatibility Score
by: Rombaut, Benjamin, et al.
Published: (2024)
by: Rombaut, Benjamin, et al.
Published: (2024)
On the Future of Software Reuse in the Era of AI Native Software Engineering
by: Taivalsaari, Antero, et al.
Published: (2025)
by: Taivalsaari, Antero, et al.
Published: (2025)
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
by: Sartaj, Hassan, et al.
Published: (2025)
by: Sartaj, Hassan, et al.
Published: (2025)
Rethinking Software Engineering in the Foundation Model Era: From Task-Driven AI Copilots to Goal-Driven AI Pair Programmers
by: Hassan, Ahmed E., et al.
Published: (2024)
by: Hassan, Ahmed E., et al.
Published: (2024)
Agint: Agentic Graph Compilation for Software Engineering Agents
by: Chivukula, Abhi, et al.
Published: (2025)
by: Chivukula, Abhi, et al.
Published: (2025)
Rethinking Software Engineering in the Foundation Model Era: A Curated Catalogue of Challenges in the Development of Trustworthy FMware
by: Hassan, Ahmed E., et al.
Published: (2024)
by: Hassan, Ahmed E., et al.
Published: (2024)
Towards Semantic Versioning of Open Pre-trained Language Model Releases on Hugging Face
by: Ajibode, Adekunle, et al.
Published: (2024)
by: Ajibode, Adekunle, et al.
Published: (2024)
Isolating Compiler Bugs through Compilation Steps Analysis
by: Liu, Yujie, et al.
Published: (2025)
by: Liu, Yujie, et al.
Published: (2025)
Software Performance Engineering for Foundation Model-Powered Software
by: Zhang, Haoxiang, et al.
Published: (2024)
by: Zhang, Haoxiang, et al.
Published: (2024)
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
by: Li, Qingyang, et al.
Published: (2025)
by: Li, Qingyang, et al.
Published: (2025)
Predicting long time contributors with knowledge units of programming languages: an empirical study
by: Ahasanuzzaman, Md, et al.
Published: (2024)
by: Ahasanuzzaman, Md, et al.
Published: (2024)
Data-driven Test Generation for Fuzzing AI Compiler
by: Shen, Qingchao
Published: (2026)
by: Shen, Qingchao
Published: (2026)
PlanCompiler: A Deterministic Compilation Architecture for Structured Multi-Step LLM Pipelines
by: Harikumar, Pranav
Published: (2026)
by: Harikumar, Pranav
Published: (2026)
Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
by: Ron, Javier, et al.
Published: (2026)
by: Ron, Javier, et al.
Published: (2026)
PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
by: Fu, Han, et al.
Published: (2026)
by: Fu, Han, et al.
Published: (2026)
ARC: Compiling Large Multi-Modal Requirement Documents into Runnable Software Systems
by: Kong, Weiyu, et al.
Published: (2026)
by: Kong, Weiyu, et al.
Published: (2026)
Understanding Prompt Management in GitHub Repositories: A Call for Best Practices
by: Li, Hao, et al.
Published: (2025)
by: Li, Hao, et al.
Published: (2025)
The Rise of AI Teammates in Software Engineering (SE) 3.0: How Autonomous Coding Agents Are Reshaping Software Engineering
by: Li, Hao, et al.
Published: (2025)
by: Li, Hao, et al.
Published: (2025)
On the Workflows and Smells of Leaderboard Operations (LBOps): An Exploratory Study of Foundation Model Leaderboards
by: Zhao, Zhimin, et al.
Published: (2024)
by: Zhao, Zhimin, et al.
Published: (2024)
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)
by: Szabo, Violet, et al.
Published: (2024)
Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations
by: Wu, Jingwen, et al.
Published: (2025)
by: Wu, Jingwen, et al.
Published: (2025)
Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)
by: Shi, Jieke, et al.
Published: (2026)
Towards Understanding the Bugs in Solidity Compiler
by: Ma, Haoyang, et al.
Published: (2024)
by: Ma, Haoyang, et al.
Published: (2024)
The Hitchhikers Guide to Production-ready Trustworthy Foundation Model powered Software (FMware)
by: Vasilevski, Kirill, et al.
Published: (2025)
by: Vasilevski, Kirill, et al.
Published: (2025)
CompileAgent: Automated Real-World Repo-Level Compilation with Tool-Integrated LLM-based Agent System
by: Hu, Li, et al.
Published: (2025)
by: Hu, Li, et al.
Published: (2025)
Toward a Brazilian Research Agenda in Quantum Software Engineering: A Systematic Mapping Study
by: Fernandes, Filipe, et al.
Published: (2025)
by: Fernandes, Filipe, et al.
Published: (2025)
Software Reuse in the Generative AI Era: From Cargo Cult Towards AI Native Software Engineering
by: Mikkonen, Tommi, et al.
Published: (2025)
by: Mikkonen, Tommi, et al.
Published: (2025)
Predicting post-release defects with knowledge units (KUs) of programming languages: an empirical study
by: Ahasanuzzaman, Md, et al.
Published: (2024)
by: Ahasanuzzaman, Md, et al.
Published: (2024)
Bug Histories as Sources of Compiler Fuzzing Mutators
by: Liu, Lingjun, et al.
Published: (2025)
by: Liu, Lingjun, et al.
Published: (2025)
Interleaving Large Language Models for Compiler Testing
by: Ni, Yunbo, et al.
Published: (2025)
by: Ni, Yunbo, et al.
Published: (2025)
Understanding Typing-Related Bugs in Solidity Compiler
by: Li, Lantian, et al.
Published: (2025)
by: Li, Lantian, et al.
Published: (2025)
PTE: Axiomatic Semantics based Compiler Testing
by: Dong, Guoliang, et al.
Published: (2024)
by: Dong, Guoliang, et al.
Published: (2024)
Fuzzing MLIR Compilers with Custom Mutation Synthesis
by: Limpanukorn, Ben, et al.
Published: (2024)
by: Limpanukorn, Ben, et al.
Published: (2024)
Understanding and Finding JIT Compiler Performance Bugs
by: Yi, Zijian, et al.
Published: (2026)
by: Yi, Zijian, et al.
Published: (2026)
SENAI: Towards Software Engineering Native Generative Artificial Intelligence
by: Saad, Mootez, et al.
Published: (2025)
by: Saad, Mootez, et al.
Published: (2025)
The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
by: Zhang, Shuoming, et al.
Published: (2026)
by: Zhang, Shuoming, et al.
Published: (2026)
Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
by: Zhou, Zixu
Published: (2025)
by: Zhou, Zixu
Published: (2025)
Assessing and Improving the Representativeness of Code Generation Benchmarks Using Knowledge Units (KUs) of Programming Languages -- An Empirical Study
by: Ahasanuzzaman, Md, et al.
Published: (2026)
by: Ahasanuzzaman, Md, et al.
Published: (2026)
Solsmith: Solidity Random Program Generator for Compiler Testing
by: Li, Lantian, et al.
Published: (2025)
by: Li, Lantian, et al.
Published: (2025)
Similar Items
-
Towards AI-Native Software Engineering (SE 3.0): A Vision and a Challenge Roadmap
by: Hassan, Ahmed E., et al.
Published: (2024) -
Leveraging the Crowd for Dependency Management: An Empirical Study on the Dependabot Compatibility Score
by: Rombaut, Benjamin, et al.
Published: (2024) -
On the Future of Software Reuse in the Era of AI Native Software Engineering
by: Taivalsaari, Antero, et al.
Published: (2025) -
Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
by: Sartaj, Hassan, et al.
Published: (2025) -
Rethinking Software Engineering in the Foundation Model Era: From Task-Driven AI Copilots to Goal-Driven AI Pair Programmers
by: Hassan, Ahmed E., et al.
Published: (2024)