Suivre
Francesco Zappa Nardelli
Francesco Zappa Nardelli
Adresse e-mail validée de fb.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
5412010
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
2062009
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
2012010
Oracle semantics for concurrent separation logic
A Hobor, AW Appel, FZ Nardelli
Programming Languages and Systems: 17th European Symposium on Programming …, 2008
1942008
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
1712013
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
1452009
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
1402015
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
1332007
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
1252010
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
1202011
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
1172005
Behavioral theory for mobile ambients
M Merro, FZ Nardelli
Journal of the ACM (JACM) 52 (6), 961-1023, 2005
1052005
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
832013
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
822013
Concrete types for TypeScript
G Richards, F Zappa Nardelli, J Vitek
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
692015
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
682005
The seal calculus revisited: Contextual equivalence and bisimilarity
G Castagna, FZ Nardelli
International Conference on Foundations of Software Technology and …, 2002
592002
Verifying fence elimination optimisations
V Vafeiadis, F Zappa Nardelli
International Static Analysis Symposium, 146-162, 2011
582011
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
582007
Bisimulation proof methods for mobile ambients
M Merro, FZ Nardelli
International Colloquium on Automata, Languages, and Programming, 584-598, 2003
452003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20