Cover Image

CF-GKAT: Efficient Validation of Control-Flow Transformations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Cheng, Kappé, Tobias, Narváez, David E., Naus, Nico
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
by: Zhang, Cheng, et al.
Published: (2026)

Weighted GKAT: Completeness and Complexity
by: Van Koevering, Spencer, et al.
Published: (2025)

Partial Reductions for Kleene Algebra with Linear Hypotheses
by: Chung, Liam, et al.
Published: (2026)

Algebras for Deterministic Computation Are Inherently Incomplete
by: Cate, Balder ten, et al.
Published: (2024)

Kleene Algebra
by: Kappé, Tobias, et al.
Published: (2025)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
by: Kappé, Tobias, et al.
Published: (2023)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
by: Zhang, Jiahao, et al.
Published: (2025)

StacKAT: Infinite State Network Verification
by: Jacobs, Jules, et al.
Published: (2025)

An Elementary Proof of the FMP for Kleene Algebra
by: Kappé, Tobias
Published: (2022)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
by: Mints, Mikhail, et al.
Published: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)

Cocoon: Static Information Flow Control in Rust
by: Lamba, Ada, et al.
Published: (2023)

E-Path: Equality Saturation for Control-Flow Graphs
by: Garcia, Guillermo
Published: (2026)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
by: Wang, Yanzhao, et al.
Published: (2024)

Filament: Denning-Style Information Flow Control for Rust
by: Ching, Jeffrey C., et al.
Published: (2026)

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
by: Cai, Xuran
Published: (2025)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

TPDE: A Fast Adaptable Compiler Back-End Framework
by: Schwarz, Tobias, et al.
Published: (2025)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
by: Liu, Peipei, et al.
Published: (2025)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

Transformers are Efficient Compilers, Provably
by: Zhai, Xiyu, et al.
Published: (2024)

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
by: Yuan, Charles, et al.
Published: (2023)

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
by: Kozak, David, et al.
Published: (2025)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
by: Krogstie, Håvard Rognebakke, et al.
Published: (2025)

Transformers for Program Termination
by: Alon, Yoav, et al.
Published: (2026)

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

A Language for Smart Contracts with Secure Control Flow (Technical Report)
by: Yao, Siqiu, et al.
Published: (2024)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
by: Baumann, Jonathan, et al.
Published: (2026)

E-Graphs as a Persistent Compiler Abstraction
by: Merckx, Jules, et al.
Published: (2026)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
by: Merckx, Jules, et al.
Published: (2025)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
by: Yuan, Charles, et al.
Published: (2023)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
by: Rose, Abhishek, et al.
Published: (2024)

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

Compiler support for semi-manual AoS-to-SoA conversions with data views
by: Radtke, Pawel K., et al.
Published: (2024)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
by: Liu, Yuchen, et al.
Published: (2025)