Imagen de Portada

Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Klimis, Vasileios, Donaldson, Alastair F., Vafeiadis, Viktor, Wickerson, John, Raad, Azalea
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Formalising CXL Cache Coherence
por: Tan, Chengsong, et al.
Publicado: (2024)

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

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

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

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

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

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

Bayesian Separation Logic
por: Ho, Shing Hin, et al.
Publicado: (2025)

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

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

Stubborn Polynomials
por: Baldi, Lorenzo, et al.
Publicado: (2026)

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

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

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

A Stubborn Fury
por: Hall, Gary
Publicado: (2021)

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

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

Vagueness and the Connectives
por: Holliday, Wesley H.
Publicado: (2024)

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

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

Moral Dimensions of Humour
Publicado: (2024)

Humour and Laughter in History
Publicado: (2019)

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

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

Vagueness Markers in Italian
por: Ghezzi, Chiara
Publicado: (2023)

The European Journal of Humour Research
Publicado: (2017)

Vagueness, Conditionals and Context Sensitivity
por: Tom Beevers
Publicado: (2024)

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

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

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

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

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

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

The Role of Humour in Software Engineering -- A Literature Review and Preliminary Taxonomy
por: Hidellaarachchi, Dulaji, et al.
Publicado: (2025)

Vague and basic convergence of signed measures
por: Staněk, Michael
Publicado: (2024)

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

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

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

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
por: Azálea Barrantes-Montoya
Publicado: (2015)