Cover Image

Weak Memory Demands Model-based Compiler Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Geeson, Luke
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Hardware Architecture Software Engineering D.1.3; B.1.2; B.1.4; D.2.5
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Compiler Testing With Relaxed Memory Models
by: Geeson, Luke, et al.
Published: (2023)

Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
by: Siracusa, Marco, et al.
Published: (2025)

Synthesis-in-the-Loop Evaluation of LLMs for RTL Generation: Quality, Reliability, and Failure Modes
by: Fu, Weimin, et al.
Published: (2026)

Anvil: A General-Purpose Timing-Safe Hardware Description Language
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
by: Vieira, João Victor Amorim, et al.
Published: (2025)

Inside VOLT: Designing an Open-Source GPU Compiler
by: Jeong, Shinnung, et al.
Published: (2025)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
by: Li, Shiyang, et al.
Published: (2026)

Verifying a Sparse Matrix Algorithm Using Symbolic Execution
by: Wilton, Alexander C.
Published: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
by: Cunha, Alcino, et al.
Published: (2025)

Mestra: Exploring Migration on Virtualized CGRAs
by: Kyriazis, Agamemnon, et al.
Published: (2026)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
by: Prasetya, I. S. W. B., et al.
Published: (2026)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
by: Salva, Sébastien, et al.
Published: (2025)

LLM-based Behaviour Driven Development for Hardware Design
by: Drechsler, Rolf, et al.
Published: (2025)

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

Adaptable TeaStore: A Choreographic Approach
by: De Palma, Giuseppe, et al.
Published: (2025)

A Survey on Testing and Analysis of Quantum Software
by: Paltenghi, Matteo, et al.
Published: (2024)

Dynamic Race Detection With O(1) Samples
by: Thokair, Mosaad Al, et al.
Published: (2025)

Securing Mixed Rust with Hardware Capabilities
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

A Methodological Analysis of Empirical Studies in Quantum Software Testing
by: Li, Yuechen, et al.
Published: (2026)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
by: Rodríguez, María Belén, et al.
Published: (2026)

Spreadsheet Debugging
by: Ayalew, Yirsaw, et al.
Published: (2008)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

Good modelling software practices
by: Lemmen, Carsten, et al.
Published: (2024)

Recommended Practices for Spreadsheet Testing
by: Panko, Raymond R.
Published: (2007)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

A Compilation Framework for Quantum Circuits with Mid-Circuit Measurement Error Awareness
by: Zhong, Ming, et al.
Published: (2025)

TokenStack: A Heterogeneous HBM-PIM Architecture and Runtime for Efficient LLM Inference
by: Li, Zhuoran, et al.
Published: (2026)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
by: Tjoa, Ryan, et al.
Published: (2025)

Tests4Py: A Benchmark for System Testing
by: Smytzek, Marius, et al.
Published: (2023)

A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing
by: Elgendy, Islam T., et al.
Published: (2023)

Static Communication Analysis for Hardware Design
by: Rosendahl, Mads, et al.
Published: (2025)

Investigating the Potential of Test-Driven Development for Spreadsheet Engineering
by: Rust, Alan, et al.
Published: (2008)

Design and Implementation of a RISC-V SoC with Custom DSP Accelerators for Edge Computing
by: Yadav, Priyanshu
Published: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
by: Ates, Salih, et al.
Published: (2024)

FlexiBit: Fully Flexible Precision Bit-parallel Accelerator Architecture for Arbitrary Mixed Precision AI
by: Tahmasebi, Faraz, et al.
Published: (2024)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
by: Lahiri, Shuvendu K.
Published: (2026)

The Future of AI-Driven Software Engineering
by: Terragni, Valerio, et al.
Published: (2024)

Non-interfering On-line and In-field SoC Testing
by: Strauch, Tobias
Published: (2024)