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 | 582 | 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 | 212 | 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 | 209 | 2010 |
Oracle semantics for concurrent separation logic A Hobor, AW Appel, FZ Nardelli Programming Languages and Systems: 17th European Symposium on Programming …, 2008 | 199 | 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 | 183 | 2013 |
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 | 157 | 2015 |
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 | 147 | 2009 |
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 | 136 | 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 | 131 | 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 | 125 | 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 | 107 | 2005 |
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 | 98 | 2013 |
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 | 90 | 2013 |
Concrete types for TypeScript G Richards, F Zappa Nardelli, J Vitek 29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015 | 75 | 2015 |
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 | 69 | 2005 |
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 | 60 | 2007 |
Verifying fence elimination optimisations V Vafeiadis, F Zappa Nardelli International Static Analysis Symposium, 146-162, 2011 | 58 | 2011 |
The seal calculus revisited: Contextual equivalence and bisimilarity G Castagna, FZ Nardelli International Conference on Foundations of Software Technology and …, 2002 | 56 | 2002 |
Julia subtyping: a rational reconstruction F Zappa Nardelli, J Belyakova, A Pelenitsyn, B Chung, J Bezanson, ... Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 49 | 2018 |