Imagen de Portada

Synthesizing Formal Semantics from Executable Interpreters

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Jiangyi, Murphy, Charlie, Grover, Anvay, Johnson, Keith J. C., Reps, Thomas, D'Antoni, Loris
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verifying Solutions to Semantics-Guided Synthesis Problems
por: Murphy, Charlie, et al.
Publicado: (2024)

Synthesizing Specifications
por: Park, Kanghee, et al.
Publicado: (2023)

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
por: Johnson, Keith J. C., et al.
Publicado: (2024)

The SemGuS Toolkit
por: Johnson, Keith J. C., et al.
Publicado: (2024)

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Unrealizability Logic
por: Kim, Jinwoo, et al.
Publicado: (2022)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
por: Nagy, Shaan, et al.
Publicado: (2024)

LOUD: Synthesizing Strongest and Weakest Specifications
por: Park, Kanghee, et al.
Publicado: (2024)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
por: Peng, Xuanyu, et al.
Publicado: (2025)

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
por: Nagy, Shaan, et al.
Publicado: (2025)

Language-Based Agent Control
por: Zhou, Timothy, et al.
Publicado: (2026)

Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
por: Vaidya, Sairam, et al.
Publicado: (2025)

Synthesizing Abstract Transformers for Reduced-Product Domains
por: Kalita, Pankaj Kumar, et al.
Publicado: (2024)

Continuous Diffusion Models Can Obey Formal Syntax
por: Kim, Jinwoo, et al.
Publicado: (2026)

Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)

A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness
por: Zhang, Yuhao, et al.
Publicado: (2024)

Flexible and Efficient Grammar-Constrained Decoding
por: Park, Kanghee, et al.
Publicado: (2025)

The Format Tax
por: Lee, Ivan Yee, et al.
Publicado: (2026)

Software Model Checking via Summary-Guided Search (Extended Version)
por: Fang, Ruijie, et al.
Publicado: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

Efficient Cost Bounds with Linear Maps
por: Kahn, David M, et al.
Publicado: (2025)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
por: Zhao, Jianhong, et al.
Publicado: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
por: Tempel, Sören, et al.
Publicado: (2024)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

Constrained Adaptive Rejection Sampling
por: Parys, Paweł, et al.
Publicado: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
por: Zhao, Jianhong, et al.
Publicado: (2025)

A Performance Model for Warp Specialization Kernels
por: Liu, Zhengyang, et al.
Publicado: (2025)

Pattern Matching in AI Compilers and its Formalization (Extended Version)
por: Cutler, Joseph W., et al.
Publicado: (2024)

Grammar-Aligned Decoding
por: Park, Kanghee, et al.
Publicado: (2024)

A Formal Semantics of the GraalVM Intermediate Representation
por: Webb, Brae J., et al.
Publicado: (2021)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
por: Rowland, Zachary S., et al.
Publicado: (2025)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
por: Yu, Simon, et al.
Publicado: (2026)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
por: Esmaeilsabzali, Shahram, et al.
Publicado: (2025)

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

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
por: Bagrel, Thomas
Publicado: (2026)

Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
por: Liu, Zhengyang, et al.
Publicado: (2023)

Synthesizing Trajectory Queries from Examples
por: Mell, Stephen, et al.
Publicado: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
por: Xia, Shihao, et al.
Publicado: (2026)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
por: Barrière, Aurèle, et al.
Publicado: (2025)

Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
por: Mitchell, Jacqueline L., et al.
Publicado: (2025)