Image de couverture de livre

Arithmetizing Shape Analysis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wolff, Sebastian, Gupta, Ekanshdeep, Esen, Zafer, Hojjat, Hossein, Rümmer, Philipp, Wies, Thomas
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An Encoding for CLP Problems in SMT-LIB
par: Amrollahi, Daneshvar, et autres
Publié: (2024)

Context-Aware Separation Logic
par: Meyer, Roland, et autres
Publié: (2023)

Implementability of Global Distributed Protocols modulo Network Architectures
par: Li, Elaine, et autres
Publié: (2026)

Consistent Updates for Scalable Microservices
par: Chait-Roth, Devora, et autres
Publié: (2025)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
par: Esen, Zafer, et autres
Publié: (2025)

Compiling the Mimosa programming language to RTOS tasks
par: Huber, Nikolaus, et autres
Publié: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
par: Huber, Nikolaus, et autres
Publié: (2025)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
par: Nicola, Mihai, et autres
Publié: (2024)

Verifying Lock-free Search Structure Templates
par: Patel, Nisarg, et autres
Publié: (2024)

Characterizing Implementability of Global Protocols with Infinite States and Data
par: Li, Elaine, et autres
Publié: (2024)

Decision Procedure for A Theory of String Sequences
par: Hu, Denghang, et autres
Publié: (2025)

Complete Multiparty Session Type Projection with Automata
par: Li, Elaine, et autres
Publié: (2023)

Realizability in Semantics-Guided Synthesis Done Eagerly
par: Meyer, Roland, et autres
Publié: (2024)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
par: Monat, Raphaël, et autres
Publié: (2024)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
par: Fujiwara, Yusuke, et autres
Publié: (2026)

Arithmetics-Based Decomposition of Numeral Words -- Arithmetic Conditions give the Unpacking Strategy
par: Maier, Isidor Konrad, et autres
Publié: (2023)

A Novel Compiler Transformation for Fast Sparse Matrix Multiplication in GPUs
par: Albakri, Hossein, et autres
Publié: (2025)

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
par: Wu, Valentina, et autres
Publié: (2025)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
par: Zhang, Naifeng, et autres
Publié: (2025)

Increasing the Expressiveness of a Gradual Verifier
par: Gupta, Priyam
Publié: (2025)

A Program Instrumentation Framework for Automatic Verification
par: Amilon, Jesper, et autres
Publié: (2024)

Newtonian Program Analysis of Probabilistic Programs
par: Wang, Di, et autres
Publié: (2023)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
par: Akshay, S., et autres
Publié: (2026)

Fusing Gathers with Integer Linear Programming
par: van Balen, David, et autres
Publié: (2024)

Deciding Subtyping for Asynchronous Multiparty Sessions
par: Li, Elaine, et autres
Publié: (2024)

Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
par: Schröer, Philipp, et autres
Publié: (2026)

Extensibility in Programming Languages: An overview
par: Nicolajsen, Sebastian mateos
Publié: (2025)

Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic
par: Hanley, Connor, et autres
Publié: (2025)

How Programming Concepts and Neurons Are Shared in Code Language Models
par: Kargaran, Amir Hossein, et autres
Publié: (2025)

State Space Estimation for DPOR-based Model Checkers(Extended Version)
par: Balasubramanian, A. R., et autres
Publié: (2025)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
par: Kan, Shuanglong, et autres
Publié: (2026)

Algorithmic Details behind the Predator Shape Analyser
par: Dudka, Kamil, et autres
Publié: (2024)

GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
par: Bathie, Gabriel, et autres
Publié: (2026)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
par: Schröer, Philipp, et autres
Publié: (2025)

Triemaps that match
par: Jones, Simon Peyton, et autres
Publié: (2023)

Empowering Persian LLMs for Instruction Following: A Novel Dataset and Training Approach
par: Mokhtarabadi, Hojjat, et autres
Publié: (2024)

Towards representation agnostic probabilistic programming
par: Fenske, Ole, et autres
Publié: (2025)

MLIR-Forge: A Modular Framework for Language Smiths
par: Ates, Berke, et autres
Publié: (2026)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
par: Hummelgren, Lars, et autres
Publié: (2022)

Abstracting Denotational Interpreters
par: Graf, Sebastian, et autres
Publié: (2024)