A Provenance-aware Memory Object Model for C

Jens Gustedt; Peter Sewell; Kayvan Memarian; Victor Gomes; Martin Uecker

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Books

A Provenance-aware Memory Object Model for C

Jens Gustedt ¹ Peter Sewell ² Kayvan Memarian ² Victor Gomes ² Martin Uecker ³

1 CAMUS - Compilation pour les Architectures MUlti-coeurS

Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie

2 CAM - University of Cambridge [UK]

3 UMG - University Medical Center Göttingen

Jens Gustedt ¹ AuthorId : 478411
Author IdHAL : jens-gustedt ORCID : https://orcid.org/0000-0003-0779-1944

Peter Sewell ² AuthorId : 99592
Author Employer institution : University of Cambridge [UK]

Kayvan Memarian ² AuthorId : 12058867
Author Employer institution : University of Cambridge [UK]

Victor B F Gomes ² AuthorId : 12058868
Author Employer institution : University of Cambridge [UK]

Martin Uecker ³ AuthorId : 12058869
Author Employer institution : University Medical Center Göttingen

1 CAMUS - Compilation pour les Architectures MUlti-coeurS (France) StructId : 233382

Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 129671
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (300 bd Sébastien Brant - BP 10413 - F-67412 Illkirch Cedex - France) StructId : 217648
- INSA Strasbourg - Institut National des Sciences Appliquées - Strasbourg (France) StructId : 261615
  - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
- UNISTRA - Université de Strasbourg (4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex - France) StructId : 199013
- CNRS - Centre National de la Recherche Scientifique : UMR7357 (France) StructId : 441569
- ENGEES - École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (1 quai Koch - BP 61039 - 67070 Strasbourg Cedex - France) StructId : 94023
- Réseau nanophotonique et optique (France) StructId : 529628
  - CNRS - Centre National de la Recherche Scientifique (France) StructId : 441569
  - UNISTRA - Université de Strasbourg : FR3678 (4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex - France) StructId : 199013
  - Université de Haute-Alsace (UHA) - Université de Haute-Alsace (UHA) Mulhouse - Colmar (2, rue des Frères Lumière F-68093 Mulhouse Cedex - France) StructId : 237692
- Matériaux et nanosciences d'Alsace (France) StructId : 529627
  - CNRS - Centre National de la Recherche Scientifique (France) StructId : 441569
  - INSERM - Institut National de la Santé et de la Recherche Médicale (101, rue de Tolbiac, 75013 Paris - France) StructId : 303623
  - Université de Haute-Alsace (UHA) - Université de Haute-Alsace (UHA) Mulhouse - Colmar (2, rue des Frères Lumière F-68093 Mulhouse Cedex - France) StructId : 237692
  - UNISTRA - Université de Strasbourg : FR3627 (4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex - France) StructId : 199013

2 CAM - University of Cambridge [UK] (The Old Schools, Trinity Lane, Cambridge CB2 1TN - United Kingdom) StructId : 237843

3 UMG - University Medical Center Göttingen (Georg-August-Universität Robert-Koch-Straße 40 37075 Göttingen - Germany) StructId : 522149

Document type :

Books

Domain :

Computer Science [cs] / Programming Languages [cs.PL]

Complete list of metadata

https://hal.inria.fr/hal-02957464
Contributor : Jens Gustedt Connect in order to contact the contributor
Submitted on : Monday, October 5, 2020 - 11:02:18 AM
Last modification on : Wednesday, September 8, 2021 - 3:35:09 AM

Identifiers

HAL Id : hal-02957464, version 1

Collections

Citation

Jens Gustedt, Peter Sewell, Kayvan Memarian, Victor Gomes, Martin Uecker. A Provenance-aware Memory Object Model for C. ISO/IEC TC1/SC22/WG14, pp.89, 2020. ⟨hal-02957464⟩

A Provenance-aware Memory Object Model for C

Identifiers

Collections

Citation

Export

Metrics

34

Contact Legal Notice Personal Data

A Provenance-aware Memory Object Model for C

Identifiers

Collections

Citation

Export

Share

Metrics

34

Contact Legal Notice Personal Data