Skip to main navigation Skip to search Skip to main content
No photo of Francesco Zappa Nardelli

View Scopus Profile

Francesco Zappa Nardelli

  • 267
    Citations
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
  • 4 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
    10 Citations (Scopus)

  • Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

    Vafeiadis, V., Balabonski, T., Chakraborty, S., Morisset, R. & Zappa Nardelli, F., 14 Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 209-220 12 p.

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

    Open Access
    2 Citations (Scopus)

  • 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

    18 Citations (Scopus)

  • 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
    48 Citations (Scopus)

  • 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

    22 Citations (Scopus)

  • 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

    23 Citations (Scopus)

  • 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

    13 Citations (Scopus)

  • 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
    29 Citations (Scopus)

  • 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

    74 Citations (Scopus)

  • 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

    28 Citations (Scopus)