Imagen de Portada

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Pei-Wei, Lin, Shaokai, Godbole, Adwait, Singh, Ramneet, Polgreen, Elizabeth, Lee, Edward A., Seshia, Sanjit A.
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
por: Shetty, Manish, et al.
Publicado: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
por: Vin, Eric, et al.
Publicado: (2025)

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
por: Godbole, Adwait, et al.
Publicado: (2024)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
por: Godbole, Adwait, et al.
Publicado: (2025)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
por: Mora, Federico, et al.
Publicado: (2024)

PolyDebug: A Framework for Polyglot Debugging
por: Houdaille, Philémon, et al.
Publicado: (2025)

Verified Code Transpilation with LLMs
por: Bhatia, Sahil, et al.
Publicado: (2024)

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
por: Lin, Shaokai, et al.
Publicado: (2024)

Unified Fairness for Weak Memory Verification
por: Abdulla, Parosh Aziz, et al.
Publicado: (2023)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
por: Qiu, Jie, et al.
Publicado: (2024)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
por: Bansal, Suguman, et al.
Publicado: (2025)

Learning Affordances at Inference-Time for Vision-Language-Action Models
por: Shah, Ameesh, et al.
Publicado: (2025)

HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
por: Tang, Weizhi, et al.
Publicado: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
por: Yalcinkaya, Beyazit, et al.
Publicado: (2024)

Towards Analyzing N-language Polyglot Programs
por: Prakash, Jyoti, et al.
Publicado: (2026)

Denotation-based Compositional Compiler Verification
por: Cheng, Zhang, et al.
Publicado: (2024)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
por: Elmaaroufi, Karim, et al.
Publicado: (2024)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
por: Daggitt, Matthew L., et al.
Publicado: (2026)

Automated Verification of Soundness of DNN Certifiers
por: Singh, Avaljot, et al.
Publicado: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
por: Haak, Lars B. van den, et al.
Publicado: (2024)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
por: Singh, Avaljot, et al.
Publicado: (2024)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
por: Ukhanov, Evgeny
Publicado: (2025)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
por: Yalcinkaya, Beyazit, et al.
Publicado: (2025)

A Hybrid Approach to Semi-automated Rust Verification
por: Ayoun, Sacha-Élie, et al.
Publicado: (2024)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
por: Wu, Jinhua, et al.
Publicado: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
por: Ciccalè, Marco, et al.
Publicado: (2025)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
por: Nagar, Kartik, et al.
Publicado: (2020)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
por: Le, Quang Loc
Publicado: (2025)

Qualifying System F-sub
por: Lee, Edward, et al.
Publicado: (2023)

Learning Formal Specifications from Membership and Preference Queries
por: Shah, Ameesh, et al.
Publicado: (2023)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
por: Yalcinkaya, Beyazit, et al.
Publicado: (2025)

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification
por: Xu, Xu, et al.
Publicado: (2025)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
por: Chang, Fu-Chieh, et al.
Publicado: (2026)

SimpleStrat: Diversifying Language Model Generation with Stratification
por: Wong, Justin, et al.
Publicado: (2024)

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction
por: Huang, Hanxian, et al.
Publicado: (2024)

CI/CD Efforts for Validation, Verification and Benchmarking OpenMP Implementations
por: Jarmusch, Aaron, et al.
Publicado: (2024)

Verification of the Release-Acquire Semantics
por: Abdulla, Parosh, et al.
Publicado: (2025)

Surveying the Rust Verification Landscape
por: Blanc, Alex Le, et al.
Publicado: (2024)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
por: Vazquez-Chanlatte, Marcell, et al.
Publicado: (2024)

Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
por: Zhan, Bohua, et al.
Publicado: (2024)