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

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
- 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
- UNISTRA - Université de Strasbourg (4 rue Blaise Pascal - CS 90032 - 67081 Strasbourg cedex - France) StructId : 199013
- INSA Strasbourg - Institut National des Sciences Appliquées - Strasbourg (France) StructId : 261615
  - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
- CNRS - Centre National de la Recherche Scientifique : UMR7357 (France) StructId : 441569
- 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
- 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

Document type :

Books

Domain :

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

Complete list of metadatas

https://hal.inria.fr/hal-02957464
Contributor : Jens Gustedt <>
Submitted on : Monday, October 5, 2020 - 11:02:18 AM
Last modification on : Tuesday, October 6, 2020 - 3:32:58 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

12

Contact Legal Notice Personal Data

A Provenance-aware Memory Object Model for C

Identifiers

Collections

Citation

Export

Share

Metrics

12

Contact Legal Notice Personal Data