activity
20162026
most citedTriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA

37 citations · 86 across the 16 of their papers we have counts for

collaborators
Showing 2016 · cs.PLShow all

1 paper · 2 filters

cs.PL2016

Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings

Yatin A. Manerkar, Caroline Trippel, Daniel Lustig +2

The C and C++ high-level languages provide programmers with atomic operations for writing high-performance concurrent code. At the assembly language level, C and C++ atomics get ma…