CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | ISSN: 0004-5411 |
| Author | Sevcik, Jaroslav, Vafeiadis, Viktor, Zappa Nardelli, Francesco, Jagannathan, Suresh, Sewell, Peter |
| Maintainer | CCSD |
| Last Updated | May 8, 2026, 02:39 (UTC) |
| Created | May 8, 2026, 02:39 (UTC) |
| Identifier | hal-00909076 |
| Language | en |
| contributor | Microsoft Corporation [Redmond] ; Microsoft Corporation [Redmond, Wash.] |
| creator | Sevcik, Jaroslav |
| date | 2013-05-08T00:00:00 |
| harvest_object_id | fc116cb1-dc42-4d50-aabd-077f6432f0ce |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-01-09T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1145/2487241.2487248 |
| set_spec | type:ART |