| 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 | 520 | 2010 |
| 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 | 196 | 2009 |
| 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 | 193 | 2010 |
| Oracle semantics for concurrent separation logic A Hobor, AW Appel, FZ Nardelli Programming Languages and Systems: 17th European Symposium on Programming …, 2008 | 188 | 2008 |
| 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 | 160 | 2013 |
| 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 | 143 | 2009 |
| 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 | 131 | 2015 |
| 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 | 124 | 2007 |
| 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 | 121 | 2010 |
| 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 | 118 | 2011 |
| The seal calculus G Castagna, J Vitek, FZ Nardelli Information and Computation 201 (1), 1-54, 2005 | 117 | 2005 |
| Behavioral theory for mobile ambients M Merro, FZ Nardelli Journal of the ACM (JACM) 52 (6), 961-1023, 2005 | 105 | 2005 |
| 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 | 74 | 2013 |
| 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 | 71 | 2013 |
| 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 | 68 | 2005 |
| Concrete types for TypeScript G Richards, F Zappa Nardelli, J Vitek 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 64 | 2015 |
| The seal calculus revisited: Contextual equivalence and bisimilarity G Castagna, FZ Nardelli FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002 | 60 | 2002 |
| 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 | 58 | 2007 |
| Verifying fence elimination optimisations V Vafeiadis, F Zappa Nardelli Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 57 | 2011 |
| Bisimulation proof methods for mobile ambients M Merro, FZ Nardelli ICALP 3, 584-598, 2003 | 44 | 2003 |
