:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Govind, R., Grahn, Samuel, Thinniyam, Ramanathan S.
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2508.07855
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Verification of the Release-Acquire Semantics
par: Abdulla, Parosh, et autres
Publié: (2025)

Verification under TSO with an infinite Data Domain
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

Unified Fairness for Weak Memory Verification
par: Abdulla, Parosh Aziz, et autres
Publié: (2023)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
par: Abdulla, Parosh Aziz, et autres
Publié: (2026)

Efficient Linearizability Monitoring
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

Parameterized Verification of Quantum Circuits (Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

Verifying Sequential Consistency under Bounded Preemptions
par: Govind, R., et autres
Publié: (2026)

Existential Definability over the Subword Ordering
par: Baumann, Pascal, et autres
Publié: (2022)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
par: Bogdanov, Eli, et autres
Publié: (2025)

General Decidability Results for Systems with Continuous Counters
par: Balasubramanian, A. R., et autres
Publié: (2025)

Complexity of Consistency Testing for the Release-Acquire Semantics
par: Govind, R., et autres
Publié: (2026)

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

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
par: Barth, Max, et autres
Publié: (2025)

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

Benchmarking LLM for Code Smells Detection: OpenAI GPT-4.0 vs DeepSeek-V3
par: Sadik, Ahmed R., et autres
Publié: (2025)

Equivalence Checking of ML GPU Kernels
par: Dubey, Kshitij, et autres
Publié: (2025)

Handling Scope Checks (Extended Version)
par: Lee, Michael, et autres
Publié: (2026)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
par: Ma, Zhiyao, et autres
Publié: (2025)

Augmented Weak Distance for Fast and Accurate Bounds Checking
par: Fu, Zhoulai, et autres
Publié: (2025)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
par: Enea, Constantin, et autres
Publié: (2026)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
par: Krook, Robert, et autres
Publié: (2024)

Static Type Checking for Database Access Code
par: Kirz, Thomas James, et autres
Publié: (2026)

Practical Type-Based Taint Checking and Inference (Extended Version)
par: Karimipour, Nima, et autres
Publié: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
par: Stutz, Felix, et autres
Publié: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
par: Akshay, S., et autres
Publié: (2024)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
par: Bouajjani, Ahmed, et autres
Publié: (2025)

Open-World Assertion Checking for Smart Contracts via Game Semantics
par: Koutavas, Vasileios, et autres
Publié: (2025)

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
par: Ferreiro, Daniela, et autres
Publié: (2026)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
par: Ho, Son, et autres
Publié: (2024)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
par: Li, Elaine, et autres
Publié: (2026)

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)
par: Paraskevopoulou, Zoe
Publié: (2026)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
par: Yu, Nengkun, et autres
Publié: (2025)

Formalizing Linear Motion G-code for Invariant Checking and Differential Testing of Fabrication Tools
par: He, Yumeng, et autres
Publié: (2025)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

Simulations for Event-Clock Automata
par: Akshay, S, et autres
Publié: (2022)

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
par: Gollamudi, Tarakaram, et autres
Publié: (2025)

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