Buchumschlag

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bruzzone, Federico, Cazzola, Walter, Favini, Luca
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages D.3.4; D.2.10; D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
von: Gross, Jason, et al.
Veröffentlicht: (2022)

Verified VCG and Verified Compiler for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Sharing Analysis in the Pawns Compiler
von: Naish, Lee
Veröffentlicht: (2024)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
von: Knothe, David, et al.
Veröffentlicht: (2026)

Verifying Device Drivers with Pancake
von: Zhao, Junming, et al.
Veröffentlicht: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
von: Bruzzone, Federico, et al.
Veröffentlicht: (2025)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

AI Coding Agents Need Better Compiler Remarks
von: Deo, Akash, et al.
Veröffentlicht: (2026)

Sink or SWIM: Tackling Real-Time ASR at Scale
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Complete Fusion for Stateful Streams: Equational Theory of Stateful Streams and Fusion as Normalization-by-Evaluation
von: Kiselyov, Oleg, et al.
Veröffentlicht: (2024)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
von: Csimma, Viktor
Veröffentlicht: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
von: Mirji, Vittal
Veröffentlicht: (2026)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
von: Geeson, Luke, et al.
Veröffentlicht: (2024)

A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions
von: Lopoukhine, Alexandre, et al.
Veröffentlicht: (2025)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
von: Leonhart, Emma
Veröffentlicht: (2026)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

Teaching Introductory Functional Programming Using Haskelite
von: Vasconcelos, Pedro
Veröffentlicht: (2025)

LLM Translation of Compiler Intermediate Representation
von: Ramirez, Andrea Valenzuela, et al.
Veröffentlicht: (2026)

Automata Learning versus Process Mining: The Case for User Journeys
von: Kobialka, Paul, et al.
Veröffentlicht: (2026)

The Complexity of Testing Message-Passing Concurrency
von: Shi, Zheng, et al.
Veröffentlicht: (2025)

NEST: Network Enforced Session Types (Technical Report)
von: Larsen, Jens Kanstrup, et al.
Veröffentlicht: (2026)

LR Parsing of Permutation Phrases
von: Kostičová, Jana
Veröffentlicht: (2024)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
von: Vogel, Martin, et al.
Veröffentlicht: (2026)

The pitfalls of verifying floating-point computations
von: Monniaux, David
Veröffentlicht: (2007)

Combating Reentrancy Bugs on Sharded Blockchains
von: Kashitsyn, Roman, et al.
Veröffentlicht: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
von: de Medeiros, Sérgio Queiroz, et al.
Veröffentlicht: (2024)

Bottom-up computation using trees of sublists (Functional Pearl)
von: Mu, Shin-Cheng
Veröffentlicht: (2023)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
von: Guan, Yawen, et al.
Veröffentlicht: (2025)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
von: Stepanenko, Sergei, et al.
Veröffentlicht: (2025)