Seuraa
Francesco Zappa Nardelli
Francesco Zappa Nardelli
Vahvistettu sähköpostiosoite verkkotunnuksessa fb.com - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
5492010
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
2072009
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
2042010
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
1702013
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
1442015
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
1322007
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
1262010
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
1222011
The seal calculus
G Castagna, J Vitek, FZ Nardelli
Information and Computation 201 (1), 1-54, 2005
1152005
Behavioral theory for mobile ambients
M Merro, FZ Nardelli
Journal of the ACM (JACM) 52 (6), 961-1023, 2005
1032005
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
842013
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
832013
Concrete types for TypeScript
G Richards, F Zappa Nardelli, J Vitek
29th European Conference on Object-Oriented Programming (ECOOP 2015), 2015
702015
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
692005
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
The seal calculus revisited: Contextual equivalence and bisimilarity
G Castagna, FZ Nardelli
International Conference on Foundations of Software Technology and …, 2002
562002
Bisimulation proof methods for mobile ambients
M Merro, FZ Nardelli
International Colloquium on Automata, Languages, and Programming, 584-598, 2003
462003
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20