Francesco Zappa Nardelli

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Lem: A Lightweight Tool for Heavyweight Semantics

Scott Owens and others (2011) · Springer Berlin Heidelberg

x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors

Peter Sewell and others (2010) · Communications of the ACM · Association for Computing Machinery (ACM)

The semantics of power and ARM multiprocessor machine code

Jade Alglave and others (2009)

The semantics of x86-CC multiprocessor machine code

Susmit Sarkar and others (2009) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)