Francesco Zappa Nardelli
Francesco Zappa Nardelli
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
P Sewell, S Sarkar, S Owens, FZ Nardelli, MO Myreen
Communications of the ACM 53 (7), 89-97, 2010
3822010
The semantics of x86-CC multiprocessor machine code
S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ...
ACM SIGPLAN Notices 44 (1), 379-391, 2009
1682009
Oracle semantics for concurrent separation logic
A Hobor, AW Appel, FZ Nardelli
European Symposium on Programming, 353-367, 2008
1682008
Ott: Effective tool support for the working semanticist
P Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar
Journal of functional programming 20 (1), 71-122, 2010
1532010
The semantics of Power and ARM multiprocessor machine code
J Alglave, A Fox, S Ishtiaq, MO Myreen, S Sarkar, P Sewell, FZ Nardelli
Proceedings of the 4th workshop on Declarative aspects of multicore …, 2009
1202009
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
1182005
CompCertTSO: A verified compiler for relaxed-memory concurrency
J Ševčík, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell
Journal of the ACM (JACM) 60 (3), 1-50, 2013
1152013
Integrating typed and untyped code in a scripting language
T Wrigstad, FZ Nardelli, S Lebresne, J Östlund, J Vitek
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1042010
Ott: Effective tool support for the working semanticist
P Sewell, FZ Nardelli, S Owens, G Peskine, T Ridge, S Sarkar, R Strniša
ACM SIGPLAN Notices 42 (9), 1-12, 2007
1022007
Relaxed-memory concurrency and verified compilation
J Ŝevčik, V Vafeiadis, F Zappa Nardelli, S Jagannathan, P Sewell
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
972011
Behavioral theory for mobile ambients
M Merro, FZ Nardelli
Journal of the ACM (JACM) 52 (6), 961-1023, 2005
912005
Common compiler optimisations are invalid in the C11 memory model and what we can do about it
V Vafeiadis, T Balabonski, S Chakraborty, R Morisset, F Zappa Nardelli
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
852015
Acute: High-level programming language design for distributed computation
P Sewell, JJ Leifer, K Wansbrough, FZ Nardelli, M Allen-Williams, ...
Journal of Functional Programming 17 (4-5), 547-612, 2007
652007
Acute: High-level programming language design for distributed computation
P Sewell, JJ Leifer, K Wansbrough, FZ Nardelli, M Allen-Williams, ...
ACM SIGPLAN Notices 40 (9), 15-26, 2005
622005
Jade Alglave, The semantics of x86-CC multiprocessor machine code
S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ...
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009
572009
The seal calculus revisited: Contextual equivalence and bisimilarity
G Castagna, FZ Nardelli
International Conference on Foundations of Software Technology and …, 2002
572002
Compiler testing via a theory of sound optimisations in the C11/C++ 11 memory model
R Morisset, P Pawan, F Zappa Nardelli
ACM SIGPLAN Notices 48 (6), 187-196, 2013
532013
Correct and efficient work-stealing for weak memory models
NM Lê, A Pop, A Cohen, F Zappa Nardelli
ACM SIGPLAN Notices 48 (8), 69-80, 2013
522013
Verifying fence elimination optimisations
V Vafeiadis, FZ Nardelli
International Static Analysis Symposium, 146-162, 2011
522011
Bisimulation proof methods for mobile ambients
M Merro, FZ Nardelli
International Colloquium on Automata, Languages, and Programming, 584-598, 2003
472003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20