Buchumschlag

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Brahmakshatriya, Ajay, Amarasinghe, Saman, Rinard, Martin
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
von: Rinard, Martin
Veröffentlicht: (2026)

Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
von: Rinard, Martin
Veröffentlicht: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
von: Frenkel, Eden, et al.
Veröffentlicht: (2026)

Emergent Representations of Program Semantics in Language Models Trained on Programs
von: Jin, Charles, et al.
Veröffentlicht: (2023)

Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
von: Won, Jaeyeon, et al.
Veröffentlicht: (2025)

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
von: Lian, Qihao, et al.
Veröffentlicht: (2025)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
von: Gladshtein, Vladimir, et al.
Veröffentlicht: (2024)

The Continuous Tensor Abstraction: Where Indices are Real
von: Won, Jaeyeon, et al.
Veröffentlicht: (2024)

Synthesizing Backward Error Bounds, Backward
von: Zielinski, Laura, et al.
Veröffentlicht: (2026)

Improving stableKanren's Backward Compatibility
von: Guo, Xiangyu, et al.
Veröffentlicht: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
von: Beckmann, Tom, et al.
Veröffentlicht: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
von: Huot, Mathieu, et al.
Veröffentlicht: (2024)

Latent Causal Probing: A Formal Perspective on Probing with Causal Models of Data
von: Jin, Charles, et al.
Veröffentlicht: (2024)

Bean: A Language for Backward Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2025)

A Type System for Data Flow and Alias Analysis in ReScript
von: Lund, Nicky Ask, et al.
Veröffentlicht: (2024)

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

Modular GPU Programming with Typed Perspectives
von: Bansal, Manya, et al.
Veröffentlicht: (2025)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
von: Singh, Ajay, et al.
Veröffentlicht: (2025)

A Sound Type System for Secure Currency Flow
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Probabilistic Programming with Programmable Variational Inference
von: Becker, McCoy R., et al.
Veröffentlicht: (2024)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
von: Zhang, Jiahao, et al.
Veröffentlicht: (2025)

Building Bridges: Julia as an MLIR Frontend
von: Merckx, Jules
Veröffentlicht: (2025)

Is It a Good Idea to Build an HLS Tool on Top of MLIR? Experience from Building the Dynamatic HLS Compiler
von: Xu, Jiahui, et al.
Veröffentlicht: (2026)

Translating Large-Scale C Repositories to Idiomatic Rust
von: Dehghan, Saman, et al.
Veröffentlicht: (2025)

A Data-driven Analysis of Code Optimizations
von: Hakimi, Yacine, et al.
Veröffentlicht: (2025)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
von: Zhang, Dylan, et al.
Veröffentlicht: (2025)

Abstract Interpretation-Based Data Leakage Static Analysis
von: Drobnjaković, Filip, et al.
Veröffentlicht: (2022)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
von: Diamantakis, Panagiotis, et al.
Veröffentlicht: (2025)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
von: Arafat, Hassan, et al.
Veröffentlicht: (2025)

A Type System for Data Privacy Compliance in Active Object Languages
von: Baramashetru, Chinmayi Prabhu, et al.
Veröffentlicht: (2025)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
von: Lagouvardos, Sifis, et al.
Veröffentlicht: (2025)

Building an Accelerated OpenFOAM Proof-of-Concept Application using Modern C++
von: Malenza, Giulio, et al.
Veröffentlicht: (2025)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis
von: Tunç, Hünkar Can, et al.
Veröffentlicht: (2024)

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
von: Odyurt, Uraz, et al.
Veröffentlicht: (2026)

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

Cocoon: Static Information Flow Control in Rust
von: Lamba, Ada, et al.
Veröffentlicht: (2023)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
von: Xu, Yichen, et al.
Veröffentlicht: (2025)

E-Path: Equality Saturation for Control-Flow Graphs
von: Garcia, Guillermo
Veröffentlicht: (2026)

CF-GKAT: Efficient Validation of Control-Flow Transformations
von: Zhang, Cheng, et al.
Veröffentlicht: (2024)