Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency

Conference proceeding

Open access

Peer reviewed

Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer and Brijesh Dongol

PROGRAMMING LANGUAGES AND SYSTEMS, PT II, ESOP 2024, Vol.14577, pp.180-184

Lecture Notes in Computer Science

01/01/2024

Abstract

Computer Science

Computer Science, Software Engineering

Computer Science, Theory & Methods

Science & Technology

Technology

This report extends 6 of the main paper by providing further details of the mechanisation effort.

url

https://doi.org/10.1007/978-3-031-57267-8_7View

Published (Version of record) Open

Title: Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency
Creators: Azalea Raad - Imperial College London
Ori Lahav - Tel Aviv University
John Wickerson - Imperial College London
Piotr Balcer - Intel
Brijesh Dongol - University of Surrey
Contributors: S Weirich (Editor)
Publication Details: PROGRAMMING LANGUAGES AND SYSTEMS, PT II, ESOP 2024, Vol.14577, pp.180-184
Series: Lecture Notes in Computer Science
Publisher: Springer Nature
Number of pages: 5
Publication Date: 01/01/2024
Grant note: EP/X037029/1; EP/R006865/1; EP/Y036425/1; EP/X037142/1; EP/X015149/1; EP/V038915/1; EP/R025134/2 / EPSRC; UK Research & Innovation (UKRI); Engineering & Physical Sciences Research Council (EPSRC) MR/V024299/1 / UKRI fellowship; UK Research & Innovation (UKRI) VeTSS 851811 / European Research Council (ERC) under the European Union; European Research Council (ERC) 814/22 / Israel Science Foundation
Identifiers: 99928862402346; WOS:001281762600007
Academic Unit: School of Computer Science and Electronic Engineering
Language: English
Resource Type: Conference proceeding