:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Klimis, Vasileios, Donaldson, Alastair F., Vafeiadis, Viktor, Wickerson, John, Raad, Azalea
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2405.18575
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extending the C/C++ Memory Model with Inline Assembly
by: de Vilhena, Paulo Emílio, et al.
Published: (2024)

Formalising CXL Cache Coherence
by: Tan, Chengsong, et al.
Published: (2024)

Artifact for "Uniformity Analysis in the WebGPU Shading Language", PLDI 2026
by: Lee-Jones, James, et al.
Published: (2026)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2025)

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations
by: Geeson, Luke, et al.
Published: (2024)

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
by: Griffin, Matt, et al.
Published: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
by: Ayoun, Sacha-Élie, et al.
Published: (2025)

Bayesian Separation Logic
by: Ho, Shing Hin, et al.
Published: (2025)

Automatic Stereoscopic Video Object-Based Watermarking UsingQualified Significant Wavelet Trees
by: Klimis S. Ntalianis
Published: (2012)

Specifying and Verifying RDMA Synchronisation (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2026)

U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
by: Ascari, Flavio, et al.
Published: (2025)

Non-Termination Proving: 100 Million LoC and Beyond
by: Vanegue, Julien, et al.
Published: (2025)

Stubborn Polynomials
by: Baldi, Lorenzo, et al.
Published: (2026)

GLaM-Sign: Greek Language Multimodal Lip Reading with Integrated Sign Language Accessibility
by: Kouremenos, Dimitris, et al.
Published: (2025)

“A Stubbornly Persistent Illusion”?: Climate Crisis and the North, Ecomusicology and Academic Discourse
by: Aaron S. Allen
Published: (2019)

Softening‐Up Persistently Stubborn Institutional Stances in Net Zero Change Environments
by: Nicola Barron, et al.
Published: (2024)

A Stubborn Fury
by: Hall, Gary
Published: (2021)

Lost in Vagueness: Towards Context-Sensitive Standards for Robustness Assessment under the EU AI Act
by: Tamponi, Roberta, et al.
Published: (2025)

A High-level Synthesis Toolchain for the Julia Language
by: Short, Benedict, et al.
Published: (2025)

Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress)
by: Short, Benedict, et al.
Published: (2025)

Vagueness and the Connectives
by: Holliday, Wesley H.
Published: (2024)

Toward Live Noise Fingerprinting in Quantum Software Engineering
by: Bensoussan, Avner, et al.
Published: (2025)

Moral Dimensions of Humour
Published: (2024)

Humour and Laughter in History
Published: (2019)

Explaining Humour Style Classifications: An XAI Approach to Understanding Computational Humour Analysis
by: Kenneth, Mary Ogbuka, et al.
Published: (2025)

Undecided State Dynamics with Stubborn Agents
by: Berenbrink, Petra, et al.
Published: (2024)

Vagueness Markers in Italian
by: Ghezzi, Chiara
Published: (2023)

The European Journal of Humour Research
Published: (2017)

Finding Interpretable Prompt-Specific Circuits in Language Models
by: Franco, Gabriel, et al.
Published: (2026)

Análisis comparativo del estado antropométrico y el perfil sociodemográfico de la población escolar del distrito San Juan del cantón La Unión, a lo largo del periodo 2005-2009
by: Azálea Barrantes-Montoya
Published: (2015)

LA SEGURIDAD DEL PACIENTE EN LOS SISTEMAS DE SALUD
by: Azálea Espinoza Aguirre
Published: (2017)

Conocimientos sobre tabaco y sus riesgos a la salud en Costa Rica: un análisis estructural
by: Azálea Espinoza-Aguirre
Published: (2021)

Prevalencia de sobrepeso, obesidad y factores asociados en preescolares del cantón de Turrialba
by: Azálea Barrantes-Montoya
Published: (2017)

Response to the Letter to the Editor Regarding “Temporary Restoration of Sinus Rhythm Improves Outcomes of Catheter Ablation for Longstanding Persistent Atrial Fibrillation”
by: Mohamad Raad, et al.
Published: (2025)

Vagueness, Conditionals and Context Sensitivity
by: Tom Beevers
Published: (2024)

Psychology-Driven Enhancement of Humour Translation
by: Su, Yuchen, et al.
Published: (2025)

Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
by: Chaliasos, Stefanos, et al.
Published: (2025)

An optimal level of Stubbornness to win a soccer match
by: Pramanik, Paramahansa
Published: (2025)

Spontaneous Lung Herniation From a Stubborn Cough
by: Kush Kapadia, et al.
Published: (2026)

Chemical composition and in-vitro antioxidant activity of extracts of Adelia ricinella L.
by: Clara Azalea Berenguer Rivas
Published: (2018)