No photo of Francesco Zappa Nardelli

View Scopus Profile

Francesco Zappa Nardelli

20032022

Research activity per year

Fingerprint

Dive into the research topics where Francesco Zappa Nardelli is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 5 Conference contribution
  • 3 Article
  • 1 Chapter

  • Applying formal verification to microkernel IPC at meta

    Carbonneaux, Q., Zilberstein, N., Klee, C., O'Hearn, P. W. & Zappa Nardelli, F., 11 Jan 2022, CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022. Popescu, A. & Zdancewic, S. (eds.). Association for Computing Machinery, Inc, p. 116-129 14 p. (CPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Correct and efficient work-stealing for weak memory models

    Minh Lê, N., Pop, A., Cohen, A. & Zappa Nardelli, F., 1 Aug 2013, In: ACM SIGPLAN Notices. 48, 8, p. 69-79 11 p.

    Research output: Contribution to journal › Article › peer-review

  • Correct and efficient work-stealing for weak memory models

    Lê, N. M., Pop, A., Cohen, A. & Zappa Nardelli, F., 23 Feb 2013, PPoPP 2013 - Proceedings of the 2013 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 69-79 11 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Lem: A lightweight tool for heavyweight semantics

    Owens, S., Böhm, P., Zappa Nardelli, F. & Sewell, P., 2 Sept 2011, Interactive Theorem Proving - Second International Conference, ITP 2011, Proceedings. p. 363-369 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6898 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Verifying fence elimination optimisations

    Vafeiadis, V. & Zappa Nardelli, F., 28 Sept 2011, Static Analysis - 18th International Symposium, SAS 2011, Proceedings. p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6887 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reliable evidence: Auditability by typing

    Guts, N., Fournet, C. & Zappa Nardelli, F., 2 Nov 2009, Computer Security - ESORICS 2009 - 14th European Symposium on Research in Computer Security, Proceedings. p. 168-183 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5789 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Acute: High-level programming language design for distributed computation

    Sewell, P., Leifer, J. J., Wansbrough, K., Zappa Nardelli, F., Allen-Williams, M., Habouzit, P. & Vafeiadis, V., 1 Jul 2007, In: Journal of Functional Programming. 17, 4-5, p. 547-612 66 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Behavioral theory for Mobile Ambients

    Merro, M. & Zappa Nardelli, F., 1 Dec 2005, In: Journal of the ACM. 52, 6, p. 961-1023 63 p.

    Research output: Contribution to journal › Article › peer-review

  • Bisimulation proof methods for mobile ambients

    Merro, M. & Zappa Nardelli, F., 1 Jan 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer Verlag, p. 584-598 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review