A Aralex Aachen research explorer

January 24, 2011 conference-paper

Mathematizing C++ concurrency

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/1926385.1926394 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 276

Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures
2026 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

1

citations
Formal Methods
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations

2 results

References 0