Francesco Zappa Nardelli

According to our database, Francesco Zappa Nardelli authored at least 34 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Applying formal verification to microkernel IPC at meta.

Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2019

Reliable and fast DWARF-based stack unwinding.

Théophile Bastian, Stephen Kell, Francesco Zappa Nardelli

Proc. ACM Program. Lang., 2019

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).

Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek

Dagstuhl Artifacts Ser., 2019

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl).

Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

Julia subtyping: a rational reconstruction.

Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek

Proc. ACM Program. Lang., 2018

KafKa: Gradual Typing for Objects (Artifact).

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek

Dagstuhl Artifacts Ser., 2018

KafKa: Gradual Typing for Objects.

Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Partially redundant fence elimination for x86, ARM, and power processors.

Robin Morisset, Francesco Zappa Nardelli

Proceedings of the 26th International Conference on Compiler Construction, 2017

2015

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

Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Concrete Types for TypeScript.

Gregor Richards, Francesco Zappa Nardelli, Jan Vitek

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Reasoning between Programming Languages and Architectures.

Francesco Zappa Nardelli

, 2014

2013

CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency.

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell

J. ACM, 2013

Correct and efficient work-stealing for weak memory models.

Nhat Minh Lê, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model.

Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Flexible access control for javascript.

Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2011

Verifying Fence Elimination Optimisations.

Viktor Vafeiadis, Francesco Zappa Nardelli

Proceedings of the Static Analysis - 18th International Symposium, 2011

Relaxed-memory concurrency and verified compilation.

Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Lem: A Lightweight Tool for Heavyweight Semantics.

Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Ott: Effective tool support for the working semanticist.

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa

J. Funct. Program., 2010

x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors.

Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen

Commun. ACM, 2010

Integrating typed and untyped code in a scripting language.

Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

The semantics of x86-CC multiprocessor machine code.

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

The semantics of power and ARM multiprocessor machine code.

Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Reliable Evidence: Auditability by Typing.

Nataliya Guts, Cédric Fournet, Francesco Zappa Nardelli

Proceedings of the Computer Security, 2009

2008

Oracle Semantics for Concurrent Separation Logic.

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli

Proceedings of the Programming Languages and Systems, 2008

A Formal Implementation of Value Commitment.

Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli

Proceedings of the Programming Languages and Systems, 2008

2007

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

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis

J. Funct. Program., 2007

2005

Behavioral theory for mobile ambients.

Massimo Merro, Francesco Zappa Nardelli

J. ACM, 2005

The Seal Calculus.

Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli

Inf. Comput., 2005

2004

New-HOPLA: A Higher-order Process Language with Name Generation.

Glynn Winskel, Francesco Zappa Nardelli

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Behavioural Theory for Mobile Ambients.

Massimo Merro, Francesco Zappa Nardelli

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Bisimulation Proof Methods for Mobile Ambients.

Massimo Merro, Francesco Zappa Nardelli

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.

Giuseppe Castagna, Francesco Zappa Nardelli

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

2001

Typing Mobility in the Seal Calculus.

Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli

Proceedings of the CONCUR 2001, 2001