Published October 1, 2024 | Version v1

Conference paper Open

Extending the C/C++ Memory Model with Inline Assembly – Technical Appendix

1. Imperial College London
2. Tel Aviv University
3. Max Planck Institute for Software Systems

Extending the C/C++ Memory Model with Inline Assembly (OOPSLA 2024)

Full paper with appendix.

Files

inline-x86-asm.pdf

Files (855.7 kB)

Name	Size	Download all
inline-x86-asm.pdf md5:ad4106ce7300e1ebe80b1278daf11020	855.7 kB	Preview Download

Additional details

DOI: 10.1145/3689749

UK Research and Innovation
Future Leaders Fellowship MR/V024299/1
European Research Council
Horizon Europe 851811
European Research Council
Horizon Europe 101003349
UK Research and Innovation
Engineering and Physical Sciences Research Council EP/X037029/1
Israel Science Foundation
Israel Science Foundation 814/22

174

Views

116

Downloads

Show more details

	All versions	This version
Views	174	174
Downloads	116	116
Data volume	110.4 MB	110.4 MB

More info on how stats are collected....

DOI

Resource type

Conference paper

Publisher

Zenodo

Published in

Proceedings of the ACM on Programming Languages, 8(OOPSLA2), 309, ISSN: 2475-1421, 2024.

Conference

Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) , Pasadena, California, United States, 23-25 October 2024

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: September 1, 2024
Modified: September 2, 2024