Work

The semantics of x86-CC multiprocessor machine code

Year: 2009

Type: conference-paper

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

DOI: 10.1145/1480881.1480929

Authors: Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave

Institutions: University of Cambridge, Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Engineering and Physical Sciences Research Council

Awards: Trustworthy programming for multiple instruction sets, Reasoning with Relaxed Memory Models

OpenAlex ID: W1995825057

FWCI: 12.9

Cites: 22

Cited by: 164

Related to: 10