Cover Image

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Goharshady, Amir K., Kochekov, Kerim, Shu, Tian, Zaher, Ahmed Khaled
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Series-Parallel-Loop Decompositions of Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Template-based Program Synthesis using Stellensätze
by: Goharshady, Amir Kafshdar, et al.
Published: (2022)

PolyQEnt: A Polynomial Quantified Entailment Solver
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Refuting Equivalence in Probabilistic Programs with Conditioning
by: Chatterjee, Krishnendu, et al.
Published: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

SuperDP: Differential Privacy Refutation via Supermartingales
by: Chatterjee, Krishnendu, et al.
Published: (2026)

Verified Parameterized Choreographies Technical Report
by: Rubbens, Robert, et al.
Published: (2025)

Combinatorial Parameterized Algorithms for Chemical Descriptors based on Molecular Graph Sparsity
by: Conrado, Giovanna K., et al.
Published: (2023)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
by: Udomsrirungruang, Thien, et al.
Published: (2024)

Eliminate Branches by Melding IR Instructions
by: Li, Yuze, et al.
Published: (2025)

Type-safe Monitoring of Parameterized Streams
by: Baumeister, Jan, et al.
Published: (2026)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
by: Udomsrirungruang, Thien, et al.
Published: (2024)

Symmetric Proofs of Parameterized Programs
by: Cheng, Ruotong, et al.
Published: (2026)

Parameterized Hardware Design with Latency-Abstract Interfaces
by: Nigam, Rachit, et al.
Published: (2024)

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
by: Alaoui, Ziad Ismaili, et al.
Published: (2025)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
by: Bouajjani, Ahmed, et al.
Published: (2025)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
by: Wang, Mingxiu, et al.
Published: (2025)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
by: Kammar, Ohad, et al.
Published: (2026)

Complete Local Reasoning About Parameterized Programs Over Topologies
by: Cheng, Ruotong, et al.
Published: (2026)

Scoped Effects as Parameterized Algebraic Theories
by: Matache, Cristina, et al.
Published: (2024)

Step in Tine: Forking Processes in Functional Choreographies
by: Samuelson, Ashley, et al.
Published: (2026)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
by: Fukuda, Kota, et al.
Published: (2025)

OLoRA: Orthonormal Low-Rank Adaptation of Large Language Models
by: Büyükakyüz, Kerim
Published: (2024)

HITrees: Higher-Order Interaction Trees
by: Ayyam, Amir Mohammad Fadaei, et al.
Published: (2025)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
by: Näumann, Julius, et al.
Published: (2026)

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
by: Li, Hebi, et al.
Published: (2025)

Härpfer's Extended Indispensability Algorithm in Z
by: Lepper, Markus, et al.
Published: (2025)

Branching Out: Existential External Choice in Effpi
by: Robinson, Benjamin, et al.
Published: (2026)

Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

Verification Algorithms for Automated Separation Logic Verifiers
by: Eilers, Marco, et al.
Published: (2024)

WizardMerge -- Save Us From Merging Without Any Clues
by: Zhang, Qingyu, et al.
Published: (2024)

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)

Unleashing Optimizations in Dynamic Circuits through Branch Expansion
by: Chen, Yanbin
Published: (2025)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
by: Enea, Constantin, et al.
Published: (2026)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
by: Zilberstein, Noam
Published: (2024)

Functional Logic Program Transformations
by: Hanus, Michael, et al.
Published: (2026)