Francesco Zappa Nardelli

Publications

2.1K

Citations

H-Index

2005

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Cambridge

Purdue University West Lafayette

École Normale Supérieure - PSL

Max Planck Institute for Software Systems

Francesco Zappa Nardelli is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsFormal VerificationSoftware AnalysisComputer EngineeringSystem SoftwareComputer ArchitectureParallel Computing

Publications per year

2005–2022

Publications

x86-TSO

Peter Sewell, Susmit Sarkar, Scott Owens et al. · Communications of the ACM · 2010 · 445 citations

Engineering, Program Analysis, Concurrent Programming +15

CompCertTSO

Jaroslav Ševčík, Viktor Vafeiadis, Francesco Zappa Nardelli et al. · Journal of the ACM · 2013 · 172 citations

Engineering, Compiler Technology, Computer Architecture +18

Ott: Effective tool support for the working semanticist

Peter Sewell, Francesco Zappa Nardelli, Scott Owens et al. · Journal of Functional Programming · 2010 · 162 citations · Full text

Rigorous Semantic Definitions, Engineering, Working Semanticist +29

The semantics of x86-CC multiprocessor machine code

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli et al. · 2009 · 154 citations · Full text

Real Multiprocessors, Engineering, Computer Architecture +18

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty et al. · 2014 · 109 citations

Mathematical Programming, C11 Memory Model, Engineering +24

Rows per page

1–5 of 29