:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Govind, R., Grahn, Samuel, Thinniyam, Ramanathan S.
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2508.07855
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

Verification under TSO with an infinite Data Domain
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Unified Fairness for Weak Memory Verification
by: Abdulla, Parosh Aziz, et al.
Published: (2023)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
by: Abdulla, Parosh Aziz, et al.
Published: (2026)

Efficient Linearizability Monitoring
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Parameterized Verification of Quantum Circuits (Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Verifying Sequential Consistency under Bounded Preemptions
by: Govind, R., et al.
Published: (2026)

Existential Definability over the Subword Ordering
by: Baumann, Pascal, et al.
Published: (2022)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
by: Bogdanov, Eli, et al.
Published: (2025)

General Decidability Results for Systems with Continuous Counters
by: Balasubramanian, A. R., et al.
Published: (2025)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
by: M, Abdulla
Published: (2025)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
by: Barth, Max, et al.
Published: (2025)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
by: Akshay, S., et al.
Published: (2026)

Benchmarking LLM for Code Smells Detection: OpenAI GPT-4.0 vs DeepSeek-V3
by: Sadik, Ahmed R., et al.
Published: (2025)

Equivalence Checking of ML GPU Kernels
by: Dubey, Kshitij, et al.
Published: (2025)

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
by: Fu, Zhoulai, et al.
Published: (2025)

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

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
by: Krook, Robert, et al.
Published: (2024)

Static Type Checking for Database Access Code
by: Kirz, Thomas James, et al.
Published: (2026)

Practical Type-Based Taint Checking and Inference (Extended Version)
by: Karimipour, Nima, et al.
Published: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
by: Stutz, Felix, et al.
Published: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
by: Akshay, S., et al.
Published: (2024)

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

Open-World Assertion Checking for Smart Contracts via Game Semantics
by: Koutavas, Vasileios, et al.
Published: (2025)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
by: Ferreiro, Daniela, et al.
Published: (2026)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
by: Ho, Son, et al.
Published: (2024)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
by: Li, Elaine, et al.
Published: (2026)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
by: Paraskevopoulou, Zoe
Published: (2026)

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

Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
by: He, Yumeng, et al.
Published: (2025)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Simulations for Event-Clock Automata
by: Akshay, S, et al.
Published: (2022)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
by: Gollamudi, Tarakaram, et al.
Published: (2025)

Consistent Updates for Scalable Microservices
by: Chait-Roth, Devora, et al.
Published: (2025)