Get started
Author

Francesco Zappa Nardelli

x86-TSO
2010 · Peter Sewell, Susmit Sarkar, et al. · Communications of the ACM · 499
CompCertTSO
2013 · Jaroslav Ševčík, Viktor Vafeiadis, et al. · Journal of the ACM · 202
Ott: Effective tool support for the working semanticist
2010 · PETER SEWELL, FRANCESCO ZAPPA NARDELLI, et al. · Journal of Functional Programming · 188
PDF
The semantics of x86-CC multiprocessor machine code
2009 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 167
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it
2014 · Viktor Vafeiadis, Thibaut Balabonski, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 132
Oracle Semantics for Concurrent Separation Logic
2008 · Aquinas Hobor, Andrew W. Appel, et al. · Springer eBooks · 124
PDF
Integrating typed and untyped code in a scripting language
2010 · Tobias Wrigstad, Francesco Zappa Nardelli, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 114
The semantics of power and ARM multiprocessor machine code
2009 · Jade Alglave, Anthony Fox, et al. · Workshop on Declarative Aspects of Multicore Programming · 114
The Seal Calculus
2005 · G. Castagna, J. Vitek, et al. · Information and Computation · 80
PDF
Behavioral theory for mobile ambients
2005 · Massimo Merro, Francesco Zappa Nardelli · Journal of the ACM · 77
Compiler testing via a theory of sound optimisations in the C11/C++11 memory model
2013 · Robin Morisset, Pankaj Pawan, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 76
Correct and efficient work-stealing for weak memory models
2013 · Nhat Minh Lê, Antoniu Pop, et al. · ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming · 73
PDF
Ott
2007 · Peter Sewell, Francesco Zappa Nardelli, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 73
Relaxed-memory concurrency and verified compilation
2011 · Jaroslav Ŝevčik, Viktor Vafeiadis, et al. · ACM SIGPLAN Notices · 63
Relaxed-memory concurrency and verified compilation
2011 · Jaroslav Ŝevčik, Viktor Vafeiadis, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 60
Acute
2005 · Peter Sewell, James J. Leifer, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 59
Concrete Types for TypeScript
2015 · Richards, Gregor, Zappa Nardelli, Francesco, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 45
PDF
The semantics of x86-CC multiprocessor machine code
2009 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Notices · 45
Acute: High-level programming language design for distributed computation
2007 · PETER SEWELL, JAMES J. LEIFER, et al. · Journal of Functional Programming · 43
PDF
Julia subtyping: a rational reconstruction
2018 · Francesco Zappa Nardelli, Julia Belyakova, et al. · Proceedings of the ACM on Programming Languages · 39
PDF
Verifying Fence Elimination Optimisations
2011 · Viktor Vafeiadis, Francesco Zappa Nardelli · Lecture notes in computer science · 39
Bisimulation Proof Methods for Mobile Ambients
2003 · Massimo Merro, Francesco Zappa Nardelli · Lecture notes in computer science · 38
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
2002 · Giuseppe Castagna, Francesco Zappa Nardelli · Lecture notes in computer science · 37
Reliable Evidence: Auditability by Typing
2009 · Nataliya Guts, Cédric Fournet, et al. · Lecture notes in computer science · 30
Lem: A Lightweight Tool for Heavyweight Semantics
2011 · Scott Owens, Peter Böhm, et al. · Lecture notes in computer science · 29
Works count: 62
Citation count: 2,703
H-index: 25
I10-index: 37
Year
Topic
Type