Imagen de Portada

From Separate Compilation to Sound Language Composition

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bruzzone, Federico, Cazzola, Walter, Favalli, Luca
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages Software Engineering D.3.4; D.2.10; D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
por: Bruzzone, Federico, et al.
Publicado: (2026)

Meta-Monomorphizing Specializations
por: Bruzzone, Federico, et al.
Publicado: (2026)

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

A Short Survey on Formalising Software Requirements using Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

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

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
por: Beg, Arshad, et al.
Publicado: (2025)

Formalising Software Requirements using Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
por: Beg, Arshad, et al.
Publicado: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
por: Beg, Arshad, et al.
Publicado: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
por: Beg, Arshad, et al.
Publicado: (2026)

Sink or SWIM: Tackling Real-Time ASR at Scale
por: Bruzzone, Federico, et al.
Publicado: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
por: Gross, Jason, et al.
Publicado: (2022)

Automata Learning versus Process Mining: The Case for User Journeys
por: Kobialka, Paul, et al.
Publicado: (2026)

Teaching Type Systems Implementation with Stella, an Extensible Statically Typed Programming Language
por: Abounegm, Abdelrahman, et al.
Publicado: (2024)

JITScope: Interactive Visualization of JIT Compiler IR Transformations
por: Dalbo, Kyra, et al.
Publicado: (2025)

Ownership in low-level intermediate representation
por: Priya, Siddharth, et al.
Publicado: (2024)

Verified VCG and Verified Compiler for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Sharing Analysis in the Pawns Compiler
por: Naish, Lee
Publicado: (2024)

Adaptable TeaStore: A Choreographic Approach
por: De Palma, Giuseppe, et al.
Publicado: (2025)

Baking for Dafny: A CakeML Backend for Dafny
por: Nezamabadi, Daniel, et al.
Publicado: (2025)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
por: Knothe, David, et al.
Publicado: (2026)

Semantic Analysis of Macro Usage for Portability
por: Pappas, Brent, et al.
Publicado: (2024)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
por: Wodiany, Igor, et al.
Publicado: (2024)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
por: Mitra, Joydeep, et al.
Publicado: (2020)

Verifying Device Drivers with Pancake
por: Zhao, Junming, et al.
Publicado: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
por: Baier, Daniel, et al.
Publicado: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
por: Ates, Salih, et al.
Publicado: (2024)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
por: Beyer, Dirk, et al.
Publicado: (2022)

Speculative Automated Refactoring of Imperative Deep Learning Programs to Graph Execution
por: Khatchadourian, Raffi, et al.
Publicado: (2025)

Combined Program Analysis Techniques: A Systematic Mapping Study
por: Braione, Pietro, et al.
Publicado: (2026)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
por: Lahiri, Shuvendu K.
Publicado: (2026)

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

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
por: Effendi, Sedick David Baker, et al.
Publicado: (2025)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
por: Salva, Sébastien, et al.
Publicado: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
por: Yu, Boxi, et al.
Publicado: (2026)

LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
por: Abualazm, Raafat, et al.
Publicado: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
por: Yoon, Gangho, et al.
Publicado: (2025)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
por: McCormack, Ian, et al.
Publicado: (2024)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
por: Sharmin, Shaila, et al.
Publicado: (2025)